Object Modeling with the OCL: The Rationale behind the Object Constraint Language

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.

[1]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[2]  Richard Mitchell,et al.  Defining the Context of OCL Expressions , 1999, UML.

[3]  Benjamin L. Kovitz,et al.  Practical Software Requirements: A Manual of Content and Style , 1998 .

[4]  Norman E. Fenton,et al.  Effects of structure on the comprehensivility of formal specifications , 1999, IEE Proc. Softw..

[5]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[6]  John Mylopoulos,et al.  On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[7]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[8]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[10]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[11]  Martin Glinz,et al.  Problems and deficiencies of UML as a requirements specification language , 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.

[12]  Wolfram Schulte,et al.  A Formal OO Method Inspired by Fusion and Object-Z , 1997, ZUM.

[13]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[14]  Donald Firesmith.  Use case modeling guidelines , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[15]  James J. Horning,et al.  The Larch Family of Specification Languages , 1985, IEEE Software.

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

[17]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[18]  Alfred Strohmeier,et al.  Towards a UML Profile for Software Architecture Descriptions , 2000, UML.