Communicating sequential processes
Communicating sequential processes
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Algebraic Specification and Program Development by Stepwise Refinement
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Stepwise Refinement of Control Software - A Case Study Using RAISE
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
The CoMoMAS Methodology and Enironment for Multi-Agent System Development
Revised Papers from the Second Australian Workshop on Distributed Artificial Intelligence: Multi-Agent Systems: Methodologies and Applications
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Multi-Agent Applications using Temporal Z
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Towards a formal methodology for developing multi-agent applications using temporal Z
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Prometheus: a methodology for developing intelligent agents
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A Component-Based Architecture for Multi-Agent Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
From Formal Access Control Policies to Runtime Enforcement Aspects
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
| Hi-index | 0.00 |
This paper has two purposes. First, it defines a formal language for specifying multi-agent systems. This language is expressive enough to cover individual agent aspects (knowledge, goals, roles, ...) as well as collective aspects of in terms of coordination protocols, organization structure and planning activities. Second, it provides a formal design methodology based on stepwise refinements allowing to develop a design specification starting from an abstract requirements one.