The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
An Object-Based Approach to the B Formal Method
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
UML Class Diagrams Revisited in the Context of Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Formalisms for multi-agent systems
The Knowledge Engineering Review
A metamodel for agents, roles, and groups
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Hi-index | 0.00 |
This paper is within the scope of methodical approaches for producing flexible and reliable formal specifications of interactions protocols between agents in a multiagent system. The basic idea behind it is to define the agents as an abstract machines described by their behavior. Such machines are able to create agents, interact with other agents of a same working group via roles usin precise communication protocols. Our goal is to model the interaction between agents with a formal method that is able to check and then prove our initial UML specification. In order to obtain the final specification with this approach, we chose to use the B method and illustrated it with a case study.