An algebraic framework for the transformation of attributed graphs
Term graph rewriting
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
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
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In this paper we present an approach that allows to validate properties of UML models. The approach is based on an integrated semantics for central parts of the UML. We formally cover UML use case, class, object, statechart, collaboration, and sequence diagrams. Additionally full OCL is supported in the common UML fashion. Our semantics is based on the translation of a UML model into a graph transformation system consisting of graph transformation rules and a working graph that represents the system state. By applying the rules on the working graph, the evolution of the modeled system is simulated.