Adding graph transformation concepts to UML's Constraint Language OCL

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 93-106

  Schürr, Andy ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; CONSTRAINT THEORY; GRAPHIC METHODS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; NETWORK PROTOCOLS;

GRAPH TRANSFORMATION; OBJECT CONSTRAINT LANGUAGE (OCL); SPECIFICATION LANGUAGE - PROGRES; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 10444271393     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80946-0     Document Type: Conference Paper

References (19)

1. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In [7], pages 294-308, 2000.
2. T. Clark. Typechecking UML static model. In [9], pages 503-517, 1999
3. St. Cook, A. Kleppe, and R. Mitchell et al. The amsterdam manifesto on OCL. Technical report, 2000. http://www.trireme.com/amsterdam/manifesto-1-5pdf (visited: 11/07/2000).
4. Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools. volume 2:1999;World Scientific, Singapore
5. C. Ermel, M. Rudolf, and G. Taentzer. The AGG approach: Language and environment. In [4], pages 551-605. 1999
6. Euler L. Lettre a une princesse d'allemagne. 2:(102-108):1761
7. Evans A., Kent St. Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), volume 1939 of Lecture Notes in Computer Science. 2000;Springer Verlag, Berlin
8. UML Revision Task Force. OMG unified modeling language specification v. 1.3, document ad/99-06-08. Technical report, Object Management Group, 2000. http://www.omg.org/uml/ (visited: 07/11/2000).
9. France R., Rumpe B. Proc. 2nd Int. Conf. Unified Modeling Language (UML '99), volume 1723 of Lecture Notes in Computer Science. 1999;Springer Verlag, Berlin
10. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In [7], pages 278-293, 2000
11. St. Kent. Mixing visual and textual constraint languages. In [9], pages 384-398, 1999
12. U. Nickel, J. Niere, and A. Zndorf. The Fujaba environment. In Proc. ICSE 2000 - The 22nd Int. Conf. on Software Engineering, pages 742-745. ACM Press, 2000.
13. The precise UML group. PUML home page. Technical report, 2000. http://www.cs.york.ac.uk/puml/ (visited: 11/07/2000).
14. M. Richters and M. Gogolla. A metamodel for ocl. In [9], pages 156-171, 1999
15. M. Richters and M. Gogolla. Validating UML models and OCL constraints. In 9, pages 265-277, 2000
16. Andy Schürr, New type checking rules for OCL (collection) expressions. 2001. submitted to GI-Workshop Modellierung' 2001.
17. Andy Schürr, Andreas J. Winter, and Albert Zündorf. PROGRES: Language and environment. In [4], pages 487-550. 1999.
18. Venn J. On the diagrammatic and mechanical representation of propositions and reasoning. Phil. Mag. 123:1880
19. Warmer J., Kleppe A. OCL: The Object Constraint Language - Precise Modeling with UML. 1999;Addison Wesley, New York