Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Intention is choice with commitment
Artificial Intelligence
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
On observation as a coordination paradigm: an ontology and a formal framework
Proceedings of the 2001 ACM symposium on Applied computing
Communication and Concurrency
Handbook of Process Algebra
Operational Semantics for Agent Communication Languages
Issues in Agent Communication
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Hi-index | 0.00 |
This paper investigates the application of a formal framework for the observation issue in agent-based systems to the specification of the individual agent interactive behaviour. An abstract architecture is defined for agents that is based on the idea of viewing them as observable sources -- of knowledge, services, capabilities. In this model, only the agent portion that is directly involved in managing the interactions with the environment is explicitly represented, abstracting away from agent internal and hidden details while focussing on their observable effect.The applicability of the formal framework as a specification tool is put to test showing how different interactive behaviours can be modelled -- including reactive and proactive message sending, and notification capabilities.