Results 211 to 220 of about 2,170 (250)

Static Check of WS-CDL Documents

2008 IEEE International Symposium on Service-Oriented System Engineering, 2008
This paper presents an approach to check WS-CDL documents statically. To deal with those constraints appeared in CDL documents, which cannot be captured by its meta model (XML Schema) totally, we use B abstract machines to represent the constraints and design the corresponding checking algorithms to implement the static check of CDL documents ...
Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang 0005, Meng Sun, Geguang Pu   +6 more
openaire   +2 more sources

CDL—A COMPONENT DESCRIPTION LANGUAGE FOR REUSE

International Journal of Software Engineering and Knowledge Engineering, 1993
CDL is a language for describing reusable software components. It facilitates the reuse of software components by providing a high-level model for component interfaces and mechanisms for describing the relationships between them. CDL extends the parameterisation mechanisms of modern high-level languages and helps to avoid the difficulties that can be ...
Robert John Gautier, Huw Oliver, Mark B. Ratcliffe 0001, Ben R. Whittle   +3 more
openaire   +2 more sources

Language constructs for specifying concurrency in CDL

IEEE Transactions on Software Engineering, 1989
A description is given of language constructs for specifying concurrency in CDL*. The main goals in designing the language have been: modular specification, data integrity, and expressiveness. The language constructs are presented, and it is shown through examples how the constructs mirror the goals.
R. K. Shyamasundar, James W. Thatcher
openaire   +1 more source

Using the CDL compiler-compiler

1974
In this sequence of lectures one compiler compiler is going to be highlighted by means of somewhat larger examples, preceded by a discussion of ideas underlying it.
openaire   +1 more source

Compilation of CDL for different target architectures

1995
Cellular Processing is an attractive and simple massive parallel processing model. To increase its general acceptance and usability it must be supported by a software environment, an efficient simulator and a special language. For this purpose the cellular description language CDL was defined and implemented. With CDL complex cellular algorithms can be
Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt   +2 more
openaire   +2 more sources

A calculus for WS-CDL language

2011 International Conference on System science, Engineering design and Manufacturing informatization, 2011
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a common business goal from a global viewpoint. In this paper, based on a calculus model and a role oriented process language, we study some fundamental issues related to ...
null Yang Chang, Fang Liu
openaire   +1 more source

CDL: an Integrated Framework for Context Specification and Recognition

2008
A framework is introduced that is aimed at integrating ontology and logic approaches for context-awareness, suitable for use in Ambient Intelligence (AmI) scenarios. In particular, the context description language CDL is described, which allows to easily specify patterns of events which occurrences must be monitored by actual systems.
MASTROGIOVANNI, FULVIO, SCALMATO, ANTONELLO, SGORBISSA, ANTONIO, ZACCARIA, RENATO UGO RAFFAELE   +3 more
openaire   +3 more sources

CDL Data Quality Assessment

2020
© 2020 University of Kentucky, Kentucky Transportation ...
Keathley-Helil, Valerie, Brown, Mallory, Martin, Andrew, Najarzadeh, Amir E., Howell, Brian K., Walton, Jennifer R.   +5 more
openaire   +1 more source

CDL — A compiler implementation language

1977
The Compiler Description Language CDL has evolved from a more or less classical compiler compiler system to an implementation language, which is well suited for the design and realization of compilers. In this paper it is discussed how those properties that make the language oriented towards compiler writing, have been enhanced in the revised version ...
openaire   +1 more source

Graphical description of WS-CDL

2013 9th International Conference on Innovations in Information Technology (IIT), 2013
The widespread acceptance of SOA, as an architectural style to build solutions by composing loosely coupled, interoperable, distributed services, having separate concerns into solutions is promoting modeling of cross-organizations business processes (BPs).
I. Yahmadi, Y. Baghdadi, Z. Al-Khanjari
openaire   +1 more source