UML Activity Diagrams and Maude Integrated Modeling and Analysis Approach Using Graph Transformation
作者： Elhillali Kerkouche , Khaled Khalfaoui , Allaoua Chaoui , Ali Aldahoud
关键词: Graph (abstract data type) 、 Theoretical computer science 、 Unified Modeling Language 、 Applications of UML 、 Activity diagram 、 Computer science 、 UML tool 、 Formal methods 、 Graph rewriting 、 Rewriting 、 Programming language
摘要: The use of UML Activity Diagrams for modeling global dynamic behaviors systems is very widespread. diagrams support developers by means visual conceptual illustrations. However, the lack firm semantics notations makes detection behavioral inconsistencies difficult in initial phases development. formal methods such error possible but learning cost high. Integrating with notation a promising approach that more precise and allows rigorous analysis. In this paper, we present an integrates Rewriting Logic language Maude order to benefit from strengths both approaches. result automated tool environment transforms expressed using models into their equivalent specifications analysis purposes. based on Graph Transformation Meta-Modeling AToM used. illustrated through example. Keywords— Diagrams; Logic;Maude language; Meta-Modeling; Grammars; Transformation; AToM3.
zuj.edu.jo 参考文章(13)
Harald Störrle, Structured nodes in UML 2.0 activities Nordic Journal of Computing. ,vol. 11, pp. 279- 302 ,(2004)
Ana Moreira, Joao Araujo, Specifying the Behavior of UML Collaborations Using Object-Z ,(2000)
José Meseguer, Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems formal methods for open object based distributed systems. pp. 89- 117 ,(2000) , 10.1007/978-0-387-35520-7_5
Juan de Lara, Hans Vangheluwe, Manuel Alfonseca, Meta-modelling and graph grammars for multi-paradigm modelling in AToM3 Software and Systems Modeling. ,vol. 3, pp. 194- 209 ,(2004) , 10.1007/S10270-003-0047-5
Mian Wang, Lei Lu, A transformation method from UML statechartto Petri nets ieee international conference on computer science and automation engineering. ,vol. 2, pp. 89- 92 ,(2012) , 10.1109/CSAE.2012.6272734
José Meseguer, Conditional rewriting logic as a unified model of concurrency Theoretical Computer Science. ,vol. 96, pp. 73- 155 ,(1992) , 10.1016/0304-3975(92)90182-F
Steven Eker, José Meseguer, Ambarish Sridharanarayanan, The Maude LTL Model Checker Electronic Notes in Theoretical Computer Science. ,vol. 71, pp. 162- 187 ,(2004) , 10.1016/S1571-0661(05)82534-4
Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani, A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation The Journal of Object Technology. ,vol. 9, pp. 25- 43 ,(2010) , 10.5381/JOT.2010.9.4.A2
Patrice Gagnon, Farid Mokhati, Mourad Badri, Applying Model Checking to Concurrent UML Models The Journal of Object Technology. ,vol. 7, pp. 59- 84 ,(2008) , 10.5381/JOT.2008.7.1.A1
Xinhong Hei, Lining Chang, Weigang Ma, Jinli Gao, Guo Xie, Automatic transformation from UML statechart to Petri nets for safety analysis and verification 2011 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering. pp. 948- 951 ,(2011) , 10.1109/ICQR2MSE.2011.5976760