Programmed graph replacement systems
Handbook of graph grammars and computing by graph transformation
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Using Uml: Software Engineering with Objects and Components
Using Uml: Software Engineering with Objects and Components
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language
WG '89 Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science
UML based performance modeling framework for object-oriented distributed systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
XSLT transformation from UML models to LQN performance models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specification and checking of dependency relations between UML models
UML and the unified process
Applying the UML class diagram in the performance analysis
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Hi-index | 0.00 |
The paper proposes a formal approach for constructing UML activity diagrams from sequence diagrams by using graph transformations. Activity diagrams are good at describing the overall flow of control in a system, as they provide support for conditional and parallel behaviour, but do not capture well object interactions. Activity diagrams are mostly used in the preliminary stages of analysis and design. As the design progresses, more detailed descriptions of object interactions become necessary, and interaction diagrams are used for this purpose. During the transition from a high level to a detailed design, the mapping between the behavior represented in activity diagrams and that described in interaction diagrams may be lost, and the two views may become inconsistent. By reconstructing the activity diagrams from sequence diagrams, consistency is re-enforced. Every activity block is cross-referenced with the corresponding sequence diagram messages, which helps designers to correlate the two views. The transformation from sequence to activity diagrams is based on PROGRES, a known visual language and environment for programming with graph rewriting systems.