A dynamic connection capability for pervasive adaptive environments using JCSP

The house, office or warehouse environment is full of devices that make users’ life and work easier. People nowadays use personal computers, laptops, Personal Digital Assistants, mobile phones and many more devices with ease. The mechanism to connect, enable co-operation and exchange data between devices will help to use devices’ full capabilities. This paper investigates the usability of Communicating Sequential Processes for Java in pervasive systems and the adaptation possibilities offered by this environment. It focuses on dynamic connection capabilities. The paper also describes an experiment that organizes an adapting pervasive environment which uses dynamic connections for data flo

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  Imed Romdhani,et al.  Mobility in JCSP: New Mobile Channel and Mobile Process Models , 2007, CPA.

[3]  Tim Kindberg,et al.  Distributed Systems: Concepts and Design (4th Edition) (International Computer Science) , 2005 .

[4]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[5]  Gul Agha,et al.  Concurrent Programming Using Actors: Exploiting large-Scale Parallelism , 1985, Foundations of Software Technology and Theoretical Computer Science.

[6]  Harold Ossher,et al.  Using multidimensional separation of concerns to (re)shape evolving software , 2001, CACM.

[7]  Jon M. Kerridge,et al.  Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View , 2006, CPA.

[8]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[9]  J. V. Rauff,et al.  Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence , 2005 .

[10]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[11]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[12]  Jadwiga Indulska,et al.  Infrastructure for Pervasive Computing: Challenges , 2001, GI Jahrestagung.

[13]  Preeti Bhargava,et al.  State of the art smart spaces: application models and software infrastructure , 2006, UBIQ.

[14]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[15]  ROBIN MILNER,et al.  Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .

[16]  B. Heile,et al.  Self-organizing, self-healing wireless networks , 2000, 2000 IEEE International Conference on Personal Wireless Communications. Conference Proceedings (Cat. No.00TH8488).

[17]  Kevin Chalmers,et al.  Investigating communicating sequential processes for Java to support ubiquitous computing , 2009 .

[18]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

[19]  Fiona A. C. Polack,et al.  Communicating complex systems , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

[20]  Jon M. Kerridge,et al.  Mobile Agents and Processes using Communicating Process Architectures , 2008, CPA.

[21]  Carl Hewitt,et al.  Concurrent Programming Using Actors: Exploiting large-Scale Parallelism , 1985, FSTTCS.

[22]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[23]  Abdelsalam Helal,et al.  Konark - a service discovery and delivery protocol for ad-hoc networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[24]  Jon M. Kerridge,et al.  JCSPre: the Robot Edition to Control LEGO NXT Robots , 2008, CPA.

[25]  Gerd Kortuem,et al.  Adaptation as an aspect in pervasive computing , 2004 .

[26]  Dharma P. Agrawal,et al.  Jini Home Networking: A Step toward Pervasive Computing , 2002, Computer.

[27]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[28]  Randy H. Katz,et al.  Adaptation and mobility in wireless information systems , 2002, IEEE Communications Magazine.

[29]  D. Walker,et al.  A Calculus of Mobile Processes, Part I , 1989 .

[30]  Imed Romdhani,et al.  A Critique of JCSP Networking , 2008, CPA.

[31]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.