Coloured Reconfigurable Nets for Code Mobility Modeling
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.
[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.
[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.
@article{"International Journal of Information, Control and Computer Sciences:64948", author = "Kahloul Laid and Chaoui Allaoua", title = "Coloured Reconfigurable Nets for Code Mobility Modeling", 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.", volume = "1", number = "7", pages = "2285-6", }
