Faculty
Science
Supervisor Name
Konstantinos Kontogiannis
Keywords
Model Transformation, QVT Operational, Sequence Diagram, Activity Diagram
Description
Complex software systems are specified by various models denoting the behavior of the system components, the exchanges of messages and data among components, the intents of the system stakeholders, the flow of system processes, and the structure of the system as a collection of modules.
When such systems are maintained and evolved (e.g. by adding new functionality, fixing bugs, or porting to a new operating environment), one or more of these models are altered. This brings the system specification to an inconsistent state since some models reflect the new behavior while other models were not appropriately evolved.
This research presents a set of novel Meta-Object Facility (MOF) model transformations, implemented in QVT Operational, which allow for the synchronization of two of the most important specification models of software systems, namely sequence diagrams and activity diagrams. The transformation system conforms with the UML specification of sequence and activity diagrams and is shown to be efficient and tractable.
Acknowledgements
Sincere thanks to Prof. Konstantinos Kontogiannis, the Western USRI program, and the Faculty of Science for their support.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial 4.0 License
Document Type
Paper
Included in
Model Transformations between Sequence Diagram and Activity Diagram with QVTo
Complex software systems are specified by various models denoting the behavior of the system components, the exchanges of messages and data among components, the intents of the system stakeholders, the flow of system processes, and the structure of the system as a collection of modules.
When such systems are maintained and evolved (e.g. by adding new functionality, fixing bugs, or porting to a new operating environment), one or more of these models are altered. This brings the system specification to an inconsistent state since some models reflect the new behavior while other models were not appropriately evolved.
This research presents a set of novel Meta-Object Facility (MOF) model transformations, implemented in QVT Operational, which allow for the synchronization of two of the most important specification models of software systems, namely sequence diagrams and activity diagrams. The transformation system conforms with the UML specification of sequence and activity diagrams and is shown to be efficient and tractable.