Home   >   CSC-OpenAccess Library   >    Manuscript Information
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
Modeling Mobility, Labeled Reconfigurable Nets, Graph Transformation
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 
11, I.A. Lomazova. “Nested Petri Nets”; Multilevel and Recursive Systems. Fundamenta Informaticae vol.47, pp.283-293. IOS Press, 2002.
A. Asperti, N. Busi. “Mobile Petri Nets”. Technical Report UBLCS-96-10, Department of Computer Science University of Bologna, May 1996.
A. Fuggetta, G. P. Picco, G. Vigna. “Understanding Code Mobility”. IEEE transactions on software engineering, vol. 24, no. 5, may 1998.
associated to the iiWAS2007 conference.
AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca.
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.
D. Sangiorgi, D. Walker. “The p-Calculus: A Theory of Mobile Processes”. Cambridge University Press, 2001.
D. Xu, Y. Deng. “Modeling Mobile Agent Systems with High Level Petri Nets”. 0-7803-6583-6/00/ © 2000 IEEE.
Dec 5th, 2009. pp. 33-39,
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.
G. Rozengerg, "Handbook of Graph Grammar and computing Graph Transformation",World Scientific, 1999.
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.
J. Meseguer: “Conditional rewriting logic as a unified model of concurrency”.Theoretical Computer Science, 96 (1):73-155, 1992.
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.
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.
L. Kahloul, A. Chaoui. “Labeled reconfigurable nets For modeling code mobility“. In proceedings of ACIT 2007, Lattakia, Syria.
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.
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.
L. Kahloul, Allaoua Chaoui. ”Temporal Labeled Reconfigurable Nets for Code Mobility Modeling”. The International Workshop on (Trustworthy Ubiquitous Computing (TwUC 2007)
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.
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,
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.
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.
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
R. Milner, J. Parrow, D. Walker. “A calculus of mobile processes”. Information and Computation, 100:1–77, 1992.
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.
Dr. Nardjess Dehimi
- Algeria
Dr. Allaoua Chaoui
- Algeria