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
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
An Behavior-based Robotics
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
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System 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
STeP: The Stanford Temporal Prover
STeP: The Stanford Temporal Prover
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
A metamodel for agents, roles, and groups
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
Agent-environment interaction in a multi-agent system: a formal model
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Agent-Systems and Formal Languages
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
An agent construction model for ubiquitous computing devices
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A novel approach to programming: agent based software engineering
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Engineering coordination: selection of coordination mechanisms
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Formal modeling of robot behavior with learning
Neural Computation
Hi-index | 0.01 |
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent system designers have been unable to fully exploit these models commonalities and specialise or reuse them for specific problems. In order to fully exploit these models and facilitate their reuse we propose a formal approach based upon organisational concepts. The formal notation is the result of the composition of Object-Z and statecharts. The semantics of this multi-formalisms is defined by transition systems. This operational semantics enables validation and verification of specifications. We present this approach through the specification of the satisfaction-altruism model which has been used to design situated multi-agent systems. We put the emphasis on the specification of a mobile robot architecture based on the refinement of this model. The availability of such generic models is a fundamental basis for reuse. We also show how to analyse the specification by validation and verification.