On formalizing the UML object constraint language OCL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1507, Issue , 1998, Pages 449-464

  Richters, Mark ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; DATA MINING; FORMAL METHODS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE DESIGN; VERIFICATION;

FORMAL SEMANTICS; INTEGRITY CONSTRAINTS; OBJECT CONSTRAINT LANGUAGE; OBJECT ORIENTED ANALYSIS AND DESIGN; SEMANTICS OF CONSTRAINTS; SIMULATION OF MODELS; UML CLASS DIAGRAMS; UML CLASS MODELS;

UNIFIED MODELING LANGUAGE;

EID: 84957798493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49524-6_35     Document Type: Conference Paper

References (28)

1. M. Aksit and S. Matsuoka, editors. ECOOP'97 - Object-Oriented Programming: 11th European Conference, Jyvaskyla, Finland, June 9-13, 1997: Proceedings, LNCS 1241. Springer-Verlag, 1997.
2. E. Bertino, D. Castelli, and F. Vitale. A Formal Representation for State Diagrams in the OMT Methodology. In K. G. Jeffery, J. Kral, and M. Bartosek, editors, Proc. Seminar Theory and Practice of Informatics (SOFSEM'96), LNCS 1175, pages 327-341. Springer-Verlag, 1996.
3. J. C. Bicarregui, K. Lano, and T. S. E. Maibaum. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In Aksit and Matsuoka [1], pages 324-343.
4. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin/ Cummings, 1994.
5. R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering, 21(10):799-821, 1995.
6. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, and V. Thurner. Towards a Formalization of the Unified Modeling Language. In Aksit and Matsuoka [1], pages 344-366.
7. R. G. G. Cattell, editor. The Object Database Standard: ODMG 2.0. Morgan Kaufmann Publishers, Inc., 1997.
8. P. P. Chen. The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. on Database Systems, 1(1):9-36, 1976.
9. J. Ebert and R. Süttenbach. Integration of Z-Based Semantics of OO-Notations. In Kilov and Rumpe [17], pages 75-81.
10. A. Evans, R. France, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Language. In Muller and Bézivin [20], pages 297-307.
11. R. France, J. M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 247-260. Chapman and Hall, London, 1997.
12. R. France, A. Evans, and K. Lano. The UML as a Formal Modeling Notation. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Proc. OOPSLA'97 Workshop on Object-oriented Behavioral Semantics. TU München, TUM-I9737, 1997.
13. M. Gogolla. An Extended Entity-Relationship Model - Fundamentals and Pragmatics. LNCS 767. Springer-Verlag, Berlin, 1994.
14. M. Gogolla and M. Richters. On Constraints and Queries in UML. In M. Schader and A. Korthaus, editors, The Unified Modeling Language - Technical Aspects and Applications. Physica-Verlag, Heidelberg, 1998.
15. A. Hamie, J. Howse, S. Kent, R. Mitchell, and F. Civello. Reflections on the OCL. In Muller and Bézivin [20], pages 137-145.
16. I. Jacobsen, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.
17. H. Kilov and B. Rumpe, editors. Proc. of the ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Jyväskylä, Finland, 10 June 1997. TU München, TUM-I9725, June 1997.
18. A. Kleppe, J. Warmer, and S. Cook. Informal formality? The Object Constraint Language and its application in the UML metamodel. In Muller and Bézivin [20], pages 127-136.
19. K. Lano. Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems, 2(4):247-268, 1996.
20. P.-A. Muller and J. Bézivin, editors. Proc. of UML'98 International Workshop, Mulhouse, France, June 3 - 4, 1998.
21. G. Övergaard and K. Palmkvist. A Formal Approach to Use Cases and their Relationships. In Muller and Bézivin [20], pages 309-317.
22. Rational Software Corporation, Unified Modeling Language (UML) version 1.1, http://www.rational.com, 1997.
23. UML Semantics, 1997. (Published as part of [22]).
24. Object Constraint Language Specification, 1997. (Published as part of [22]).
25. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object- Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (NJ), 1991.
26. M. Shro and R. B. France. Towards a Formalization of UML Class Structures in Z. In Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC'97), pages 646-651. IEEE, 1997.
27. E. Y. Wang, H. A. Richter, and B. H. C. Cheng. Formalizing and integrating the object and dynamic models within OMT. In Proc. 19th Int. Conf. on Software Engineering (ICSE'97), pages 45-55. ACM Press, 1997.
28. J. Warmer, J. Hogg, S. Cook, and B. Selic. Experience with Formal Specification of CMM and UML. In Kilov and Rumpe [17], pages 167-171.