The semantics of programming languages: an elementary introduction using structural operational semantics
Communication and cooperation in agent systems: a pragmatic theory
Communication and cooperation in agent systems: a pragmatic theory
KQML as an agent communication language
Software agents
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Issues in Agent Communication
Operational Semantics for Agent Communication Languages
Issues in Agent Communication
What Is a Conversation Policy?
Issues in Agent Communication
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
A formal specification language for agent conversations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A formal framework for interaction protocol engineering
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Hi-index | 0.00 |
This paper presents the rationale behind DIALOG: a formal framework for interaction protocol (IP) modeling that considers all the stages of a protocol engineering process, i.e. the design, specification, validation, implementation and management of IPs. DIALOG is organized into three views. 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. This improves IP publication, localization and communication on the Web, as well as IP machine learning by agents. Finally, the implementation view provides a formal structural operational semantics (SOS) for the ACSL language. The paper focuses on the developed SOS, and shows how this semantics allows protocol property verification and eases automatic rule-based code generation from an ACSL specification for the purpose of simulating IP code execution at design time, as well as improving and assuring correct IP compliance at run time.