A graph transformation approach of mobile activity diagram to nested Petri nets

Guerrouf, Fayçal; Chaoui, Allaoua; Al-Dahoud, Ali

doi:10.1504/ijcaet.2013.050549

Cited by 5 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In literature, various research works have been done to transform informal models to formal ones (Rehab and Chaoui (2015)) (Aouag et al (2014)) (Guerrouf et al (2013)) (Debbabi et al (2010)). These transformations are generally implemented and offered as tools which can assist architects during the verification of their systems.…”

Section: Related Workmentioning

confidence: 99%

SysML model-driven approach to verify blocks compatibility

Bouaziz

Chouali

Hammad

et al. 2019

IJCAET

View full text Add to dashboard Cite

In the component paradigm, the system is seen as an assembly of heterogeneous components, where the system reliability depends on these components compatibility. In our approach, we focus on verifying compatibility of components modelled with SysML diagrams. Thus, we model component interactions with sequence diagrams (SDs) and components with SysML blocks. The SDs constitute a good start point for compatibility verification. However, this verification is still inapplicable directly on SDs, because they are expressed in informal language. Thus, to apply a verification method, it is necessary to translate the SDs into formal models, and then verify the wanted properties. In this paper, we propose a high-level model-driven approach which consists of an ATL grammar that automates the transformation of SDs into interface automata. Also, to allow an easy use of Ptolemy tool to verify properties on automata, we have proposed some Acceleo templates, which generate the Ptolemy entry specification.

show abstract

Section: Related Workmentioning

confidence: 99%

SysML model-driven approach to verify blocks compatibility

Bouaziz

Chouali

Hammad

et al. 2019

IJCAET

View full text Add to dashboard Cite

show abstract

“…The semantics of UML diagrams with mobility were handled in (Bahri et al, 2009) and (Guerrouf et al, 2013). Actually, the authors in (Bahri et al, 2009) have proposed an approach for the automatic transformation of mobile UML statechart diagrams to nested nets using meta-modeling and graph grammars for modeling and analysis of mobile agent-based software systems.…”

Section: Related Workmentioning

confidence: 99%

“…Actually, the authors in (Bahri et al, 2009) have proposed an approach for the automatic transformation of mobile UML statechart diagrams to nested nets using meta-modeling and graph grammars for modeling and analysis of mobile agent-based software systems. The same motivations have encouraged the authors in (Guerrouf et al, 2013) to propose a meta-modeling and graph transformation based approach to transform mobile activity diagrams to nested Petri nets to deal with another view of modeling of these systems.…”

Section: Related Workmentioning

confidence: 99%

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation

Chaoui

Belghiat

2016

International Journal of Intelligent Information Technologies

Self Cite

View full text Add to dashboard Cite

Mobile UML (M-UML) has been proposed as an extension of UML to model mobile agent-based software systems. As UML, M-UML suffers from lack of formal semantics due to its semi-formal nature which penalize the verification of correct behavior of the modeled systems. This paper provides a graphical yet formal approach for the modeling, simulation and verification of mobile statechart diagrams using graph transformations in the AToM3 tool. The authors have firstly proposed metamodels for mobile statechart diagram and flowgraph. Then, a twofold graph grammar is developed for the automatic mapping of mo-bile statechart diagrams into flowgraphs and in the same time generates the cor-responding π-calculus specification. This graph grammar enables either execution through simulation by flowgraphs or verification through model checking, using existing tools (e.g. the Mobility Workbench, MWB). An illustrative example of the authors' approach is provided.

show abstract

“…In [23], the authors have developed an approach for modeling and analysis of mobile agent-based software systems by transforming M-UML statecharts models to nested nets models. In [22], an approach for transforming mobile activity diagrams to nested Petri nets models has been proposed. Also in [1,2,3,17,18, and 25] we can found treatment and translation of multiple UML diagrams.…”

Section: Related Workmentioning

confidence: 99%

Bridging the Gap between Modeling of Mobile Agent-based Systems and Semantic Web using Meta-Modeling and Graph Grammars

Belghiat

Chaoui

Al-Dahoud

2015

The 7th International Conference on Information Technology

Self Cite

View full text Add to dashboard Cite

Recently, the mobile agent-based paradigm has received more attention especially in distributed systems where it provides multiple solutions to several problems which can't be resolved by the object-based paradigm. Unfortunately, this paradigm lacks the interconnection with semantic web standards such as the language OWL (Ontology Web Language) which make it far from profiting from research results and advances in this area. We try in this paper to bridge the gap between the two domains by proposing an integrated approach for modeling mobile agent-based software systems using a transformation of mobile class diagrams into OWL ontologies. The developed approach allows interconnection of mobile agent and Semantic Web technologies can be used in a mobile agent-based application where such interconnection is needed. We use the meta-modeling and graph grammars tool AToM 3 .

show abstract

A graph transformation approach of mobile activity diagram to nested Petri nets

Cited by 5 publications

References 9 publications

SysML model-driven approach to verify blocks compatibility

SysML model-driven approach to verify blocks compatibility

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation

Bridging the Gap between Modeling of Mobile Agent-based Systems and Semantic Web using Meta-Modeling and Graph Grammars

Contact Info

Product

Resources

About