Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Toward Interaction-Oriented Programming
Toward Interaction-Oriented Programming
Requirement analysis for interaction protocols
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A dedicated approach for developing agent interaction protocols
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Engineering of requirements for a distributed teleteaching system: a conceptual graph-based approach
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
In this paper we focus on the analysis and design stages of the protocol engineering development cycle. We start by sketching an application framework dedicated to a web-based learning environment called Baghera whose aim is to teach geometry problems. We then apply our protocol engineering process to protocols for checking mathematicalproofs a student happens to build. The following section discusses the analysis stage of such a protocol. We then briefly introduce our component-based formal specification language in order to then describe the protocol's design stage. Finally we present a tool built upon the FIPA norm (making use of the PDN or UAML notation) which supports the analysis and design of interaction protocols.