The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Specifying agents with UML in robotic soccer
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Spatial Agents Implemented in a Logical Expressible Language
RoboCup-99: Robot Soccer World Cup III
Specifying agents with UML in robotic soccer
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
A knowledge hierarchy model for adaptive multi-agent systems
International Journal of Computer Applications in Technology
Model Checking Hybrid Multiagent Systems for the RoboCup
RoboCup 2007: Robot Soccer World Cup XI
Environment support for developing and configuring adaptive agents
Multiagent and Grid Systems - Engineering Environments in Multiagent Systems
Hybrid multiagent systems with timed synchronization: specification and model checking
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Towards timed automata and multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Hi-index | 0.00 |
Multiagent systems are a promising new paradigm in computing, which are contributing to various fields. Many theories and technologies have been developed in order to design and specify multiagent systems, however, no standard procedure is used at present. Industrial applications often have a complex structure and need plenty of working resources. They require a standard specification method as well. As the standard method to design and specify software systems, we believe that one of the key words is simplicity for their wide acceptance. In this paper, we propose a method to specify multiagent systems, namely with UML statecharts. We use them for specifying almost all aspects of multiagent systems, because we think that it is an advantage to keep everything in one type of diagram.We apply our method to different domains, namely to robotic soccer and a network application. This approach enables not only standardized design of multiagent systems, but also almost automatic translation of the specification into a running implementation (here: into Prolog). Moreover, the verification or formal analysis is feasible, because of the rigidly formal manner of the system specification. We concentrate on the formal specification of multiagent systems in general and its application to robotic soccer, which is already implemented, and to networking. The application to different domains---with homogeneous or heterogeneous agents---corroborates the generality of the proposed approach.