Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

In the Ambient Intelligent Computing Environment (AmI) consisting of peers (clients, servers or agents or other intelligent devices), context-awareness plays an important role to offer intelligent services for various applications, e.g., medical services, robotics, travel planning, security monitoring, and multi-player gaming. Accordingly, context management turns out to be an important issue in manipulating, acquiring information and reacting to the situation. In this paper, we describe a contract-based workflow paradigm to provide transparency and reliability of interactions among the devices and people in the AmI. This paradigm provides for software contract that captures mutual obligations using program constructs such as "require [else]" for precondition and "ensure [then]" for post condition, assertions, invariants needed in the AmI. Such program constructs are essential to deal with the uncertain nature of connectivity of ubiquitous devices and networks, and the trial-error (subjunctive) nature of the processes and the programs used in interactions among devices and people in an unpredictable environment

REFERENCES

• 1: Ronald C. Arkin, An Behavior-based Robotics, MIT Press, Cambridge, MA, 1998
• 2: Bacon, J. Concurrent Systems, Addison Wesley, Reading, Mass., 1993.
• 3: Baldi ,P. Modeling the Internet and the Web, Wiley, New York, 2003.
• 4: Ballette,M. et al., Javaspace:When agents Meet Peers, Mobility Aware Technologies and Applications, Lecture Notes in Computer Science, Vol,3284, Springer Verlag, New York, 2004, 349--358.
• 5: Yoseph Bar-Cohen , Cynthia Breazeat, Biologically-Inspired Intelligent Robots, SPIE- International Society for Optical Engineering, 2003
• 6: Barkhuus, L., How to define the communication situation: Determining Context cues in Mobile Telephony, Lecture Notes in Artificial Intelligence, Vol.2680,2003,.411--418.
• 7: Brezillon, P., Context dynamic and explanation of contextual graphs, CONTEXT 2003, Lecture Notes in Artificial Intelligence,Vol.2680, Springer Verlag, New York, 2003, 94--106.
• 8: Calhau,F et al., Agent Technology extended with Mobile Devices, Mobility Aware technologies and Applications, Lecture Notes in Computer Science, Vol. 3284, Springer Verlag, New York,2004, 118--126.
• 9: Chan, Alvin T.S et al., CRL:A Context Aware Request language for mobile computing, Parallel and Distributed Processing and Applications, Lecture notes in Computer Science,Vol.3358., Springer Verlag, New York 2004, 529--533.
• 10: Qiming Chen , Umeshwar Dayal, Multi-Agent Cooperative Transactions for E-Commerce, Proceedings of the 7th International Conference on Cooperative Information Systems, p.311-322, September 06-08, 2000
• 11: Clark,A and Warmer, J., Object Modeling with the OCL, Lecture Notes in Computer Science, Vol. 2263, Springer Verlag, New York, 2002.
• 12: Fang F.Y et al, A Petri-net coordination Model for an Intelligent Mobile-robot, IEEE Transactions on Systems, Man and Cybernetics, 21,1991,777--789.
• 13: Gogolla, M and Kobryn, C., <<UML>> 2001, Lecture Notes in Computer Science, Vol.2185, New York: Springer Verlag, New York, 2001.
• 14: Han, B et al, Context-awareness in Mobile web-services, Parallel and Distributed Processing and Applications, Lecture Notes in Computer Science, Vol. 3358, Springer Verlag, New York, 2004, 519--528.
• 15: Huget, M.-P and Woolridge,M., Model Checking for ACL Compliance Verification, ACL 2003, Lecture Notes in Artificial Intelligence, Vol.2922, Springer Verlag, New York, 2004, 75--90.
• 16: Jang, S and Woo, W., Ubi-UCAM,A unified Context aware application Model, Lecture Notes in Artificial Intelligence, Vol.2680, Springer Verlag, New York, 2003, 178--189.
• 17: Jezequel, M. Train, M., and Mingins, C., Design Patterns and contracts, Addison Wesley, Reading, Mass., 2000.
• 18: Kaenampornpan, M., and O'Neill, E, Modeling Context: An activity theory approach, Ambient intelligence Lecture notes in Computer science, Vol. 3295, Springer Verlag, New York, 2004, 367--374.
• 19: Karmouch, A et al., Context-Aware Research challenges in ambient networks, Mobility Aware technologies and Applications, Lecture notes in Computer Science, Vol.3284, Springer Verlag, New York, 2004, 62--77.
• 20: Kirsch-Pinheiro, M, et al., Awareness on Mobile Groupware systems, Mobility Aware technologies and Applications, Lecture Notes in Computer Science, Vol.3284, Springer Verlag, New York, 2004, 78--87.
• 21: Koubarakis, M., Multi Agent systems and peer-to peer computing, in Cooperative information agents VII, Lecture Notes in Computer science, Vol.2782, 2003, 46--62.
• 22: R. Kramer, iContract - The Java(tm) Design by Contract(tm) Tool, Proceedings of the Technology of Object-Oriented Languages and Systems, p.295, August 03-07, 1998
• 23: E. V. Krishnamurthy, Parallel processing: principles and practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 24: E. V. Krishnamurthy , V. K. Murthy, Transaction processing systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 25: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 26: Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992 [doi>10.1109/2.161279]
• 27: Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999
• 28: Miguel A. Muñoz , Marcela Rodríguez , Jesus Favela , Ana I. Martinez-Garcia , Victor M. González, Context-Aware Mobile Communication in Hospitals, Computer, v.36 n.9, p.38-46, September 2003 [doi>10.1109/MC.2003.1231193]
• 29: Robert Orfali , Dan Harkey , Jeri Edwards, The essential distributed objects survival guide, John Wiley & Sons, Inc., New York, NY, 1995
• 30: Jenny Preece , Yvonne Rogers , Helen Sharp, Interaction Design, John Wiley & Sons, Inc., New York, NY, 2002
• 31: Preuveneers, D et al., Towards an extensible context ontology for ambient intelligence, Ambient intelligence, Lecture notes in Computer science, Vol. 3295, Springer Verlag, New York, 2004, 148--159.
• 32: M. Satyanarayanan, Challenges in Implementing a Context-Aware System, IEEE Pervasive Computing, v.1 n.3, p.2, July 2002
• 33: Shane Sendall , Alfred Strohmeier, Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, p.391-405, October 01-05, 2001
• 34: Serafini, L., et al., Local relational model: A logical formalizaton of database coordination, in CONTEXT, Lecture Notes in Artificial Intelligence, Vol. 2680, 2003, pp.286--299.
• 35: Flávio M. Assis Silva , Sven Krause, A Distributed Transaction Model based on Mobile Agents, Proceedings of the First International Workshop on Mobile Agents, p.198-209, April 07-08, 1997
• 36: Penny Probert Smith , Penelope Probert Smith, Active Sensors for Local Planning in Mobile Robotics, World Scientific Publishing Co., Inc., River Edge, NJ, 2001
• 37: Smith, R.G., The Contract net Protocol: High level communication and Control in a distributed Problem Solver, IEEE Transactions on Computers, Vol.C29, 1980, 1104--1113.
• 38: Stathis, K and Toni, F. Ambient intelligence Using KGP., Agents, Ambient Intelligence, Lecture notes in Computer Science, Vol.3295, Springer Verlag, New York, 2004, 351--362.
• 39: Sullo, G.C.,Object Engineering, John Wiley, New York, 1994.
• 40: Suomela et al., Open-source Game development with the Multi-user Publishing Environment (MUPE) Application Platforms, Lecture Notes in Computer science, ICEC, Vol.3166, 2004, 308--320.
• 41: Peter Thomas , Bertrand (Editor) Meyer , Ray Weedon , Bertrand Meyer, Object-Oriented Programming in Eiffel: 2nd Ed., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 42: Tian, Y., et al., Context-based Classification for Link data, ICWL 2004, Lecture Notes in Computer Science, Vol.3143, 2004, 233--240.
• 43: Helmut Wächter , Andreas Reuter, The ConTract model, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 44: Jos Warmer , Anneke Kleppe, The object constraint language: precise modeling with UML, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 45: Peter Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, v.40 n.5, p.80-91, May 1997 [doi>10.1145/253769.253801]
• 46: Weiser, M., The Computer in the 21st Century, Scientific American, 265, September 1991, 66--75.
• 47: Terry Winograd, Bringing design to software, ACM Press, New York, NY, 1996
• 48: Terry Winograd , Fernando Flores, Understanding Computers and Cognition: A New Foundation for Design, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 49: Woolridge, M., Reasoning about rational agents, M.I.T. Press, Cambridge, Mass., 2000.
• 50: Michael Woolridge , Michael J. Wooldridge, Introduction to Multiagent Systems, John Wiley & Sons, Inc., New York, NY, 2001

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Parallel programming

General Terms:
Design, Languages, Theory

Keywords:
agents, ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol