We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS.
- Authors
RAFE, VAHID; RAHMANI, ADEL T.; RAFEH, REZA
- Abstract
Graph transformation is a general visual modeling language which is suitable for stating the dynamic semantics of the designed models formally. We present a highly understandable yet precise approach to formally define the behavioral semantics of UML 2.0 Activity diagrams by using graph transformation. In our approach we take into account control flow and data flow semantics. Our proposed semantics is based on token-like semantics and traverse-to-completion. The main advantage of our approach is automated formal verification and analysis of UML Activities. We use AGG to design Activities and we use our previous approach to model checking graph transformation system. Hereby, designers can verify and analyze designed Activity diagrams. Since workflow modeling is one of the main application areas of the Activities, we use our proposed semantics for modeling and verification of workflows to illustrate our approach.
- Subjects
UNIFIED modeling language; MATHEMATICAL transformations; SEMANTICS; WORKFLOW; CONFIRMATION (Logic); FORMAL methods (Computer science); DATA flow computing; GRAPH theory
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2010, Vol 20, Issue 5, p679
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194010004918