Correct realizations of interface constraints with OCL

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

Volumn 1723, Issue , 1999, Pages 399-415

  Bidoit, Michel ^a   Hennicker, Rolf ^b   Tort, Françoise ^a   Wirsing, Martin ^b  

^a CNRS   (France)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; TRANSLATION (LANGUAGES);

ALGEBRAIC SPECIFICATIONS; FORMAL CORRECTNESS; IMPLEMENTATION RELATION; INTERFACE CONSTRAINTS; OBSERVABLE BEHAVIOR; OBSERVATIONAL LOGIC; PRE AND POST CONDITIONS; SEMANTIC FOUNDATION;

UNIFIED MODELING LANGUAGE;

EID: 84893066813     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_29     Document Type: Conference Paper

References (29)

1. D. Ancona, M. Cerioli and E. Zucca. A formal framework with late binding. Proc. ETAPS/FASE'99, Springer LNCS 1577, pp. 30-44, 1999.
2. M. Brickford and D. Guaspari. Lightweight analysis of UML. Draft Technical Report, Odyssey Research Associates, July 1998.
3. M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural im-plementations. Acta Informatica 35:951-1005, 1998.
4. M. Bidoit and R. Hennicker. Observer complete definitions are behaviorally coherent. Proc. FM'99 (UGM OBJ/CafeOBJ/MAUDE), to appear, 1999.
5. R. Breu, R. Grosu, F. Huber, B. Rumpe and W. Schwerin. Towards a precise semantics for object-oriented modeling techniques. Proc. ECOOP'97 Workshop Reader, Springer LNCS 1357, 1997.
6. CoFI: The Common Framework Initiative for algebraic specification and development (WWW pages). http://www.brics.dk/Projects/CoFI/.
7. CoFITask Group on Language Design. Casl-The CoFI algebraic specifi cation language-Summary (version 1.0)., 1998, http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/.
8. R. Diaconescu. Foundations of behavioural specifications in rewriting logic. Proc. RWLW96, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.
9. A. Evans, R. France, K. Lano and B. Rumpe. Developing UML as a formal modeling notation. Proc. The unified Modeling Language. <>'98: Beyond the Notation, Springer LNCS 1618, 1999.
10. M. Gogolla and M. Richters. On combining semi-formal and formal object specification techniques. Proc. WADT'97, Springer LNCS 1376, pp. 238-252, 1998.
11. J.A. Goguen and G. Malcolm. A hidden agenda. Report CS97-538, Univ. of Calif. at San Diego, 1997.
12. R. Hennicker and M. Bidoit. Observational logic. Proc. AMAST'98, Springer LNCS 1548, pp. 263-277, 1999.
13. I. Jacobson, G. Booch and J. Rumbaugh. The unified software development process. Reading, Mass.: Addison-Wesley Longman, 1999.
14. B. Jacobs and J. Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62, pp. 222-259, 1997.
15. A. Kleppe, J. Warmer and S. Cook. Informal informality? The Object Con-straint Language and its application in the UML metamodel. Proc. The Uni-fied Modeling Language. <>'98: Beyond the Notation, Springer LNCS 1618, 1999.
16. C. Klein, B. Rumpe and M. Broy. A stream-based mathematical model for distributed information processing systems-Syslab system model. Proc. FMOODS '96, Chapmann & Hall, 1996.
17. K. Lano. Formal object-oriented development. Springer, 1995.
18. B. Meyer. Object-oriented software construction. Prentice Hall International, 1988.
19. G. Overgaard. A formal approach to relationships in the Unified Modeling Language. Proc. of ICSE'98 (Workshop on Precise Semantics for Software Modeling Techniques). IEEE Computer Society, 1998.
20. Rational. UnifiedModeling Language: Semantics, Version 1.1. Rational Software Corporation. http://www.rational.com/uml/, 1997.
21. Rational. Object Constraint Language, Version 1.3. Rational Software Corporation. http://www.rational.com/, 1999.
22. M. Richters and M. Gogolla. On formalizing the UML Object Constraint Language OCL. Proc. 17th Conceptual Modeling-ER'98, Springer LNCS 1507, 1998.
23. ST97. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229-269, 1997.
24. SF97. M. Shroffand R.B. France. Towards a formalization of UML class structures in Z. Proc. COMPSAC'97, IEEE, pp. 646-651, 1997.
25. D. D'Souza and A.C.Wills. Objects, components and frameworks with UML: the Catalysis approach. Addison-Wesley, 1998.
26. J.Warmer and A. Kleppe. The Object Constraint Language: precise modeling with UML. Reading, Mass.: Addison-Wesley Longman, 1999.
27. R. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class-and behavior diagrams. Proc. of ICSE'98 (Workshop on Precise Semantics for Software Modeling Techniques). IEEE Computer Society, 1998.
28. M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science, North-Holland, pp. 675-788, 1990.
29. M. Wirsing and A. Knapp. A formal approach to object-oriented software engineering. Proc. RWLW96, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.