Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Transition network grammars for natural language analysis
Communications of the ACM
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Case studies for contract-based systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Electronic contracting in aircraft aftercare: a case study
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Towards a Monitoring Framework for Agent-Based Contract Systems
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Towards Verifying Contract Regulated Service Composition
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm-based behaviour modification in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A distributed architecture for norm management in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Graphical norms via conceptual graphs
Knowledge-Based Systems
Hi-index | 0.00 |
The contract project was a European Commission project whose aim was to develop frameworks, components and tools to model, build, verify and monitor distributed electronic business systems based on electronic contracts. In this context, an electronic contract provides a specification of the expected behaviours of individual services, with the assumption that these services are often enacted by autonomous agents. Using the theoretical tools created by the project, in this paper we describe the complete life cycle of instantiating an electronic contracting system using the contract framework within the aerospace aftercare domain. Thus, we use a natural language description of parts of the types of contracts used in this domain to generate individual norms amenable to a computational representation, and how these norms are used to generate a concrete contract monitor. Moreover, we describe a concrete implementation of contract agents in the AgentSpeak(L) language and how these agents interact within a concrete instantiation of contract.