Graph transformation with time
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Workflow system modeling in the mobile healthcare b2b using semantic information
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
| Hi-index | 0.00 |
The Unified Modeling Language (UML) still lacks a formaland commonly agreed specification of its semantics thatalso accounts for UML's built-in semantic variation pointsand extension mechanisms. The semantics specification ofsuch extensions must be formally integrated and consistentwith the standard UML semantics without changing thelatter. Feasible semantics approaches must thus allow advancedUML modelers to define domain-specific languageextensions in a precise, yet usable manner. We have proposeddynamic meta modeling for specifying operationalsemantics of UML behavioral diagrams based on UML collaborationdiagrams that are interpreted as graph transformationrules. Herein we show how this approach can beadvanced to specify the semantics of UML extensions. Asa case study we specify the operational semantics of UMLsequence diagrams and extend this specification to includefeatures for modeling multimedia applications.