From sequence diagrams to state machines by graph transformation

Authors:
Roy Grønmo;Birger Møller-Pedersen
Affiliations:
Department of Informatics, University of Oslo, Norway and SINTEF Information and Communication Technology, Oslo, Norway;Department of Informatics, University of Oslo, Norway
Venue:
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Year:
2010

Citing 11
Cited 1

Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
Confluence of Typed Attributed Graph Transformation Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Revisiting Statechart Synthesis with an Algebraic Approach

Proceedings of the 26th International Conference on Software Engineering
Refining UML interactions with underspecification and nondeterminism

Nordic Journal of Computing
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Aspect Diagrams for UML Activity Models

Applications of Graph Transformations with Industrial Relevance
A Collection Operator for Graph Transformation

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

Transactions on Aspect-Oriented Software Development VI
Weaving multiple aspects in sequence diagrams

Transactions on aspect-oriented software development III
Synthesis revisited: generating statechart models from scenario-based requirements

Formal Methods in Software and Systems Modeling
Conflict detection for graph transformation with negative application conditions

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Tree based domain-specific mapping languages

SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The transformation rules are based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments.