Graphs and diagrams provide a simple and powerful approach variety of problems that are typical to computer science, for example for activities. In software development visual notation are used for modeling that including activity diagram, class diagram, control flow, graphs and some another diagrams. Models based on these notation can be seen a graph and graph transformation are involved. So Abstract State Machine (ASM) is a modern computation model. ASM based tools are used to academia and industry, albeit on a modest scale. They allow we to give high-level operational semantics to computer artifacts and to write executable specifications of software and hardware at the desired abstraction level. The token flow semantics of UML2 activity diagrams is formally defined using Abstract State Machines and Graph Transformation System. The state of the art in semantics for UML2 activity diagrams covers three distinct approaches: mapping to Petri-nets, using graph transformation rules, or providing pseudo-code. ASM using pseudo- code and graph transformation system using graph transformation rules for determining semantics. A major goal of this paper is ability to determine the correctness behavior and formal semantics of UML2 activity diagram by Graph Transformation System and Abstract state machine.
Comments: 15 Pages.
[v1] 2012-08-18 21:38:30
Unique-IP document downloads: 736 times
Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.