Contextual-Knowledge Management in Peer to Peer Computing

In the pervasive computing environment consisting of peers (clients/servers or agents) contextual knowledge is an important feature to be embedded. Here, the traditional transaction model needs to be replaced by a model called a “Workflow model” between several peers that interact, compete and cooperate. Eiffel, iContract tool of Java and UML are powerful languages to implement the Peer-Peer-Pervasive-Program. They provide for program constructs essential to deal with the uncertain nature of connectivity of pervasive devices and networks, and the trial-error (subjunctive) nature of the processes and the programs used in E-commerce and robotics.

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

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

[3]  Jos Warmer,et al.  The object constraint language , 1998 .

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

[5]  Andreas Abecker,et al.  Agent-Mediated Knowledge Management , 2004, Lecture Notes in Computer Science.

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

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

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

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

[10]  Jorge Louçã,et al.  Modeling Context-Aware Distributed Knowledge , 2003, AMKM.

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

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

[13]  Patrick Brézillon,et al.  Modeling and Using Context , 1999, Lecture Notes in Computer Science.

[14]  Frank Dignum.  Advances in Agent Communication , 2003, Lecture Notes in Computer Science.

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

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

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

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

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

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

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