Academic
Publications
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing,10.1145/544741.544745,Toshiaki Arai,Frieder Stolzenburg

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing   (Citations: 22)
BibTex | RIS | RefWorks Download
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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...UML state charts combined with hybrid automata have been used by Stolzenburg et al. [9,10] to model higher level reactive behaviours...

    Tim Niemülleret al. A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao

    • ...[2]), including Agent UML [13], where UML statecharts for modeling agent behavior are also considered, but not in the main focus of interest, however...
    • ...Nevertheless, modeling and implementing multiagent systems is proposed in [2, 5]. Though this is based on UML statecharts, yet, we use hybrid automata with timed synchronization in addition, in order to construct those systems...

    Florian Ruhet al. Translating Cooperative Strategies for Robot Behavior

    • ...The paper presents an approach of a mapping from ERDF(S)[3,4,2] to Take [6] vocabulary...
    • ...This concept was introduced in [2] to denote a web application that typically runs in a web browser, and do not require software installation...
    • ...[2]), including Agent UML [13], where UML statecharts for modeling agent behavior are also considered, but not in the main focus of interest, however...
    • ...Nevertheless, modeling and implementing multiagent systems is proposed in [2, 5]. Though this is...

    Grzegorz J. Nalepaet al. Knowledge Engineering and Software Engineering (KESE2008)

    • ...They can directly be used as executable specifications for programming multiagent systems [1]...
    • ...Statecharts can be described in a rigorously formal manner [1,14], allowing flexible specification, implementation and 208 U. Furbach et al...

    Ulrich Furbachet al. Hybrid Multiagent Systems with Timed Synchronization - Specification a...

    • ...Statecharts can be described in a rigorously formal manner [7,8], allowing flexible specification, implementation and analysis of multiagent systems [1] which is required for robot behavior engineering and modeling and simulating complex robots...
    • ...For this, the interested reader is referred to [7,9]...

    Ulrich Furbachet al. Model Checking Hybrid Multiagent Systems for the RoboCup

Sort by: