Bibliographie

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.

Abrégé: 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 enregistrement

@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.