A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

Elmansouri, Raida; Meghzili, Said; Chaoui, Allaoua

doi:10.7494/csci.2021.22.2.3478

Cited by 3 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…State diagrams are given a CSP semantic in [28], where activity diagrams are formalized in CSP in [29] and [30]. This last formalization has been implemented in [31] by using diverse graph transformation tools, in [32] by using AToM 3 tool, and in [33] by using AToMPM [34] tool for meta-modeling and GROOVE [35] tool for transformation and properties verification. [36] proposed a graph transformation approach to generate Maude specifications from UML activity diagrams using AToM 3 tool.…”

Section: Related Workmentioning

confidence: 99%

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Hamrouche

Chaoui

Mazouzi

2022

cai

View full text Add to dashboard Cite

Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable system. However, UML 2.0 SD lack formal semantics as all UML specifications, which makes their verification difficult, especially if we are modeling a critical system where the automation of verification is necessary. Communicating Sequential Processes (CSP) is a formal specification language that is

show abstract

Section: Related Workmentioning

confidence: 99%

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Hamrouche

Chaoui

Mazouzi

2022

cai

View full text Add to dashboard Cite

show abstract

“…This verification provides feedback on the properties of the source model (BPM modeled in the input). It is noteworthy that we use the techniques of MDE for model transformation as well as their verifications by different specifications such as those that were presented in [15,16,24,26,33]. Furthermore, we can use generation test cases like those that were presented in [22].…”

Section: Introductionmentioning

confidence: 99%

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

Rahmoune

Chaoui

2022

csci

Self Cite

View full text Add to dashboard Cite

Model Driven Engineering (MDE) provides available tools, concepts and languages to create and transform models. One of the most important successes of MDE is model transformation; it permits transforming models used by one community to equivalent models used by another one. Moreover, each community of developers has its own tools for verification, testing and test case generation. Hence, a developer of one community who moves to work with another community needs a transformation process from the second community to (his/her) own community and vice versa. Therefore, the target community can benefit from the expertise of the source one and the developers do not begin from zero.In this context, we propose in this paper an automatic transformation to create a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML Activity Diagrams (UML-AD). The proposed approach is based on Meta-Modeling and Graph Transformation, and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3. This last allows generating automatically a visual modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar composed of sixty rules that perform the transformation process. The proposed approach is illustrated through three case studies.

show abstract

A Graph Transformation Approach for Modeling UML Diagrams

Hachichi

2022

International Journal of Systems and Service-Oriented Engineering

View full text Add to dashboard Cite

This article proposes an approach for transforming UML Statecharts, Sequence Diagrams and activity Diagrams to Time Petri Nets with Action Duration (DTPN) using graph transformation. By this transformation the author aims to bridge the gap between semi-formal models generated by UML and formal models DTPN. UML is considered to be the standardized language for modelling and describing systems behaviors for analysis. In other hand, DTPN models are tools for the specification and performance analysis of distributed and concurrent systems. However, the proposed approach allows to generate automatically a visual modeling tool for DTPN. The cost of building a visual modeling tool from scratch is prohibitive. Meta-modeling approach is useful to deal with this problem since it allows the modeling of the formalisms themselves, by means of graph grammars. The meta-modeling tool AToM3 is used.

show abstract

A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

Cited by 3 publications

References 22 publications

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

A Graph Transformation Approach for Modeling UML Diagrams

Contact Info

Product

Resources

About