{"title":"Coloured Reconfigurable Nets for Code Mobility Modeling","authors":"Kahloul Laid, Chaoui Allaoua","volume":7,"journal":"International Journal of Computer and Information Engineering","pagesStart":1939,"pagesEnd":1945,"ISSN":"1307-6892","URL":"https:\/\/publications.waset.org\/pdf\/15961","abstract":"<p>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 &ldquo;Coloured Reconfigurable Nets&quot; and to show how this one seems to be adequate to model different kinds of code mobility.<\/p>\r\n","references":"[1] Andrea Asperti and Nadia Busi. \"Mobile Petri Nets\". Technical Report\r\nUBLCS-96-10, Department of Computer Science University of Bologna,\r\nMay 1996.\r\n[2] M.A. Bednarczyk, L. Bernardinello, W. Pawlowski, and L. Pomello.\r\n\"Modelling Mobility with Petri Hypernets\". 17th Int. Conf. on Recent\r\nTrends in Algebraic Development Techniques, WADT-04. LNCS vol.\r\n3423, Springer-Verlag, 2004.\r\n[3] M. Buscemi and V. Sassone. \"High-Level Petri Nets as Type Theories in\r\nthe Join Calculus\". In Proc. of Foundations of Software Science and\r\nComputation Structure (FoSSaCS '01), LNCS 2030, Springer-Verlag.\r\n[4] Dianxiang Xu and Yi Deng, \"Modeling Mobile Agent Systems with High\r\nLevel Petri Nets\". 0-7803-6583-6\/00\/ \u252c\u00ae 2000 IEEE.\r\n[5] Francisco Dur \u2518\u00e4n, Steven Eker, Patrick Lincoln and Jos\u00e9 Meseguer.\r\n\"principles of mobile maude\". In D.Kotz and F.Mattern, editors, Agent\r\nsystems, mobile agents and applications, second international\r\nsymposium on agent systems and applications and fourth international\r\nsymposium on mobile agents, ASA\/MA 2000 LNCS 1882, Springer\r\nVerlag. Sept 2000.\r\n[6] C\u00e9dric Fournet Georges Gonthier, \"The Join Calculus: a Language for\r\nDistributed Mobile Programming\". In Applied Semantics. International\r\nSummer School, APPSEM 2000, Caminha, Portugal, September 2000,\r\nLNCS 2395, pages 268--332, Springer-Verlag. August 2002.\r\n[7] Alfonso Fuggetta, Gian Pietro Picco and Giovanni Vigna,\r\n\"Understanding Code Mobility\". IEEE transactions on software\r\nengineering, vol. 24, no. 5, may 1998.\r\n[8] Kahloul Laid and Chaoui Allaoua, \"Labeled reconfigurable nets for\r\nmodeling code mobility\", accepted and to appear in the proceeding of\r\nThe International Arab Conference for Information technology (ACIT)\r\n26-28\/11\/2007 in Syria.\r\n[9] Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander\r\nSerebrenik, Natalia Sidorova, Marc Voorhoeve: \"Nested Nets for\r\nAdaptive Systems\". 14 EE. ICATPN 2006: 241-260.\r\n[10] P. Knudsen, \"Comparing Two Distributed Computing Paradigms, A\r\nPerformance Case Study\"; MS thesis, Univ. of Troms1995 ,.\u2518\u00e6\r\n[11] I.A. Lomazova. \"Nested Petri Nets\"; Multi-level and Recursive Systems.\r\nFundamenta Informaticae vol.47, pp.283-293. IOS Press, 2002.\r\n[12] M. Merz and W. Lamersdorf, \"Agents, Services, and Electronic\r\nMarkets: How Do They Integrate?\"; Proc. Int-l Conf. Distributed\r\nPlatforms, IFIP\/IEEE, 1996.\r\n[13] R. Milner. \"A Calculus of Communicating Systems\". Number 92 in\r\nLecture Notes in Computer Science. Springer Verlag, 1980.\r\n[14] R. Milner, J. Parrow, and D. Walker. \"A calculus of mobile processes\".\r\nInformation and Computation, 100:1-77, 1992.\r\n[15] Reinhartz-Berger, I., Dori, D. and Katz, S. (2005) \"Modelling code\r\nmobility and migration: an OPM\/Web approach\", Int. J. Web\r\nEngineering and Technology, Vol. 2, No. 1, pp.6-28.\r\n[16] D. Sangiorgi and D. Walker. \"The \u00a4\u00c7-Calculus: A Theory of Mobile\r\nProcesses\". Cambridge University Press, 2001.\r\n[17] Athie L. Self and Scott A. DeLoach. \"Designing and Specifying Mobility\r\nwithin the Multiagent Systems Engineering methodology \" Special\r\nTrack on Agents, Interactions, Mobility, and Systems (AIMS) at the 18th\r\nACM Symposium on Applied Computing (SAC 2003). Melbourne,\r\nFlorida, USA, 2003.\r\n[18] Tommy Thorn, \"Programming languages for mobile code\". Rapport de\r\nrecherche INRIA, N \u252c\u2591 3134, Mars, 1997.\r\n[19] R. Valk. \"Petri Nets as Token Objects: An Introduction to Elementary\r\nObject Nets\". Applications and Theory of Petri Nets 1998, LNCS\r\nvol.1420, pp.1-25, Springer-Verlag, 1998.\r\n[20] F. Rosa Velardo, O. Marroqn Alonso and D. Frutos Escrig. \"Mobile\r\nSynchronizing Petri Nets: a choreographic approach for coordination in\r\nUbiquitous Systems\". In 1st Int. Workshop on Methods and Tools for\r\nCoordinating Concurrent, Distributed and Mobile Systems,\r\nMTCoord-05. ENTCS, No 150.\r\n[21] Fernando Rosa-Velardo. \"Coding Mobile Synchronizing Petri Nets into\r\nRewriting Logic\", this paper is electronically published in Electronic\r\nNotes in Theoretical Computer science URL:\r\nwww.elsevier.nl\/locate\/entcs.\r\n[22] Sutandiyo, W., Chhetri, M, B., Loke, S,W., and Krishnaswamy, S.\r\n\"mGaia: Extending the Gaia Methodology to Model Mobile Agent\r\nSystems\", Accepted for publication as a poster in the Sixth International\r\nConference on Enterprise Information Systems (ICEIS 2004), Porto,\r\nPortugal, April 14-17.\r\n[23] D.J. Wetherall, J. Guttag, and D.L. Tennenhouse, \"ANTS: A Toolkit for\r\nBuilding and Dynamically Deploying Network Protocols\" Technical\r\nReport, MIT, 1997, in Proc. OPENARCH-98.","publisher":"World Academy of Science, Engineering and Technology","index":"Open Science Index 7, 2007"}