Strengthening UML Collaboration Diagrams by State Transformations

Abstract. 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.

• Type: Conference
• Year: 2001
• Where: FASE
• Authors: Reiko Heckel, Stefan Sauer
• Keywords: Documents Specify Patterns, FASE 2001, Graph Transformation Systems, Software Engineering, State Transformation