Coloured Reconfigurable Nets for Code Mobility Modeling

Authors: Kahloul Laid, Chaoui Allaoua

Abstract:

Code mobility technologies attract more and more developers and consumers. Numerous domains are concerned, many platforms are developed and interest applications are realized. However, developing good software products requires modeling, analyzing and proving steps. The choice of models and modeling languages is so critical on these steps. Formal tools are powerful in analyzing and proving steps. However, poorness of classical modeling language to model mobility requires proposition of new models. The objective of this paper is to provide a specific formalism “Coloured Reconfigurable Nets" and to show how this one seems to be adequate to model different kinds of code mobility.

Keywords: Code mobility, modelling mobility, labelled reconfigurable nets, Coloured reconfigurable nets, mobile code design paradigms.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1086115

References:

[1] Andrea Asperti and Nadia Busi. "Mobile Petri Nets". Technical Report UBLCS-96-10, Department of Computer Science University of Bologna, May 1996.
[2] M.A. Bednarczyk, L. Bernardinello, W. Pawlowski, and L. Pomello. "Modelling Mobility with Petri Hypernets". 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT-04. LNCS vol. 3423, Springer-Verlag, 2004.
[3] M. Buscemi and V. Sassone. "High-Level Petri Nets as Type Theories in the Join Calculus". In Proc. of Foundations of Software Science and Computation Structure (FoSSaCS '01), LNCS 2030, Springer-Verlag.
[4] Dianxiang Xu and Yi Deng, "Modeling Mobile Agent Systems with High Level Petri Nets". 0-7803-6583-6/00/ ┬® 2000 IEEE.
[5] Francisco Dur ┘än, Steven Eker, Patrick Lincoln and José 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. Sept 2000.
[6] Cédric Fournet Georges Gonthier, "The Join Calculus: a Language for Distributed Mobile Programming". In Applied Semantics. International Summer School, APPSEM 2000, Caminha, Portugal, September 2000, LNCS 2395, pages 268--332, Springer-Verlag. August 2002.
[7] Alfonso Fuggetta, Gian Pietro Picco and Giovanni Vigna, "Understanding Code Mobility". IEEE transactions on software engineering, vol. 24, no. 5, may 1998.
[8] Kahloul Laid and Chaoui Allaoua, "Labeled reconfigurable nets for modeling code mobility", accepted and to appear in the proceeding of The International Arab Conference for Information technology (ACIT) 26-28/11/2007 in Syria.
[9] Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: "Nested Nets for Adaptive Systems". 14 EE. ICATPN 2006: 241-260.
[10] P. Knudsen, "Comparing Two Distributed Computing Paradigms, A Performance Case Study"; MS thesis, Univ. of Troms1995 ,.ّ
[11] I.A. Lomazova. "Nested Petri Nets"; Multi-level and Recursive Systems. Fundamenta Informaticae vol.47, pp.283-293. IOS Press, 2002.
[12] M. Merz and W. Lamersdorf, "Agents, Services, and Electronic Markets: How Do They Integrate?"; Proc. Int-l Conf. Distributed Platforms, IFIP/IEEE, 1996.
[13] R. Milner. "A Calculus of Communicating Systems". Number 92 in Lecture Notes in Computer Science. Springer Verlag, 1980.
[14] R. Milner, J. Parrow, and D. Walker. "A calculus of mobile processes". Information and Computation, 100:1-77, 1992.
[15] Reinhartz-Berger, I., Dori, D. and Katz, S. (2005) "Modelling code mobility and migration: an OPM/Web approach", Int. J. Web Engineering and Technology, Vol. 2, No. 1, pp.6-28.
[16] D. Sangiorgi and D. Walker. "The ¤Ç-Calculus: A Theory of Mobile Processes". Cambridge University Press, 2001.
[17] Athie L. Self and Scott 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.
[18] Tommy Thorn, "Programming languages for mobile code". Rapport de recherche INRIA, N ┬░ 3134, Mars, 1997.
[19] R. Valk. "Petri Nets as Token Objects: An Introduction to Elementary Object Nets". Applications and Theory of Petri Nets 1998, LNCS vol.1420, pp.1-25, Springer-Verlag, 1998.
[20] F. Rosa Velardo, O. Marroqn Alonso and D. Frutos Escrig. "Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems". In 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord-05. ENTCS, No 150.
[21] Fernando Rosa-Velardo. "Coding Mobile Synchronizing Petri Nets into Rewriting Logic", this paper is electronically published in Electronic Notes in Theoretical Computer science URL: www.elsevier.nl/locate/entcs.
[22] Sutandiyo, W., Chhetri, M, B., Loke, S,W., and Krishnaswamy, S. "mGaia: Extending the Gaia Methodology to Model Mobile Agent Systems", Accepted for publication as a poster in the Sixth International Conference on Enterprise Information Systems (ICEIS 2004), Porto, Portugal, April 14-17.
[23] D.J. Wetherall, J. Guttag, and D.L. Tennenhouse, "ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols" Technical Report, MIT, 1997, in Proc. OPENARCH-98.