15,829 Hits in 2.5 sec

A formalism for hierarchical mobile agents

2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
One of the contributions can model not only individual mobile agents but also a group of mobile agents because the calculus allows more than one mobile agent to be dynamically organized into a single mobile  ...  The system also offers a security mechanism for mobile agents by using well-defined properties of the calculus. *  ...  The framework consists of a process calculus for reasoning mobile agents and a mobile agent system. The calculus can model many features of mobile agents that are incorporated with these notions.  ... 
doi:10.1109/pdse.2000.847863 dblp:conf/pdse/Satoh00 fatcat:diueinl6xzc2ncq6f5ijf57fvi

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation

Aissam Belghiat, Allaoua Chaoui
2016 International Journal of Intelligent Information Technologies  
Mobile UML (M-UML) has been proposed as an extension of UML to model mobile agent-based software systems.  ...  Then, a twofold graph grammar is developed for the automatic mapping of mo-bile statechart diagrams into flowgraphs and in the same time generates the cor-responding π-calculus specification.  ...  INTRoDUCTIoN Modeling and verification of mobile agent-based software systems is a difficult task.  ... 
doi:10.4018/ijiit.2016100101 fatcat:sgcqdajf3vhwdml4mwxx54pste

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi
2008 Multiagent and Grid Systems  
Due to the dynamic nature of mobile agents, a graphical program based on the mathematics of the calculus would enhance the use of the calculus and its attraction to the mobile agents industry.  ...  This paper presents ACVisualizer, a visualization software for APi-calculus, which provides such high level support for modeling mobile agent systems.  ...  Many mobile agent applications require a level of intelligence to be inherent in the mobile agents.  ... 
doi:10.3233/mgs-2008-4303 fatcat:huyrwoi7pbgt5kbd4cnnxr6mva

Formal Specification and Verification of Mobile Agent Systems

Laid Kahloul, Messaouda Grira
2014 International Journal of Computers Communications & Control  
This paper presents a formal specification and verification of mobile agent systems using the High Order π-calculus. The verification exploits the two tools UPPAAL and SPIN.  ...  Mobile agent systems offer efficiency and flexibility as a design paradigm. These two characteristics allow to these systems to be an adequate solution for many problems.  ...  A mobile agent is composed of his corresponding code, as well as of a context including some data.  ... 
doi:10.15837/ijccc.2014.3.116 fatcat:aqqpytcf55a2lpmtgauhvg3jbe

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

Nobuko Yoshida
2006 Electronical Notes in Theoretical Computer Science  
This paper sketches an idea on how to challenge the three security issues concentrating on code mobility, by the development of a general theory of types of the π-calculus and the higher-order π-calculus  ...  We use the HOπ-calculus for a design of new explicit code mobility primitives as well as a representation of runtime of distributed objects.  ...  Security Issues on Mobile Computation Let us assume a simple e-commerce mobile agent, acting as a customer, which moves through different sites on the Internet in order to perform commercial transactions  ... 
doi:10.1016/j.entcs.2005.12.115 fatcat:nuyji5iylbgeli36wjrmm6g35a

An automata based verification environment for mobile processes [chapter]

G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
1997 Lecture Notes in Computer Science  
equivalent ~-calculus agents.  ...  The environment takes a direct advantage of a general theory which allows to associate ordinary finite state automata to a wide class of ucalculus agents, so that equivalent automata are associated to  ...  the name of ~-automata, as a convenient structure to describe in a compact way the operational behaviours of ~r-calculus agents.  ... 
doi:10.1007/bfb0035394 fatcat:rtvz7l5qm5h35hxzrlzbigxx7u

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus [chapter]

Radu Mateescu, Gwen Salaün
2013 Lecture Notes in Computer Science  
We are grateful to Hubert Garavel for his valuable feedback about the applied π-calculus and the connection of Pic2Lnt 2.0 to Cadp.  ...  Then, we model channel mobility between π-calculus agents by communicating Chan values along Lnt channels.  ...  The specification (Main agent) given below consists of five agents: a client, the load balancer, and three servers.  ... 
doi:10.1007/978-3-642-36742-7_14 fatcat:ftysmzgkybglpmaf5lg2ffl624

The Pi Calculus and its Applications [chapter]

Robin Milner
1997 IFIP Advances in Information and Communication Technology  
The pi calculus (MPW92, Mil93] was defined by Milner, Parrow and Walker as a "Calculus of Mobile Processes", extending work by Engberg and Nielsen (EN86].  ...  In particular, I shall show how properties like "each mobile agent (ambulance? .. ) will never be connected to more than one transmitter station at a time" are statically checkable types.  ...  The pi calculus (MPW92, Mil93] was defined by Milner, Parrow and Walker as a "Calculus of Mobile Processes", extending work by Engberg and Nielsen (EN86] .  ... 
doi:10.1007/978-0-387-35261-9_1 fatcat:h3deq3grpzh6bauvcbu77qye6q

Mobile Processes: A Commented Bibliography [chapter]

Silvano Dal Zilio
2001 Lecture Notes in Computer Science  
We propose a short bibliographic survey of calculi for mobile processes.  ...  as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon.  ...  Luca Cardelli and Andy Gordon commented on a previous version of this text.  ... 
doi:10.1007/3-540-45510-8_11 fatcat:ksp2ci37rbc5jbwokvcs2ugspq

Mobile Agents in Interaction Spaces

Frédéric Peschanski
2006 Electronical Notes in Theoretical Computer Science  
It also refines and implements the channel passing feature of the pi-calculus, together with the mobility of agent themselves.  ...  Above interaction spaces, we propose a full-fledged agent calculus and its associated operational semantics.  ...  Acknowledgments We would like to thank Reynald Affeldt for providing the geometrical metaphor of interaction spaces (and also for the figures accompanying the paper).  ... 
doi:10.1016/j.entcs.2005.12.033 fatcat:vxmaxwrsmfbrbfzyj5uue3efwu

Translating Pi-Calculus into LOTOS NT [chapter]

Radu Mateescu, Gwen Salaün
2010 Lecture Notes in Computer Science  
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processes takes place along a  ...  Our translation is succinct in the size of the π-calculus specification and preserves the semantics of the language by ensuring a one-to-one correspondence between the states and transitions of the labeled  ...  Instead, we represent π-calculus channel names as values of a Lotos NT data type Chan, and we model channel mobility between π-calculus agents by communicating values of this type along gates between the  ... 
doi:10.1007/978-3-642-16265-7_17 fatcat:c6oa73g44bavvcpj6djezqko54

Mobile ambients [chapter]

Luca Cardelli, Andrew D. Gordon
1998 Lecture Notes in Computer Science  
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. * Current affiliation: Microsoft Research.  ...  Stuart Wray suggested an improved definition of external choice. Gordon held a Royal Society University Research Fellowship for most of the time we worked on this paper.  ...  We aim to describe all these aspects of mobility within a single framework that encompasses mobile agents, the ambients where agents interact and the mobility of the ambients themselves.  ... 
doi:10.1007/bfb0053547 fatcat:63gnwciktzccnbrncna2vo3mwe

Typing Mobility in the Seal Calculus [chapter]

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
2001 Lecture Notes in Computer Science  
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for agents.  ...  To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential features while preserving the distinctive characteristics of the Seal model.  ...  a calculus without agent mobility in [17] .  ... 
doi:10.1007/3-540-44685-0_7 fatcat:za7wxqiw5jdxznpup6exrnf6fu

A generic mobile agent framework for ambient intelligence

Yung-Chuan Lee, Elham S. Khorasani, Shahram Rahimi, Bidyut Gupta
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
The openness of the presented architecture allows it to support a variety of devices ranged from small-embedded sensors to complex computing facilities.  ...  Compared to the existing state-of-the-art approaches, this framework creates a more decentralized and distributed AmI environment.  ...  π-Calculus Overview Since the proposed system is modeled in π-Calculus, this section provides a brief overview to the main entities of π-Calculus.  ... 
doi:10.1145/1363686.1364137 dblp:conf/sac/LeeKRG08 fatcat:a6ixrxhsbfbmvgy32p3zrybnya

Mob: A Scripting Language for Mobile Agents Based on a Process Calculus [chapter]

Hervé Paulino, Luís Lopes, Fernando Silva
2003 Lecture Notes in Computer Science  
In this paper we present Mob, a scripting language for Internet agents encoded on top of a process calculus and with provably sound semantics.  ...  Mobile agents are the latest software technology to program flexible and efficient distributed applications. Most current systems implement semantics that are hard if not impossible to prove correct.  ...  Mob also differs from other mobile agent frameworks in the fact that it is compiled into a process-calculus core language, and its semantics can be formally proved correct relative to the base calculus  ... 
doi:10.1007/3-540-45068-8_6 fatcat:x2qkcbvowzdpzanmtgr3zgcxgy
« Previous Showing results 1 — 15 out of 15,829 results