The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Air traffic control and alert agent
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Model-checking CSP-Z: strategy, tool support and industrial application
Science of Computer Programming - Specical issue on fundamental approaches to software engineering
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
ROADMAP: extending the gaia methodology for complex open systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The tropos software development methodology: processes, models and diagrams
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Prometheus: a methodology for developing intelligent agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Neural Nets Trained by Genetic Algorithms for Collision Avoidance
Applied Intelligence
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
A Structure Preserving Encoding of Z in Isabelle/HOL
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Algebraic Specification and Program Development by Stepwise Refinement
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
A Scenario-Based Design Method and an Environment for the Development of Multiagent Systems
Proceedings of the First Australian Workshop on DAI: Distributed Artificial Intelligence: Architecture and Modelling
Analysis and Design of Multiagent Systems Using MAS-Common KADS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
ODAC: An Agent-Oriented Methodology Based on ODP
Autonomous Agents and Multi-Agent Systems
Role allocation and reallocation in multiagent teams: towards a practical analysis
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
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
Web Intelligence and Agent Systems
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
Specification and design of multi-agent applications using temporal z
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
On optimal cooperative conflict resolution for air traffic management systems
IEEE Transactions on Intelligent Transportation Systems
Using mobile agents to implement flexible network management strategies
Computer Communications
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
ForMAAD: towards a model driven approach for agent based application design
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
| Hi-index | 0.01 |
This paper has two purposes. First, it defines a formal language, for specifying agent-based applications, that integrates linear temporal logic to the Z notation. This integration offers a language that is expressive enough to cover both individual agent aspects (e.g., knowledge, goals and roles) as well as collective aspects (e.g., cooperation strategy, organization structure and collective behaviour). Second, it proposes a formal methodology for designing agent-based applications using stepwise refinements. The main contribution of our design process consists of a set of methodological principles and hints that help the user to build, in a systematic and incremental way, a verified design starting from abstract requirements. This approach will be illustrated by developing an agent-based solution for the air traffic control problem.