A Monitoring Toolset for Paose
Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see ) with the expressive power of Petri nets - reference nets  to be more precise. While AOSE is a powerful approach when it comes to designing and developing distributed (agent) applications, it does not address the problems specific to debugging, monitoring, and testing of these applications, i.e. no global state of the system and very dynamic operating conditions. To tackle these problems, two tools have been developed in the context of Paose, which are presented in this work.
Firstly, this paper will give a short overview over the interrelated set of tools, which exists already and supports Petri net-based AOSE. The tools are centered around the Petri net-based multi-agent system development and runtime environment Renew / Mulan / Capa.
Secondly, Mulan-Viewer and Mulan-Sniffer will be presented in more detail – two tools to address the issues encountered during debugging, monitoring, and testing agent applications. Both tools are first class members of the aforementioned family. The first tool, Mulan-Viewer, deals with the introspection of agents and agent behaviors, while it also offers rudimentary features for controlling the agent-system. The Mulan-Sniffer as the second tool places emphasis on tracing, visualizing, and analyzing communication between all parts of the multi-agent application and offers interfaces for more advanced methods of analysis, such as process mining. Both Mulan-Viewer and Mulan-Sniffer are realized as Renew plugins that can also be extended by other plugins.
Keywordsreference nets Renew monitoring testing debugging inspection analysis multi-agent systems Paose
Unable to display preview. Download preview PDF.
- 2.Botía, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging mas through the analysis of acl messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 301–312. Springer, Heidelberg (2004)Google Scholar
- 3.Cabac, L., Dirkner, R., Rölke, H.: Modelling service dependencies for the analysis and design of multi-agent applications. In: Moldt, D. (ed.) Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA 2006, number FBI-HH-B-272/06 in Reports of the Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg, Germany, June 2006, pp. 291–298. University of Hamburg, Department of Informatics (2006)Google Scholar
- 4.Cabac, L., Dörges, T., Duvigneau, M., Reese, C., Wester-Ebbinghaus, M.: Application development with Mulan. In: Moldt, D., Kordon, F., van Hee, K., Colom, J.-M., Bastide, R. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007), Siedlce, Poland, June 2007, pp. 145–159. Akademia Podlaska (2007)Google Scholar
- 6.Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 47–61. Springer, Heidelberg (2005)Google Scholar
- 8.Foundation for Intelligent Physical Agents (FIPA) – homepage. Foundation for Intelligent Physical Agents, http://www.fipa.org/
- 9.The Sniffer for JADE. Online documentation (January 2008), http://jade.cselt.it/doc/tools/sniffer/index.html
- 12.Kummer, O.: Introduction to Petri nets and reference nets. Sozionik Aktuell 1, 1–9 (2001)Google Scholar
- 13.Kummer, O., Wienberg, F., Duvigneau, M.: Renew – the Reference Net Workshop. Release 2.1 (May 2006), http://www.renew.de/
- 14.Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004)Google Scholar
- 15.MadKit (January 2008), http://www.madkit.org
- 16.Mans, R.S., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., Jørgensen, J.B.: From requirements via colored workflow nets to an implementation in several workflow systems. In: Proceedings of the International Workshop on Coloured Petri Nets (CPN 2007), October 2007, Computer Science Department, Aarhus University (2007)Google Scholar