CDL: A Component Description Language

Component Description Language (CDL 1) is a language used for describing the interface and behavior of software components. CDL is an extension of the Object Management Group's Object Constraint Language (OCL). While OCL is only able to describe safety properties of a component and its features, CDL can also describe progress properties with temporal operators like next and leads-to. CDL also introduces several new \convenience" constructs that help simplify and clarify complex component descriptions. CDL can be used to specify a component's simple behavioral interface, as in Meyer's Design by Contract, the more complex temporal properties that distributed objects and components exhibit, and more.

[1]  Conrad Bock,et al.  A More Complete Model of Ralations and Their Implementation: Aggregation , 1998, J. Object Oriented Program..

[2]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[3]  Joseph R. Kiniry.  IDebug: An Advanced Debugging Framework for Java , 1998 .

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5]  Joseph R. Kiniry,et al.  The Specification of Dynamic Distributed Component Systems , 1998 .

[6]  Joseph R. Kiniry.  A New Construct for Systems Modeling and Theory: The Kind , 1998 .

[7]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[8]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[9]  Ana Paula Ambrosio,et al.  A Toolkit for Reuse in Conceptual Modelling , 1997, CAiSE.

[10]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[11]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[12]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[13]  R. Wille.  Concept lattices and conceptual knowledge systems , 1992 .

[14]  Joseph R. Kiniry,et al.  JPP: A Java Pre-Processor , 1998 .

[15]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[16]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[17]  Peter B. Andrews.  An introduction to mathematical logic and type theory - to truth through proof , 1986, Computer science and applied mathematics.

[18]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[19]  Rokia Missaoui,et al.  Applying Concept Formation Methods to Software Reuse , 1995, Int. J. Softw. Eng. Knowl. Eng..