Strengthening UML Collaboration Diagrams by State Transformations

Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformation with the structural and the interaction aspect.

[1]  Martin Gogolla.  Graph Transformations on the UML Metamodel , 2000, ICALP Satellite Workshops.

[2]  Reiko Heckel,et al.  Strengthening the Semantics of UML Collaboration Diagrams ? , 2000 .

[3]  Reiko Heckel,et al.  How to Specify a Graph Transformation Approach - A Meta Model for Fujaba , 2001, Electron. Notes Theor. Comput. Sci..

[4]  Gregor Engels,et al.  UML Collaboration Diagrams and their Transformation to Java , 1999, International Conference on the Unified Modeling Language.

[5]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[6]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[7]  Francesca Rossi,et al.  Graph Processes , 1996, Fundam. Informaticae.

[8]  Reiko Heckel,et al.  Horizontal and vertical structuring of typed graph transformation systems , 1996, Mathematical Structures in Computer Science.

[9]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[10]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[11]  Hartmut Ehrig,et al.  Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations , 1998 .

[12]  Reiko Heckel,et al.  Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems , 2001, Appl. Categorical Struct..

[13]  Alexander Knapp.  A Formal Semantics for UML Interactions , 1999, UML.

[14]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[15]  Francesco Parisi-Presicce,et al.  Refinements of Graph Transformation Systems via Rule Expressions , 1998, TAGT.

[16]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[17]  Gabriele Taentzer,et al.  Consistency Checking and Visualization of OCL Constraints , 2000, UML.

[18]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[19]  中島 震,et al.  Book Review—Objects, Components, and Frameworks with UML:The Catalysis Approach , 2000 .

[20]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[21]  Gunnar Övergaard,et al.  A Formal Approach to Collaborations in the Unified Modeling Language , 1999, UML.