A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

被引：9

作者：

Rahmoune, Yasmina ^{[1
]}

Chaoui, Allaoua ^{[2
]}

Kerkouche, Elhillali ^{[3
]}

机构：

[1] Normal High Sch Constantine, Dept Comp Sci, MISC Lab, Constantine, Algeria

[2] Constantine2 Univ, Dept Fundamental Comp Sci & Its Applicat, MISC Lab, Constantine, Algeria

[3] Jijel Univ, Dept Comp Sci, MISC Lab, Jijel, Algeria

来源：

10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS | 2015年 / 56卷

关键词：

Diagram UML-AD; Petri Nets; Meta-Modeling; Graph Transformation; AToM3; tool; MDE; Verification;

D O I：

10.1016/j.procs.2015.07.261

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool. This transformation helps the software designers to analyze and verify properties. For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation. We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example. (c) 2015 The Authors. Published by Elsevier B.V.

引用

页码：612 / 617

页数：6

共 9 条

[1]

Agarwal B., 2013, International Journal of Engineering and Computer Science, V2, P798

[2]

Booch Grady, 1999, UNIFIED MODELING LAN, DOI DOI 10.1007/3-540-40011-7_10

[3]

Elmansouri R, 2011, IJCSI INT J COMPUTER, V8, P1694

[4]

Hoare C., 1985, Prentice-Hall International Series in Computer Science

[5] A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation [J].

Kerkouche, Elhillali ;

Chaoui, Allaoua ;

Bourennane, El Bay ;

Labbani, Ouassila .

JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (04) :25-43

[6]

Mansouri E1 R, 2008, P WORLD ACAD SCI ENG, V34

[7] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[8]

Rahmoune Yasmina, 2014, INT C ADV TECHN SCI, P1116

[9]

[No title captured]

← 1 →