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
On the development of reactive systems
Logics and models of concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Exploiting UML in the Design of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
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
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
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
On Observing and Constraining Active Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Formal Specification of M-Agent Architecture
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Engineering Societies in the Agents World VIII
Interactive Systems. Design, Specification, and Verification
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
Agent-Oriented Software Engineering IX
Specifying and verifying holonic agents with GDT4MAS
International Journal of Agent-Oriented Software Engineering
An organisational approach to engineer emergence within holarchies
International Journal of Agent-Oriented Software Engineering
Organizational structures supported by agent-oriented methodologies
Journal of Systems and Software
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Formal specification of holonic multi-agent systems framework
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A formal approach to model multiagent interactions using the b formal method
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
AgentZ: extending object-z for multi-agent systems specification
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
Modeling and simulation of tests for agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Holonic modeling of environments for situated multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Holonic multi-agent system for traffic signals control
Engineering Applications of Artificial Intelligence
Formal modeling of robot behavior with learning
Neural Computation
| Hi-index | 0.00 |
This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a few assumptions, the most important is that MAS must be described by an organizational model which semantics is given in term of a formal framework. This model allows for a simple description of both individual and collective multi-agent system aspects. The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study.