n Integrated Operational Semantics for a UML Core Based on Graph Transformation
By (author) Paul Ziemann
(Paperback) (Published)
(February 2006)
ISBN: 9783832510718
5.71 x 8.27 inches
Price: $61.00
Out of stock
Today, the Unified Modeling Language (UML) is widely accepted as a standard for modeling object-oriented software systems. However, its semantics is defined only in an informal way. In this thesis, we present an approach that gives a formal semantics to an important subset of UML. We cover substantial aspects of UML use case, class, object, statechart, and interaction diagrams. Additionally, full OCL is supported in the common UML fashion. The presented approach is based on the translation of a UML model into a graph transformation system consisting of graph transformation rules and a graph that represents the system state. By applying the rules on the graph, the evolution of the modeled system is simulated. To define a formal semantics, we first fix the considered subset of UML by means of a metamodel. This metamodel resembles the UML 1.5 metamodel of the OMG but is more compact. The metamodel approach is employed here with the UML community in mind that is used to this way of language definition. The concept of a system state that includes information of the system at a specific point in time during execution is likewise introduced by means of a metamodel. Aside from objects, attribute values and relationships between the objects, a system state includes processes that represent operations in execution. The actual execution is performed by applying graph transformation rules that refer to a process and modify the system state according to the semantics of the corresponding operation. This is either specified by means of an interaction diagram or is predefined. In the central part of this thesis, we describe in detail how the graph transformation rules for a given UML model are constructed. The approach is implemented in a tool that supports the user in simulating the execution of models before actually having implemented it. During the simulation, the current system state can always be checked with respect to OCL constraints. It can also be inspected with OCL queries. The modeler can check specific sequences of operation calls and gains insight into the modeled system. By analyzing the model in this way, errors can be located or the model can be validated to be correct. Therefore, this thesis contributes to the goal of improving the quality of software.
- By (author) Paul Ziemann
Other Titles in this Series
Similar Books
![Book cover: Transitive Media [Philosophy]](https://isd.stisonbooks.com/images/books/native/9781804132340.jpg?asset_id=66970)
Care in an Era of New Technologies and Artificial Intelligence
Relationships in a Connected World
Volume 14
Buchblogs zwischen Passion und Profession
Zur Diskursivierung digitaler literaturbezogener Anschlusskommunikation als Arbeit
Volume 5
Proceedings of the 7th Symposium of the Hellenic Society for Archaeometry
Archaeology Archaeometry: 30 Years Later
Die Einfuhrung ins richtige Handeln in der Arithmetik (Madhal ar-rasad ila ‘ilm al-‘adad) von al-Qalasadi (st. 1486)
Bearbeitung und Einordnung in die magribinische Mathematikgeschichte
Volume 19
I disegni e i discorsi di Giovanni Antonio Nigrone vol. I
fontanaro e ingegniero de acqua (1585-1609 ca.)
Volume 481
I disegni e i discorsi di Giovanni Antonio Nigrone vol. II
Fontanaro e ingegniero de acqua (1585-1609 ca.)
Volume 497
Performance Management in Humanitarian Logistics
Development of a Process-driven and IT-supported Performance Measurement System
Volume 66
Supporting Operational and Real-time Planning Tasks of Road Freight Transport with Machine Learning
Guiding the Implementation of Machine Learning Algorithms
Volume 69
