In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and powerful because they do not model all necessary concepts of mobility adequately. The main contribution of the paper is, therefore, to identify and define the fundamental concepts of mobile systems by providing a precise, mathematical foundation. The model we present is an extended variant of existing, compositional network models for control and data flow of non-mobile systems, enriched by the concept of locations as places containing components. To model the migration of a component from one location to another, the containment relation may change dynamically over time. Based on this formal model, we define a number
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2678
|
Communicating Sequential Processes
– Hoare
- 1985
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
413
|
The chemical abstract machine
– Berry, Boudol
- 1992
|
|
410
|
A language with distributed scope
– Cardelli
- 1995
|
|
240
|
Software agents: An overview
– Nwana
- 1996
|
|
173
|
A calculus of mobile processes (parts
– Milner, Parrow, et al.
- 1992
|
|
170
|
Understanding Z - A Specification Language and its Formal Semantics. Cambridge Tracts in Computer Science 3
– Spivey
- 1988
|
|
130
|
Javelin: Internet-based parallel computing using Java. Concurrency: Practice and Experience 9
– Christiansen, Cappello, et al.
- 1997
|
|
120
|
Java in a nutshell. O'Reilly & Associates
– Flanagan
- 1996
|
|
118
|
The Design of Distributed Systems, An Introduction to FOCUS", Internal Report TU-Munich
– Dederichs, Fuchs, et al.
- 1992
|
|
108
|
An introduction to the TACOMA distributed system
– Johansen, Renesse, et al.
- 1995
|
|
103
|
The design and implementation of a mobile internetworking architecture
– Ioannidis, Maguire
- 1993
|
|
101
|
Sumatra: A language for resource-aware mobile programs
– Acharya, Ranganathan, et al.
- 1996
|
|
85
|
A calculus of mobile processes, parts I and II
– Milner, Parrow, et al.
- 1989
|
|
72
|
Recommendation Z.120 : Message Sequence Chart (MSC
– ITU-TS
- 1996
|
|
65
|
Efficient and Language-Independent Mobile Programs
– Adl-Tabatabai, Langdale, et al.
- 1996
|
|
61
|
Systematic Software Development Using VDM, Second Edition
– Jones
- 1990
|
|
58
|
Analyzing Mobile Code Languages
– Cugola, Ghezzi, et al.
- 1997
|
|
51
|
A calculus of communicating systems with label passing
– Engberg, Nielsen
- 1986
|
|
45
|
Java in a Nutshell
– Flanagan
- 1996
|
|
42
|
AutoFocus: A tool for distributed systems specification
– Huber, Schätz, et al.
|
|
40
|
Inside OLE 2
– Brockschmidt
- 1994
|
|
39
|
Java in a Nutshell. O'Reilly
– Flanagan
- 1996
|
|
39
|
Mobile agents white paper
– White
- 1996
|
|
37
|
Application-aware adaptation for mobile computing
– Satyanarayanan, Noble, et al.
- 1995
|
|
25
|
From RIG to Accent to Mach: The Evolution of a Network Operating System
– Rashid
- 1986
|
|
20
|
Asynchrony and the pi-calculus
– Boudol
- 1992
|
|
15
|
Equations for Describing Dynamic Nets of Communicating Systems
– Broy
- 1995
|
|
15
|
Autofocus – Ein Werkzeugkonzept zur Beschreibung verteilter Systeme
– Huber, Schatz, et al.
- 1996
|
|
14
|
Agent Tcl: Alpha Release 1.1
– Gray
- 1995
|
|
14
|
Semantics of finite and infinite networks of concurrent communicating agents
– Broy
- 1987
|
|
13
|
An introduction to mobile agent programming and the Ara system
– Peine
- 1997
|
|
12
|
Unified Modeling Language. Version 1.1
– Group
- 1997
|
|
11
|
Advanced component interface specification
– Broy
- 1995
|
|
10
|
A Formal Foundation for Concurrent Object Oriented Programming
– Grosu
- 1994
|
|
9
|
Focus on system development. Book manuscript
– Broy, Stølen
- 1997
|
|
9
|
Rapid Prototyping with AutoFocus
– Huber, Schätz
- 1997
|
|
3
|
Under the Hood: The architecture of aglets http://www.javaworld.com/javaworld/jw-04-1997/jw-04-hood.html
– Venners
- 1997
|
|
3
|
A Type-Based Implementation of a Language with Distributed Scope
– Duggan, Przybylski
- 1996
|
|
3
|
Javelin: Internet-Based Parallel Computing Using Java
– Neary, Wu
- 1997
|
|
2
|
Mobile agents white paper http:// www-iiuf.unifr.ch/˜chantem/whitewhite paper/whitepaper.html
– White
- 1996
|
|
1
|
Voyager home page, http://www. objectspace.com
– Objectspace
- 1998
|
|
1
|
Focus on system development." Book manuscript
– Broy, Stlen
- 1997
|
|
1
|
The Join-Calculus language documentation and user’s guide
– Fournet, Maranget
- 1997
|
