Consistency checking and visualization of OCL constraints

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

Volumn 1939, Issue , 2000, Pages 294-308

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

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; GRAPH THEORY; GRAPHIC METHODS; SEMANTICS; SPECIFICATION LANGUAGES; TRANSLATION (LANGUAGES);

CLASS DIAGRAMS; CONSISTENCY CHECKING; FORMAL SEMANTICS; GRAPH TRANSFORMATION; GRAPH-BASED; OBJECT CONSTRAINT LANGUAGE; TEXTUAL LANGUAGE; VISUAL FORMS;

UNIFIED MODELING LANGUAGE;

EID: 84956983027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40011-7_21     Document Type: Conference Paper

References (16)

1. ArgoUML: The Cognitive CASE Tool, see http://argouml.tigris.org
2. P. Bottoni, M. Koch, F. Parisi-Presicce, G. Taentzer. Consistency Checking and Visualization of OCL Constraints. Technical Report, University of Rome, SI-2000-03, 2000.
3. S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills, The Amsterdam Manifesto on OCL, Technische Universit¨at München, TUM-I9925, 1999.
4. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
5. A.S. Evans, “Reasoning with UML class diagrams”, Workshop on Industrial Strength Formal Methods, WIFT’98, IEEE Press, 1998.
6. Y. Gil, J. Howse, S. Kent, ”Formalizing Spider Diagrams”, Proc. IEEE Symp. on Visual Languages’99, 130–137, IEEE CS Press, 1999
7. M. Goedicke, T. Meyer, and G. Taentzer. Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies. In Proc. 4th IEEE International Symposium on Requirements Engineering (RE’99), June 7-11, 1999, University of Limerick, Ireland. IEEE Computer Society, 1999. ISBN 0-7695-0188-5.
8. J. Howse, F. Molina, S. Kent, J. Taylor, “Reasoning with Spider Diagrams, Proc. IEEE Symp. on Visual Languages’99, 138-145, IEEE CS Press, 1999.
9. S. Kent, “Constraint Diagrams: Visualizing Invariants in Object-Oriented Models”, Proc. OOPSLA’97, 327-341, 1997.
10. S. Kent and J. Howse. Mixing visual and textual constraint languages. In R. France and B. Rumpe, editors, UML’99 - The Unified Modeling Language, Beyond the Standard, pages 156-171. Springer LNCS 1723, 1999.
11. M. Richters and M. Gogolla. On Formalizing the UML Object Constraint Language OCL. Proc. 17th Int. Conf. Conceptual Modeling (ER’98), pages 449-464. Springer LNCS 1507, 1998.
12. M. Richters and M. Gogolla. A metamodel for OCL. In R. France and B. Rumpe, editors, UML’99 - The Unified Modeling Language, Beyond the Standard, pages 156-171. Springer LNCS 1723, 1999
13. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 1997.
14. G. Taentzer, I. Fischer, M Koch, and V. Volle. Visual design of distributed systems by graph transformation. In H. Ehrig, H.-J. Kreowski, U. Monta-nari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 1999.
15. Rational Software Cooperation. Unified Modeling Language – version 1.3. Available at http://www.rational.com, 1999.
16. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.