Advertisement

A Monitoring Toolset for Paose

  • Lawrence Cabac
  • Till Dörges
  • Heiko Rölke
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5062)

Abstract

Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petri nets - reference nets [12] 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.

Keywords

reference nets Renew monitoring testing debugging inspection analysis multi-agent systems Paose 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Al-Shabibi, A., Buchs, D., Buffo, M., Chachkov, S., Chen, A., Hurzeler, D.: Prototyping object oriented specifications. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 473–482. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 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. 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. 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
  5. 5.
    Cabac, L., Knaak, N., Moldt, D., Rölke, H.: Analysis of multi-agent interactions with process mining techniques. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol. 4196, pp. 12–23. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 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
  7. 7.
    Duvigneau, M., Moldt, D., Rölke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J., Weiß, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Foundation for Intelligent Physical Agents (FIPA) – homepage. Foundation for Intelligent Physical Agents, http://www.fipa.org/
  9. 9.
    The Sniffer for JADE. Online documentation (January 2008), http://jade.cselt.it/doc/tools/sniffer/index.html
  10. 10.
    Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117(2), 277–296 (2000)CrossRefzbMATHGoogle Scholar
  11. 11.
    Köhler, M., Moldt, D., Rölke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Kummer, O.: Introduction to Petri nets and reference nets. Sozionik Aktuell 1, 1–9 (2001)Google Scholar
  13. 13.
    Kummer, O., Wienberg, F., Duvigneau, M.: Renew – the Reference Net Workshop. Release 2.1 (May 2006), http://www.renew.de/
  14. 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. 15.
    MadKit (January 2008), http://www.madkit.org
  16. 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
  17. 17.
    Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: AAMAS, pp. 960–967. ACM, New York (2002)CrossRefGoogle Scholar
  18. 18.
    Rölke, H.: Modellierung von Agenten und Multiagentensystemen – Grundlagen und Anwendungen. Agent Technology – Theory and Applications, vol. 2. Logos Verlag, Berlin (2004) (German) zbMATHGoogle Scholar
  19. 19.
    Van Liedekerke, M.H., Avouris, N.M.: Debugging multi-agent systems. Information and Software Technology 37, 103–112 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Lawrence Cabac
    • 1
  • Till Dörges
    • 1
  • Heiko Rölke
    • 1
  1. 1.Department of Computer ScienceUniversity of HamburgHamburg

Personalised recommendations