Bibliography
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object
nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.
Abstract: 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.
BibTeX entry
@article{Koehler+06a,
author = {K{\"o}hler, Michael and Farwer, Berndt},
title = {Modelling Global and Local Name Spaces for
Mobile Agents Using Object Nets},
journal = "Fundamenta Informaticae",
volume = {72},
number = {1--3},
pages = {109--122},
year = 2006,
abstract = { 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.
\par
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.
\par
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.
}
}
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
