Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing certified programs in the system Coq: the program tactic
TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
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
STeP: The Stanford Temporal Prover
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
A Meta-Method for Formal Method Integration
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
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
Real-Time Object-Oriented Modeling (ROOM)
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
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
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
A mechanism for dynamic role playing
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Formal specification of an immune based agent architecture
Engineering Applications of Artificial Intelligence
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
An approach for the integration of swarm intelligence in MAS: An engineering perspective
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software applications, they are still difficult to engineer. A common point of MAS engineering methodologies is the production of different work products or models during the different phases. Each work product or model helps to progress towards an implementation of the system under development. Nevertheless, there are very few ways to ensure that the work products and models produced are validated against the requirements. The aim of this paper is to present a formal driven prototyping approach for MAS. This process provides a support for incremental specification leading to an executable model of the system being built. Indeed, this process is based upon a formal organisational framework which uses a formal notation, namely OZS. The process is illustrated through the specification of a multiagent architecture.