Contextual information management using contract: based workflow

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

[1]  Flávio Morais de Assis Silva,et al.  A Distributed Transaction Model based on Mobile Agents , 1997, Mobile Agents.

[2]  Tony Clark,et al.  Object Modeling with the OCL , 2002, Lecture Notes in Computer Science.

[3]  E. V. Krishnamurthy,et al.  Parallel processing - principles and practice , 1989, International computer science series.

[4]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[5]  Patrick Brézillon,et al.  Context Dynamic and Explanation in Contextual Graphs , 2003, CONTEXT.

[6]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

[7]  Louise Barkhuus.  How to Define the Communication Situation: Determining Context Cues in Mobile Telephony , 2003, CONTEXT.

[8]  Yoseph Bar-Cohen,et al.  Biologically inspired intelligent robots , 2003, SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring.

[9]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[10]  Sasan Rahmatian.  Transaction Processing Systems , 2002, Encyclopedia of Information Systems.

[11]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[12]  Peter Y. H. Wong,et al.  CRL: A Context-Aware Request Language for Mobile Computing , 2004, ISPA.

[13]  Antonio Liotta,et al.  JavaSpace: When Agents Meet Peers , 2004, MATA.

[14]  R. Kramer.  iContract - The Java(tm) Design by Contract(tm) Tool , 1998 .

[15]  Manolis Koubarakis,et al.  Multi-agent Systems and Peer-to-Peer Computing: Methods, Systems, and Challenges , 2003, CIA.

[16]  Michael Wooldridge,et al.  Model Checking for ACL Compliance Verification , 2003, Workshop on Agent Communication Languages.

[17]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[18]  E. Coiera.  Interaction Design , 2002 .

[19]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[20]  Koen De Bosschere,et al.  Towards an Extensible Context Ontology for Ambient Intelligence , 2004, EUSAI.

[21]  Dan Harkey,et al.  The Essential Distributed Objects Survival Guide , 1995 .

[22]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[23]  Pete Thomas,et al.  Object-oriented programming in Eiffel , 1995 .

[24]  Woontack Woo,et al.  Ubi-UCAM: A Unified Context-Aware Application Model , 2003, CONTEXT.

[25]  Fausto Giunchiglia,et al.  Local Relational Model: A Logical Formalization of Database Coordination , 2003, CONTEXT.

[26]  Wen Gao,et al.  Context-Based Classification for Link Data , 2004, ICWL.

[27]  Francesca Toni,et al.  Ambient Intelligence Using KGP Agents , 2004, EUSAI.

[28]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[29]  Jérôme Gensel,et al.  Awareness on Mobile Groupware Systems , 2004, MATA.

[30]  Weijia Jia,et al.  Context-Awareness in Mobile Web Services , 2004, ISPA.

[31]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[32]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[33]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[34]  D J Evans,et al.  Parallel processing , 1986 .

[35]  Terry Winograd,et al.  Bringing Design to Software , 1996 .

[36]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[37]  Penny Probert Smith,et al.  Active Sensors for Local Planning in Mobile Robotics , 2001, World Scientific Series in Robotics and Intelligent Systems.

[38]  Mahadev Satyanarayanan.  Challenges in Implementing a Context-Aware System , 2002 .

[39]  Jean-Marc Jézéquel,et al.  Design Patterns and Contracts , 1999 .

[40]  Mark Weiser.  The computer for the 21st century , 1991 .

[41]  Shane Sendall,et al.  Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML , 2001, UML.

[42]  Marcela D. Rodríguez,et al.  Context-Aware Mobile Communication in Hospitals , 2003, Computer.

[43]  Riku Suomela,et al.  Open-Source Game Development with the Multi-user Publishing Environment (MUPE) Application Platform , 2004, ICEC.

[44]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[45]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[46]  Umeshwar Dayal,et al.  Multi-Agent Cooperative Transactions for E-Commerce , 2000, CoopIS.

[47]  Pierre Baldi,et al.  Modeling the Internet and the Web: Probabilistic Method and Algorithms , 2002 .