A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation

Kerkouche, Elhillali; Chaoui, Allaoua

doi:10.1007/978-3-540-92295-7_26

Cited by 15 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The second one uses Graph Grammar. It is composed of production rules [6]; each having graphs in their left hand side (LHS) and right hand side (RHS). For more details the reader is referred to [7].…”

Section: Rewriting Logic and Maudementioning

confidence: 99%

A Modeling and Verification Approach Based on Graph Transformation

Chama¹,

Elmansouri²,

Chaoui³

2013

LNSE

Self Cite

View full text Add to dashboard Cite

Abstract-UML is a standard modeling language with an open notation and several concepts to be widely used in software modeling. However UML suffers from a lack of formal semantics. So, their models still need to be formally checked against incoherencies or inconsistencies. To reach this goal we propose in this paper, a framework and a tool based on graph transformation allowing an automatic translation of some UML diagrams to equivalent Maude formal specifications. To realize this automatic mapping we use UML Class diagram formalism to define three meta-models. The first one for Class Diagram, the second for State Machine Diagram and the third for the Communication Diagram. Then, we propose a graph grammar to generate Maude specifications of the UML diagrams based on theses meta-models. The meta-modeling tool AToM 3 is used to produce our visual modeling tool according to the proposed UML meta-models. An example is presented to illustrate our approach.

show abstract

Section: Rewriting Logic and Maudementioning

confidence: 99%

A Modeling and Verification Approach Based on Graph Transformation

Chama¹,

Elmansouri²,

Chaoui³

2013

LNSE

Self Cite

View full text Add to dashboard Cite

show abstract

“…Export the UML class diagram to our personal computer in any suitable language [1], [5]. We will follow the UML to XML forward approach for export process.…”

Section: Exportmentioning

confidence: 99%

“…3.1.1 Draw an object Search for keyword "class" from XML metadata interface file which we have included in turbo C. Using for loop, every time when keyword "class" has been found then create its object in the form of rectangle using C Graphics function. Code for searching "class" keyword, then placing rectangle as a object in sequence diagram [1], [5].…”

Section: Transformation Algorithm 31 Process To Get Sequence Diagrammentioning

confidence: 99%

“…There are a many algorithms which can be followed for transforming the UML models to the other form, like the transformation of UML model to Petri Net, research done in [3], [7], In this the UML state chart and UML collaboration, UML activity diagrams are used as an input for the transformation algorithm, which results a Petri Net in the form of Constraints-based Modular Petri Nets, Colored Petri Nets, Extended Colored Petri Nets, and High-Level Timed Petri Nets [3], [5]. But in our research work, we have find out a technique which is used to transform the UML class diagram to UML sequence diagram.…”

Section: Comparitive Study Of Existing Workmentioning

confidence: 99%

“…This static structure can be represented by presenting the system's classes, their attributes, methods and operations, the relationships among the classes [1], [11]. This UML class diagrams can be transformed/mapped directly with object oriented a language that is why; they are widely used in the modeling of object oriented systems [5], [9]. In contrast, the UML Sequence diagram is a kind of interaction diagram that shows in which order and how processes operate with one another .It is also known as a Message Sequence Chart.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Transformation of UML Class Diagram to UML Sequence Diagram

Kambow¹

2012

IJAIS

View full text Add to dashboard Cite

For object-oriented software development, The Unified Modeling Language (UML) has become an industrial standard. There are different models which have been described under UML notation. Use case model can represent the functional view of the system, UML class model can represent static view of the system, activity or sequence diagram can represent the dynamic view of the system. If we focus on field of UML class diagram & UML activity diagrams then a lots of research still is required. In this paper we describe a transformation process which can be used to transform the UML class diagram to UML sequence diagram. Transformation process is quite helpful so that we can easy obtain the UML sequence diagram from UML class diagram.

show abstract