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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5160 LNCS, Issue , 2008, Pages 305-318

  Rafe, Vahid ^a   Rahmani, Adel T ^a  

^a IRAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Iran)

Author keywords

Activity Diagram; Dynamic Semantics; Graph Transformation; Verification; Workflow

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER SIMULATION LANGUAGES; FORMAL LOGIC; GRAPH THEORY; GRAPHIC METHODS; INFORMATION THEORY; SEMANTICS; SYSTEMS ANALYSIS; UNIFIED MODELING LANGUAGE;

ACTIVITY DIAGRAM; ACTIVITY DIAGRAMS; AUTOMATED FORMAL VERIFICATION; BEHAVIORAL SEMANTICS; DESIGN ACTIVITIES; DESIGNED MODELS; DYNAMIC SEMANTICS; FORMAL ANALYSIS; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEMS; GRAPH TRANSFORMATIONS; TOOL SETS; UML 2.0; VERIFICATION; VISUAL LANGUAGES; WORK-FLOWS; WORKFLOW; WORKFLOW MODELING;

MODEL CHECKING;

EID: 51849133109     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85762-4_21     Document Type: Conference Paper

References (22)

1. Eshuis, R., Jansen, D., Andwieringa, R.: Requirements-level Semantics and Model Checking of Object-Oriented Statecharts. Requirements Eng. J. 7, 243-263 (2002)
2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2004)
3. Object Management Group: UML Specification V2.0. (2005), http://www.omg.org/technology/documents/modelingspeccatalog.htm
4. Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402-429. Springer, Heidelberg (2002)
5. Ehrig, H., Engels, G., Kreowski, H.j., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)
6. Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185. Springer, Heidelberg (2001)
7. Beyer, M.: AGG1.0 - Tutorial. Technical University of Berlin, Department of Computer Science (1992)
8. Baresi, L., Rafe, V., Rahmani, A.T., Spoletini, P.: An Efficient Model Checking Approach for Graph Transformation Systems. In: Proc. of 3th International Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2007)
9. Robby, D.M., Hatcliff, J.: Bogor: An Extensible and Highly-Modular Software Model Checking Framework. In: Proc. of the 9th European software engineering Confference, pp. 267-276 (2003)
10. Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente, Netherlands (2005)
11. Bolton, C., Davies, J.: On Giving a Behavioural Semantics to Activity Graphs. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939. Springer, Heidelberg (2000)
12. Soltenborn, C.: Analysis of UML Workflow Diagrams with Dynamic Meta Modeling Techniques, Master's Thesis, University of Paderborn, Germany (2006)
13. Hausmann, J.H.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, Ph.D. Thesis, University of Paderborn, Germany (2005)
14. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76-90. Springer, Heidelberg (2007)
15. Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation, In Applications of Graph Transformations with Industrial Relevance (AGTIVE). In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479-485. Springer, Heidelberg (2004)
16. Störrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Lig-gesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering. LNI., GI, vol. 64, pp. 117-128 (2005)
17. Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Transaction on Software Engineering Methodology 15(1), 1-38 (2006)
18. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A New Symbolic Model Checker. International Journal on Software Tools for Technology Transfer 2(4), 410-425 (2000)
19. Börger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 293-308. Springer, Heidelberg (2000)
20. Baldan, P., Corradini, A., Gadducci, F.: Specifying and Verifying UML Activity Diagrams via Graph Transformation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 18-33. Springer, Heidelberg (2005)
21. Schmidt, Á., Varró, D.: CheckVML: A tool for model checking visual modeling languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 92- 95. Springer, Heidelberg (2003)
22. Störrle, H.: Semantics of Control-Flow in UML 2.0 Activities. In: N.N. (ed.) Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2004)