Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

Bahri, Mouhamed Redha; Hettab, Abdelkamel; Chaoui, Allaoua; Kerkouche, Elhillali

doi:10.1109/seefm.2009.21

Cited by 7 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Section: Related Workmentioning

confidence: 99%

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

See 1 more Smart Citation

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

Section: Related Workmentioning

confidence: 99%

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

show abstract

“…In [20] the authors have developed an AToM 3 based approach for the automatic generation of OWL ontologies from UML diagrams. 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.…”

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

“…It is the collection of various views and diagrams which help you to actually implement the software. Use case diagrams are used to define the requirement and the functionality, structure of a system, whereas state chart diagrams are used to define the dynamic behavior of an individual actor defines in use case [6] [14]. Sequence diagram shows the sequences of activities carried in the projects.…”

Section: Uml -Software Engineering Toolmentioning

confidence: 99%

“…Component Diagram describes the physical structure of the component. It is also used to define the static architectural aspects of the implementation view of the system model [6] [7] [15]. Traditional UML cannot cover all the aspects of modern designing related to mobiles.…”

Section: Uml -Software Engineering Toolmentioning

confidence: 99%

Extracting use Cases from Mobile Educational Applications Requirements

Dhupia¹,

Rubab²,

Litayem³

2015

IJERT

View full text Add to dashboard Cite

The Unified Modeling Language is one of the popular traditional tools used for designing a model for software designing. But there are a few aspects which cannot be described by UML while developing the design model for mobile application development. So to describe all the aspects of mobile app model a modified version of UML is defined called M-UML. For initial design of the model use case are used to show the relationship between the various users in the project. The use case helps to depict the task done by various users and relationship of the task among each other graphically. In this paper, we will discuss the implementation of use case diagrams with detailed model of the project as a case study. Use case being the most basic step of creating a model for the project discusses in detail.

show abstract

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

Cited by 7 publications

References 12 publications

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

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

Extracting use Cases from Mobile Educational Applications Requirements

Contact Info

Product

Resources

About