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
Bringing design to software
Why interaction is more powerful than algorithms
Communications of the ACM
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
Object-Oriented Programming in Eiffel: 2nd Ed.
Object-Oriented Programming in Eiffel: 2nd Ed.
Active Sensors for Local Planning in Mobile Robotics
Active Sensors for Local Planning in Mobile Robotics
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Interaction Design
Understanding Computers and Cognition: A New Foundation for Design
Understanding Computers and Cognition: A New Foundation for Design
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
Context-Awareness in mobile web services
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
CRL: a context-aware request language for mobile computing
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
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
Supporting decision making process with "ideal" software agents - What do business executives want?
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
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