Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis

Kerkouche

CIT. J. comput. inf. technol.

et al. 2016

Self Cite

Mobile agent-based applications are special type of software systems which take the advantages of mobile agents in order to provide a new beneficial paradigm to solve multiple complex problems in several fields and areas such as network management, e-commerce, e-learning, etc. Likewise, we notice lack of real applications based on this paradigm and lack of serious evaluations of their modeling approaches. Hence, this paper provides a comparative study of modeling approaches of mobile agent-based software systems. The objective is to give the reader an overview and a thorough understanding of the work that has been done and where the gaps in the research are. ACM CCS (2012) Classification: Computing methodologies → Artificial intelligence → Distributed artificial intelligence → Mobile agents

Section: Hybrid Approachesmentioning

confidence: 99%

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study

Kerkouche

CIT. J. comput. inf. technol.

et al. 2016

Self Cite

“…Afterwards, we have developed a twofold graph grammar which simulates the execution of mobile statechart diagrams using flowgraphs and at the same time generates their corresponding π-calculus code. This graph grammar implements the formal mapping proposed in (Belghiat et al, 2014). The derived π-calculus specifications are then used to analyze and check mobile agent-based systems using π-calculus analytical tools.…”

Section: The Proposed Approachmentioning

confidence: 99%

“…The semantics correspondences are inspired by (Belghiat et al, 2014) where a formal mapping of mobile statechart diagrams into the π-calculus is presented in details. Here, we recall this formalization informally (see Table 1).…”

Section: Semantics Correspondencesmentioning

confidence: 99%

“…The previous rules show the execution of mobile statechart diagrams through simulation using flowgraphs. But, we pay attention that in parallel there is the generation of the π-calculus code according to the semantics correspondences (Belghiat et al, 2014) recalled above. In Figure 9, we present in details "Rule 12C", the other rules are similar to the one presented here.…”

Section: The Graph Grammarmentioning

confidence: 99%

See 1 more Smart Citation

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

International Journal of Intelligent Information Technologies

2016

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.

“…Modeling and designing of mobile agent-based software systems have received important attention in the last years to deal with previous problems [18]. M-UML [19] has been introduced as an extension of UML [7] for modeling mobile agent-based systems [26]. Researchers have tried to relate mobile agent paradigm to the object oriented paradigm using the standard of object oriented modeling to model mobile agents by introducing to it the appropriate artifacts in order to support the new paradigm.…”

Section: Introductionmentioning

confidence: 99%

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

The 7th International Conference on Information Technology

Al-Dahoud

2015

Self 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 .