Formal analysis of workflows using UML 2.0 activities and graph transformation systems

11Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

Graph transformation has recently become more and more popular as a general visual language to formally state the dynamic semantics of the designed models. Using this technique, we present a highly understandable yet precise approach to formally model the behavioral semantics of UML 2.0 Activity diagrams. Automated formal verification and analysis of UML Activities is the main advantage of our approach. In our proposal, AGG toolset is used to design Activities, then using our previous approach to model checking graph transformation systems, designers can verify and analyze designed Activity diagrams. One of the main application areas of the Activities is workflow modeling; hence to illustrate our approach, we use our proposed semantics for modeling and verification of workflows. © Springer-Verlag Berlin Heidelberg 2008.

Cite

CITATION STYLE

APA

Rafe, V., & Rahmani, A. T. (2008). Formal analysis of workflows using UML 2.0 activities and graph transformation systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5160 LNCS, pp. 305–318). https://doi.org/10.1007/978-3-540-85762-4_21

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free