A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.

Kerkouche, Elhillali; Chaoui, Allaoua; Bourennane, El-Bay; Labbani, Ouassila

doi:10.5381/jot.2010.9.4.a2

Cited by 37 publications

(15 citation statements)

References 9 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But in our research work, we have find out a technique which is used to transform the UML class diagram to UML sequence diagram. This research was not done in previous research [3], [14]…”

Section: Comparitive Study Of Existing Workmentioning

confidence: 61%

“…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%

“…Sequence diagrams are associated with use case realizations in the Logical View of the system under development [4], [12]. There are a many algorithms which can be used for transforming the UML models to the other form, like the transformation of UML model to Petri Net, here generally the state chart and collaboration, activity diagrams are used as an input for the transformation algorithm, which will give us Petri Net in the form of Constraints-based Modular Petri Nets, Colored Petri Nets, Extended Colored Petri Nets, and High-Level Timed Petri Nets [6], [10], [3]. But there is not such technique or process is invented which can help us to transform the UML class diagram to UML sequence diagram.…”

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

“…But in our research work, we have find out a technique which is used to transform the UML class diagram to UML sequence diagram. This research was not done in previous research [3], [14]…”

Section: Comparitive Study Of Existing Workmentioning

confidence: 61%

Section: Comparitive Study Of Existing Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Transformation of UML Class Diagram to UML Sequence Diagram

Kambow¹

2012

IJAIS

View full text Add to dashboard Cite

show abstract

“…3.) is composed [10] and inherits from SC_State all its attributes, multiplicities and associations. Associations are also included in the meta-model to allow the connections between the differences classes (see Fig.…”

Section: Uml Statechart Diagram Meta-modelmentioning

confidence: 99%

A Modeling and Verification Approach Based on Graph Transformation

Chama¹,

Elmansouri²,

Chaoui³

2013

LNSE

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

“…The second group of modelling approaches includes various attempts to deliver a formal model from UML diagrams [8,6,5]. The advantage of these methods is that most developers are familiar with the UML and an automatic transformation of their diagrams into formal models and model-check them, would greatly simplify the software quality control.…”

Section: Introductionmentioning

confidence: 99%