A formal framework for interaction protocol engineering

Authors:
Fernando Alonso;Sonia Frutos;Genoveva López;Javier Soriano
Affiliations:
Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain;Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain;Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain;Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain
Venue:
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Year:
2005

Citing 10
Cited 1

Formalising the contract net as a goal-directed system

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
KAoS: toward an industrial-strength open agent architecture

Software agents
Semantics and conversations for an agent communication language

Readings in agents
Representing agent interaction protocols in UML

First international workshop, AOSE 2000 on Agent-oriented software engineering
Issues in Agent Communication

Issues in Agent Communication
Operational Semantics for Agent Communication Languages

Issues in Agent Communication
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance

TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Interaction Protocols in Agentis

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems
A formal specification language for agent conversations

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems

Engineering agent conversations with the DIALOG framework

MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal framework devised to support interaction protocol (IP) engineering. The proposed framework is organized into three views that consider all the stages of a protocol engineering process, i.e. the design, specification, validation, implementation and management of IPs. The modeling view allows visual IP design. The specification view automatically outputs, from the design, the syntactic specification of the IPs in a declarative-type language called ACSL, which improves IP publication, localization and machine learning by agents. Finally, the implementation view provides a formal operational semantics for the ACSL language. This semantics allows protocol property verification and eases automatic code generation from the ACSL specification for the purpose of simulating code execution at design time, as well as improving and assuring correct IP compliance at run time.