NDLI: Using graph grammars and meta-modeling to process code mobility in LRN models

Content Provider	IEEE Xplore Digital Library
Author	Dehimi, N. Chaoui, A.
Copyright Year	2012
Description	Author affiliation: MISC Laboratory, Department of Computer Science, University of Constantine, Algeria (Dehimi, N.; Chaoui, A.)
Abstract	Petri nets have been proposed initially to model concurrency and distributed systems. The ordinary formalism is so simple with a smart formal background, but it fails in modeling mobility aspects. In spite of this, searchers in mobility modeling domain are attracted by Petri nets, and many extensions have been proposed to treat mobility aspects. Among these, we find Labeled Reconfigurable Nets (LRN), 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. This tool produces graphical models, highly-structured to reach this goal. 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. To generate R-Maude specification of the graphically specified LRN models, we have proposed a graph grammar. Then the reconfigurable rewriting logic language R-Maude can be used to perform the simulation of the resulted R-Maude specification. Our approach is illustrated through examples.
Starting Page	1
Ending Page	7
File Size	606775
Page Count	7
File Format	PDF
ISBN	9781467311670
e-ISBN	9781467311663
DOI	10.1109/ICITeS.2012.6216654
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-03-24
Publisher Place	Tunisia
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	ATOM3 tool Computational modeling Unified modeling language Petri nets Metamodeling Labeled Reconfigurable Nets Mobile communication Code mobility Modeling mobility Grammar Analytical models R-Maude Graph transformation
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in