Semantics of OCL operation specifications

Electronic Notes in Theoretical Computer Science

Volumn 102, Issue , 2004, Pages 111-132

  Hennicker, Rolf ^a   Knapp, Alexander ^a   Baumeister, Hubert ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Model theoretic semantics; OCL; Transition system; UML

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTER ARCHITECTURE; CONSTRAINT THEORY; MATHEMATICAL MODELS; PARAMETER ESTIMATION; STANDARDS;

MODEL; OCL; THEORETIC SEMANTICS; TRANSITION SYSTEM; UML;

SEMANTICS;

EID: 23844514194     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.09.006     Document Type: Conference Paper

References (18)

1. Ahrendt, W., T. Baar, B. Beckert, M. Giese, R. Hähnle, W. Menzel, W. Mostowski and P. H. Schmitt, The KeY System: Integrating Object-Oriented Design and Formal Methods, in: M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka and L. M. Pereira, editors, Europ. Wsh. Logics in Artifical Intelligence, Lect. Notes Artif. Intell. 1919 (2002), pp. 21-36.
2. Bickford, M. and D. Guaspari, Lightweight Analysis of UML, Draft NAS1-20335/10, Odyssey Research Assoc. (1998), http://www.omg.org/ogi-bin/doc? ad/98-10-01.
3. th Int. Conf. UML, Lect. Notes Comp. Sci. 2460 (2002), pp. 196-210.
4. Cengarle, M. V. and A. Knapp, OCL 1.4/5 vs. 2.0 Expressions - Formal Semantics and Expressiveness, Software and Systems Modelling (2003), to appear.
5. Clark, T. and J. Warmer, editors, "Advances in Object Modelling with the OCL," Lect. Notes Comp. Sci. 2263, Springer, Berlin, 2002.
6. Derrick, J. and E. Boiten, "Refinement in Z and Object-Z - Foundations and Advanced Applications," Formal Approaches to Computing and Information Technology, Springer, London-&c., 2001.
7. D'Souza, D. F. and A. C. Wills, "Object, Components, Frameworks with UML: The Catalysis Approach," Addison-Wesley, Reading, Mass., &c., 1998.
8. Hennicker, R., H. Baumeister, A. Knapp and M. Wirsing, Specifying Component Invariants with OCL, in: K. Bauknecht, W. Brauer and T. Muck, editors, Proc. GI/OCG-Jahrestagung, books@ocg.at 157/1, ÖGI (Austrian Computer Society), 2001, pp. 600-607.
9. Hennicker, R., H. Hußmann and M. Bidoit, On the Precise Meaning of OCL Constraints, in: Clark and Warmer [5] pp. 70-85.
10. Jones, C. B., "Systematic Software Construction Using VDM," Prentice Hall, Upper Saddle River, New Jersey, 1990.
11. Lano, K., "Formal Object-Oriented Development," Formal Approaches to Computing and Information Technology, Springer, London-&c., 1995.
12. Meyer, B., "Object-Oriented Software Construction," Prentice-Hall, Upper Saddle River, New Jersey, 1997.
13. nd revised submission, OMG (2003), http://www.omg.org/cgi-bin/doc?ad/03-01-07.
14. Richters, M., "A Precise Approach to Validating UML Models and OCL Constraints," Ph.D. thesis, Universität Bremen (2001).
15. Richters, M. and M. Gogolla, A Semantics for OCL Pre- and Postconditions, in: T. Clark and J. Warmer, editors, Proc. UML'2000 Wsh. UML 2.0 - The Future of OCL, York, 2000.
16. rd Int. Conf. UML, Lect. Notes Comp. Sci. 1939 (2000), pp. 265-277.
17. Richters, M. and M. Gogolla, OCL - Syntax, Semantics and Tools, in: Clark and Warmer [5] pp. 38-63.
18. Schmitt, P. H., A Model Theoretic Semantics of OCL, in: B. Beckert, R. France, R. Hähnle and B. Jacobs, editors, Proc. Wsh. Precise Modelling and Deduction for Object-Oriented Software Development, Technical Report DII 07/01 (2001), pp. 43-57.