Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets

• Autorzy: Farwer B. , Köhler M.
• Języki publikacji: EN

Abstrakty

EN

While it often makes sense to use pointer-based semantics (sometimes called reference semantics) to model components of a system that are in close proximity, this kind of modelling becomes increasingly infeasible for distant components. The notion of distance here is to be seen relative with respect to the system being modelled. We use local and global name spaces to model the necessary paradigm shift for systems of communicating mobile agents. As a concrete example of modelling that requires discrimination of notions of proximity or distance, we study a scenario of mobile devices with wireless communications capabilities. The communication can be done directly between two agents or via a system of wireless network routers. To model such a system, we introduce object Petri nets that integrate both semantic paradigms found in the literature, i.e. reference semantics and value semantics. Formal definitions are given and some basic properties are proved.

Słowa kluczowe

EN

object net; modelling patterns for mobility

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 72, nr 1-3
• Strony: 109--122
• Opis fizyczny: bibliogr. 14 poz.

Twórcy

autor

Farwer B.

autor

Köhler M.

• University of Hamburg, Department of Computer Science, Vogt-Kölln-str. 30, D-22527 Hamburg,

Bibliografia

• [1] Bednarczyk,M. A., Bernardinello, L., Pawlowski,W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (WADT 2004) (J. L. Fiadeiro, P. D. Mosses, F. Orejas, Eds.), Lecture Notes in Computer Science, Springer-Verlag, 2004.
• [2] Busi, N.: Mobile nets, Formal Methods for Open Object-Based Distributed Systems, 1999, 51-66.
• [3] Cardelli, L., Gordon, A. D., Ghelli, G.: Mobility types for mobile ambients, Proceedings of the Conference on Automata, Languages, and Programming (ICALP'99), 1644, Springer-Verlag, 1999.
• [4] Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents using Nets within Nets, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
• [5] Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
• [6] Köhler, M., Rölke, H.: Properties of Object Petri Nets, International Conference on Application and Theory of Petri Nets 2004 (J. Cortadella,W. Reisig, Eds.), 3099, Springer-Verlag, 2004.
• [7] Köhler, M., Rölke, H.: Reference and Value Semantics are equivalent for Ordinary Object Petri Nets, International Conference on Application and Theory of Petri Nets 2005 (P. Darondeau, G. Ciardo, Eds.), 3536, Springer-Verlag, 2005.
• [8] Köhler, M., Rölke, H., Valk, R.: Structural Analysis of Mobile Agents using Invariants of Object Nets, International Workshop on Modelling with Objects, Components, and Agents (MOCA 2004), 2004.
• [9] Kummer, O.: Referenznetze, Logos Verlag, 2002.
• [10] Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
• [11] Valk, R.: Modelling Concurrency by Task/Flow EN Systems, 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, 1991.
• [12] Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets., Application and Theory of Petri Nets (J. Desel, M. Silva, Eds.), 1420, 1998.
• [13] Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.
• [14] Wienberg, A., Matthes, F., Boger, M.: Modeling Dynamic Software Components with UML, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings (R. France, B. Rumpe, Eds.), 1723, Springer-Verlag, 1999.