Handbook of graph grammars and computing by graph transformation
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
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
Flowchart techniques for structured programming
ACM SIGPLAN Notices
List processing: sort again, naturally
ACM SIGCSE Bulletin
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |
In this paper an integrated modelling approach for object-oriented systems is proposed. The integrated language consists of three layers. On the first layer UML class diagrams are used to define the structure of the modelled systems and OCL expressions specify queries, which do not modify the object configuration. On the second layer transformation rules model local state modifications of the system. On the third layer Nassi-Shneiderman diagrams describe complex control flows built over the rules and queries on the lower layers. The proposed integrated language is evaluated by a running example on modelling doubly linked lists and the mergesort algorithm.