New Type Checking Rules for OCL Expressions

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-1, Issue , 2001, Pages 91-100

  Schürr, Andy ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY;

CLASS DIAGRAMS; INTEGRAL PART; INTEGRITY CONSTRAINTS; LANGUAGE STANDARDS; OBJECT CONSTRAINT LANGUAGE; POSTCONDITIONS-OF-OPERATIONS; PRE- AND POSTCONDITION; STANDARD VERSIONS; SUBLANGUAGES; TYPECHECKING;

UNIFIED MODELING LANGUAGE;

EID: 85134577438     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. [Ai87] H. Ait-Kaci, R. Boyer, P. Lincoln, R. Nasr: Efficient Implementation of Lattice Operations, in: ACM Transactions on Programming Languages and Systems, vol. 19, no. 2, ACM Press (1987), pp. 106-190
2. [AN89] H. Ait-Kaci, R. Nasr: Integrating Data Type Inheritance into Logic Programming, in: M.P. Atkinson, P. Buneman, R. Morrison (Eds.): Data Types and Persistence, pp. 121-136, Springer Verlag (1989)
3. [Ar00] ArgoUML Web Site, http://argouml.tigris.org/index.html (visited: 07/11/2000)
4. [CW85] L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction and Polymorphism, in: ACM Computing Surveys, vol. 17, no. 4, pp. 471-522, ACM Press (1985)
5. [Cl99] T. Clark: Typechecking UML Static Model, in: R. France, B. Rumpe (Eds.): Proc. 2nd Int. Conf. Unified Modeling Language (UML’99), LNCS 1723, pp. 503-517, Springer Verlag (1999)
6. [Co00] St. Cook, A. Kleppe, R. Mitchell et al: The Amsterdam Manifesto on OCL, http://www.trireme.com/amsterdam/manifesto-1-5.pdf (visited: 11/07/2000)
7. [HDF00] H. Hussmann, B. Demuth, F. Finger: Modular Architecture for a Toolset Supporting OCL, in: A. Evans, St. Kent (Eds.): Proc. 3rd Int. Conf. Unified Modeling Language (UML’2000), LNCS 1939, pp. 278-293, Springer Verlag (2000)
8. [RG99] M. Richters, M. Gogolla: A Metamodel for OCL, in: R. France, B. Rumpe (Eds.): Proc. 2nd Int. Conf. Unified Modeling Language (UML’99), LNCS 1723, pp. 156-171, Springer Verlag (1999)
9. [RG00] M. Richters, M. Gogolla: Validating UML Models and OCL Constraints, in: A. Evans, St. Kent (Eds.): Proc. 3rd Int. Conf. Unified Modeling Language (UML’2000), LNCS 1939, pp. 265-277, Springer Verlag (2000)
10. [Kl00] Klasse Objecten: OCL 1.4 - The upcoming UML 1.4 version, http://www.klasse.nl/ocl/ (visited: 07/11/2000)
11. [Na96] M. Nagl (ed.): Building Thightly Integrared Software Development Environments, LNCS 1170, Springer Verlag (1996)
12. [PUM00] The precise UML group: PUML Home Page, http://www.cs.york.ac.uk/puml/, (visited: 07/11/2000)
13. [Schü97] A. Schürr: Programmed Graph Replacement Systems, in: G. Rozenberg (ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations, pp. 479-546, World Scientific (1997)
14. [SWZ97] A. Schürr, A. Winter, and A. Zündorf: PROGRES: Language and Environment; in: H. Ehrig, G. Engels, H-J. Kreowski, G. Rozenberg (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Specification and Programming, pp. 487-550, World Scientific (1997)
15. [UML00] UML Revision Task Force: OMG Unified Modeling Language Specification v. 1.3. document ad/99-06-08, Object Management Group (1999), http://www.omg.org/uml/ (visited: 07/11/2000)
16. [WK99] J. Warmer, A. Kleppe: OCL: The Object Constraint Language - Precise Modeling with UML, Addison Wesley (1999)