Parallel processing: principles and practice
Parallel processing: principles and practice
Eiffel: the language
Transaction processing systems
Transaction processing systems
Database transaction models for advanced applications
The essential distributed objects survival guide
The essential distributed objects survival guide
Object-oriented programming in Eiffel
Object-oriented programming in Eiffel
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
An Behavior-based Robotics
Active Sensors for Local Planning in Mobile Robotics
Active Sensors for Local Planning in Mobile Robotics
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Challenges in Implementing a Context-Aware System
IEEE Pervasive Computing
Computer
Multi-Agent Cooperative Transactions for E-Commerce
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Distributed Transaction Model based on Mobile Agents
MA '97 Proceedings of the First International Workshop on Mobile Agents
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Biologically-Inspired Intelligent Robots
Biologically-Inspired Intelligent Robots
Context dynamic and explanation in contextual graphs
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Ubi-UCAM: a unified context-aware application model
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Local relational model: a logical formalization of database coordination
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
How to define the communication situation: determining context cues in mobile telephony
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Using computer modeling techniques to design tunnel greenhouse structures
Computers in Industry
Cooperating sensory agents for detecting temporal consistency among events
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
| Hi-index | 0.00 |
In the pervasive computing environment consisting of peers (a generic name for clients, servers or agents), context -awareness plays an important role to offer personalized 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 support long and short duration transactions in a context-aware pervasive computing environment. 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 pervasive computing environment. Such program constructs are 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, robotics and multi-player gaming.