A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
DOI:
关键词: Graph (abstract data type) 、 Notation 、 Process architecture 、 Grammar 、 Unified Modeling Language 、 Petri net 、 Applications of UML 、 Computer science 、 Programming language
摘要: Model-to-Model mapping offers several advantages over relational mapping. In model-to-model an active correspondence is kept between two pairs of models. This facilitated if visual models are used. UML 2 activities based on Petri net like semantics and substantial literature exists explaining the conversion process. paper explains how can be formally mapped into nets or from a theoretical practical operational point view adding previous work Triple Graph Grammars (TGGs). activity constructs have been classified identified for creating basic set TGG rules. The concepts presented easily developed further even extended to other notations.
acm.org 参考文章(13)
Sol M. Shatz, Zhaoxia Hu, Mapping UML Diagrams to a Petri Net Notation for System Simulation. software engineering and knowledge engineering. pp. 213- 219 ,(2004)
Vitus S. W. Lam, A formalism for reasoning about UML activity diagrams Nordic Journal of Computing. ,vol. 14, pp. 43- 64 ,(2007) , 10.5555/1515784.1515786
Harald Störrle, Structured nodes in UML 2.0 activities Nordic Journal of Computing. ,vol. 11, pp. 279- 302 ,(2004)
Peter King, Rob Pooley, Derivation of Petri Net Performance Models from UML Specifications of Communications Software Lecture Notes in Computer Science. pp. 262- 276 ,(2000) , 10.1007/3-540-46429-8_19
Javier Campos, José Merseguer, On the integration of UML and petri nets in software development applications and theory of petri nets. pp. 19- 36 ,(2006) , 10.1007/11767589_2
José Luis Garrido, Miguel Gea, A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling Lecture Notes in Computer Science. pp. 16- 28 ,(2002) , 10.1007/3-540-36235-5_2
Egon Börger, Alessandra Cavarra, Elvinia Riccobene, An ASM Semantics for UML Activity Diagrams algebraic methodology and software technology. ,vol. 1816, pp. 293- 308 ,(2000) , 10.1007/3-540-45499-3_22
Juan Pablo López-Grao, José Merseguer, Javier Campos, From UML activity diagrams to Stochastic Petri nets: application to software performance engineering workshop on software and performance. ,vol. 29, pp. 25- 36 ,(2004) , 10.1145/974043.974048
Carsten Lohmann, Joel Greenyer, Juanjuan Jiang, Tarja Systä, Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations. The Journal of Object Technology. ,vol. 6, pp. 253- 273 ,(2007) , 10.5381/JOT.2007.6.9.A13
C. Canevet, S. Gilmore, J. Hillston, L. Kloul, P. Stevens, Analysing UML 2.0 activity diagrams in the software performance engineering process workshop on software and performance. ,vol. 29, pp. 74- 78 ,(2004) , 10.1145/974043.974055