Formal infrastructure for modelling intelligent agents with agent UML and Petri nets. Bagic, M In Meersman, R, Tari, Z, Corsaro, A, Herrero, P, Perez, M S, Radenkovic, M, Robles, V, Santoro, C, Albani, A, Turowski, K, Jarrar, M, Gangemi, A, Duval, E, Spyns, P, & Palinginis, A, editors, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, volume 3292, of LECTURE NOTES IN COMPUTER SCIENCE, pages 842–853, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, 2004. RMIT Univ, Sch Comp Sci & Informat Technol; Vrije Univ Brussel, Dept Comp Sci, SPRINGER-VERLAG BERLIN.
abstract   bibtex   
The complexity of today's software systems demands specific approach to software development. While Unified Modelling Language (UML) has become standard notation for analysis and design of software systems, and its extension Agent UML (AUML) is yet to become a standard, current (A)UML specifications have many limitations because they are initially intended to be general-purpose and suitable for many different kinds of applications. On the other hand, Petri nets are a formal concept suitable for simulation, validation and verification of software system execution. This thesis is focused on analysing the current AUML specifications and the concepts of Petri nets in order to find connecting points between them and to propose the means for extending AUML with Petri nets. In order to practically examine the possibilities for extending AUML with the concept of Petri nets this thesis applied the proposed methodology for extending AUML with Petri nets to development of multi-agent system and uses AUML as a main modelling tool for multi-agent system specification and design, and Petri nets as a formal verification and validation tool before actual implementation.
@inproceedings{WOS:000225021000098,
abstract = {The complexity of today's software systems demands specific approach to
software development. While Unified Modelling Language (UML) has become
standard notation for analysis and design of software systems, and its
extension Agent UML (AUML) is yet to become a standard, current (A)UML
specifications have many limitations because they are initially intended
to be general-purpose and suitable for many different kinds of
applications. On the other hand, Petri nets are a formal concept
suitable for simulation, validation and verification of software system
execution. This thesis is focused on analysing the current AUML
specifications and the concepts of Petri nets in order to find
connecting points between them and to propose the means for extending
AUML with Petri nets. In order to practically examine the possibilities
for extending AUML with the concept of Petri nets this thesis applied
the proposed methodology for extending AUML with Petri nets to
development of multi-agent system and uses AUML as a main modelling tool
for multi-agent system specification and design, and Petri nets as a
formal verification and validation tool before actual implementation.},
address = {HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY},
author = {Bagic, M},
booktitle = {ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS},
editor = {Meersman, R and Tari, Z and Corsaro, A and Herrero, P and Perez, M S and Radenkovic, M and Robles, V and Santoro, C and Albani, A and Turowski, K and Jarrar, M and Gangemi, A and Duval, E and Spyns, P and Palinginis, A},
isbn = {3-540-23664-3},
issn = {0302-9743},
organization = {RMIT Univ, Sch Comp Sci \& Informat Technol; Vrije Univ Brussel, Dept Comp Sci},
pages = {842--853},
publisher = {SPRINGER-VERLAG BERLIN},
series = {LECTURE NOTES IN COMPUTER SCIENCE},
title = {{Formal infrastructure for modelling intelligent agents with agent UML and Petri nets}},
type = {Article; Proceedings Paper},
volume = {3292},
year = {2004}
}

Downloads: 0