A visualization of OCL using collaborations

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

Volumn 2185, Issue , 2001, Pages 257-271

  Bottoni, Paolo ^a   Koch, Manuel ^b   Parisi Presicce, Francesco ^a   Taentzer, Gabriele ^c  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b PSI AG   (Germany)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

VISUALIZATION;

COLLABORATION DIAGRAM; COMPUTING PROPERTIES; CORE ELEMENTS; INDUSTRIAL PROJECTS; META MODEL; NAVIGATION PATHS; VISUAL FORMS;

UNIFIED MODELING LANGUAGE;

EID: 84948987134     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_20     Document Type: Conference Paper

References (10)

1. M. Bodenmüller. The OCL Metamodel and the UML-OCL package. Proc. of OCL Workshop, Satellite Event of UML 2000, York, October 2000, 2000
2. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Automatic Consistency Checking and Visualization of OCL Constraints. In UML 2000, pages 294-308. Springer LNCS 1939, 2000
3. S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and Wills A. The Amsterdam Manifesto on OCL. Technical Report tum-19925. Technical report, Tecnische Universit¨at München, 1999
4. E. Hammer. Peircean graphs for propositional logic. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, pages 129-147. Oxford University Press, 1996
5. J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, pages 299-324, 2001
6. M. Hussmannn, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and Selic B., editors, UML 2000, pages 278-293. Springer LNCS 1939, 2000
7. S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOPSLA’97. ACM Press, 1997
8. S. Kent and J. Howse. Mixing visual and textual constraint languages. In R. France and B. Rumpe, editors, UML’99, pages 384-398. Springer LNCS 1723, 1999
9. M. Richters and M. Gogolla. A metamodel for OCL. In R. France and B. Rumpe, editors, UML’99, pages 156-171. Springer LNCS 1723, 1999
10. M. Richters and M. Gogolla. Validating UML models and OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, pages 265-277. Springer LNCS 1939, 2000.