Statecharts: A visual formalism for complex systems
Science of Computer Programming
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
IATA '98 Proceedings of the second international workshop on Intelligent agents for telecommunication applications
An application framework for intelligent and mobile agents
ACM Computing Surveys (CSUR)
Role Modeling for Agent System Analysis, Design, and Implementation
IEEE Concurrency
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
If Z Is the Answer, What Could the Question Possibly Be?
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Formalisms for multi-agent systems
The Knowledge Engineering Review
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Hi-index | 0.01 |
The work presented in this article is based upon a methodological approach for building Multi-Agent Systems specifications. The basic idea is to define such systems as a set of entities playing roles which have interactions between them. We present a mechanism for dynamic role-playing specification within a formal framework. The framework use a formalism which can express Multi-Agent Systems aspects. This formalism composes Object-Z and statecharts. The main features of this approach are: enough expressive power to obtain unbiased specifications, tools for specification analysis and refinement mechanisms allowing the refinement of a high level specification into a low level specification which can be easily implemented.