Home   >   CSC-OpenAccess Library   >    Manuscript Information
Full Text Available

(671.31KB)
This is an Open Access publication published under CSC-OpenAccess Policy.
Publications from CSC-OpenAccess Library are being accessed from over 74 countries worldwide.
Using Met-modeling Graph Grammars and R-Maude to Process and Simulate LRN Models
Nardjess Dehimi, Allaoua Chaoui
Pages - 40 - 51     |    Revised - 15-03-2012     |    Published - 16-04-2012
Volume - 3   Issue - 2    |    Publication Date - April 2012  Table of Contents
MORE INFORMATION
KEYWORDS
Modeling Mobility, Labeled Reconfigurable Nets, Graph Transformation
ABSTRACT
Nowadays, code mobility technology is one of the most attractive research domains. Numerous domains are concerned, many platforms are developed and interest applications are realized. However, the poorness of modeling languages to deal with code mobility at requirement phase has incited to suggest new formalisms. Among these, we find Labeled Reconfigurable Nets (LRN) [9], This new formalism allows explicit modeling of computational environments and processes mobility between them. it allows, in a simple and an intuitive approach, modeling mobile code paradigms (mobile agent, code on demand, remote evaluation). In this paper, we propose an approach based on the combined use of Meta-modeling and Graph Grammars to automatically generate a visual modeling tool for LRN for analysis and simulation purposes. In our approach, the UML Class diagram formalism is used to define a meta-model of LRN. The meta-modeling tool ATOM3 is used to generate a visual modeling tool according to the proposed LRN meta-model. We have also proposed a graph grammar to generate R-Maude [22] specification of the graphically specified LRN models. Then the reconfigurable rewriting logic language R-Maude is used to perform the simulation of the resulted R-Maude specification. Our approach is illustrated through examples.
1 Google Scholar 
2 CiteSeerX 
3 Scribd 
4 SlideShare 
5 PdfSR 
1 A. Asperti, N. Busi. “Mobile Petri Nets”. Technical Report UBLCS-96-10, Department of Computer Science University of Bologna, May 1996.
2 AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca.
3 M. R. Bahri, A. Hettab, A. Chaoui, E. Kerkouche. “Transforming Mobile UML Statecharts Models to Nested Nets Models using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems“. In Proccedings of IEEE SEEFM2009, the 2009 Fourth South-East European Workshop on Formal Methods. Thessaloniki, Greece,
4 Dec 5th, 2009. pp. 33-39,
5 M.A. Bednarczyk, L. Bernardinello, W. Pawlowski, L. Pomello. “Modeling Mobility with Petri Hypernets”. 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT’04. LNCS vol. 3423, Springer-Verlag, 2004.
6 D. Xu, Y. Deng. “Modeling Mobile Agent Systems with High Level Petri Nets”. 0-7803-6583-6/00/ © 2000 IEEE.
7 F. Dur, N. Steven, E. P. Lincoln, J. Meseguer. “principles of mobile maude”. In D.Kotz and F.Mattern, editors, Agent systems, mobile agents and applications, second international symposium on agent systems and applications and fourth international symposium on mobile agents, ASA/MA 2000 LNCS 1882, Springer Verlag. Sep 2000.
8 C. Fournet, G. Gonthier. “The Join Calculus: a Language for Distributed Mobile Programming”. In Applied Semantics. International Summer School, APPSEM 2000,Caminha, Portugal, Sep00, LNCS 2395, Springer-Verlag. Aug 2002, pp. 268-332.
9 A. Fuggetta, G. P. Picco, G. Vigna. “Understanding Code Mobility”. IEEE transactions on software engineering, vol. 24, no. 5, may 1998.
10 L. Kahloul, A. Chaoui. “Labeled reconfigurable nets For modeling code mobility“. In proceedings of ACIT 2007, Lattakia, Syria.
11 K. M. van Hee, I. A. Lomazova, O. Oanea, A. Serebrenik, N. Sidorova, M. Voorhoeve.“Nested Nets for Adaptive Systems”. 14 EE. ICATPN, 2006, pp. 241-260.
12 11, I.A. Lomazova. “Nested Petri Nets”; Multilevel and Recursive Systems. Fundamenta Informaticae vol.47, pp.283-293. IOS Press, 2002.
13 J. Meseguer. “A Logical Theory of Concurrent Objects and its Realization in the Maude Language”. Agha G., Wegner P. and Yonezawa A., Editors, Research Directions in Object-Based Concurrency. MIT Press, 1992, pp. 314-390.
14 R. Milner, J. Parrow, D. Walker. “A calculus of mobile processes”. Information and Computation, 100:1–77, 1992.
15 R. Berger, I. Dori, S. Katz.”Modeling code mobility and migration: an OPM/Web approach”, Int. J. Web Engineering and Technology, Vol. 2, No. 1, pp.6–28, 2005
16 G. Rozengerg, "Handbook of Graph Grammar and computing Graph Transformation",World Scientific, 1999.
17 D. Sangiorgi, D. Walker. “The p-Calculus: A Theory of Mobile Processes”. Cambridge University Press, 2001.
18 L. Athie, S. A. DeLoach. “Designing and Specifying Mobility within the Multiagent Systems Engineering methodology ” Special Track on Agents, Interactions, Mobility,and Systems (AIMS) at the 18th ACM Symposium on Applied Computing (SAC 2003).Melbourne, Florida, USA, 2003.
19 R. Valk. “Petri Nets as Token Objects: An Introduction to Elementary Object Nets”.Applications and Theory of Petri Nets, LNCS vol.1420, pp.1-25, Springer-Verlag, 1998.
20 M. Clavel, F.Durán, S.Eker, P.Lincoln, N. Marti-Oliet, J.Meseguer, J. Quesada.“Maude:specification and programming in rewriting logic”.SRI International,http://maude,.csl.sri.com, Januray 1999.
21 J. Meseguer: “Conditional rewriting logic as a unified model of concurrency”.Theoretical Computer Science, 96 (1):73-155, 1992.
22 P. C. Ölveczky, J. Meseguer:” Real-Time Maude : A tool for simulating and analyzing real-time and hybrid systems”. In K. Futatsugi, editor, Third International Workshop on Rewriting Logic and its Applications, volume 36 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000.
23 http://www.elsevier.nl/locate.entcs/volume36.html.
24 L. Kahloul, Allaoua Chaoui. ”LRN/R-Maude Based Approach For Modeling And Simulation Of Mobile Code Systems”. Ubiquitous Computing and Communication Journal, vol. 3, No. 6, Dec. 2008.
25 L. Kahloul, Allaoua Chaoui. ”Temporal Labeled Reconfigurable Nets for Code Mobility Modeling”. The International Workshop on (Trustworthy Ubiquitous Computing (TwUC 2007)
26 associated to the iiWAS2007 conference.
27 L. Kahloul, Allaoua Chaoui. “Coloured reconfigurable nets for code mobility modeling”.In Proc World Academy of Science, Engineering and Technology. Vol. 25, International Conference Venice, Italy. Nov 2007.
Dr. Nardjess Dehimi
- Algeria
Dr. Allaoua Chaoui
- Algeria