Interoperability
Rules for testing and verification of multi-agent systems
DOI:
https://doi.org/10.17560/atp.v60i03.1913Keywords:
mulit-agent systems, interoperability, testing, runtime verificationAbstract
Cyber physical systems (CPS) affect physical processes based on software and therefore have to fulfil high demands regarding safety, real-time response and reliability. To meet these demands, testing and verification are of utmost importance. This paper introduces interoperability rules for the test of multi-agent systems, which are a proper means to control CPS. Their applicability for unit-tests and runtime verification is demonstrated. Interoperability rules add value for software engineers and testers and can contribute to enhance reliability of multi-agent systems and, thus, CPS.
References
acatech - Deutsche Akademie der Technikwissenschaften (2011). Cyber-Physical Systems - Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion, vol. 11. Berlin, Heidelberg: Springer Berlin Heidelberg.
Bondavalli, A., Bouchenak, S., & Kopetz, H. (Eds.). (2016). Cyber-Physical Systems of Systems: Foundations–A Conceptual Model and Some Derivations: the AMADEOS Legacy (Vol. 10099). Springer.
Leitao, P., Karnouskos, S., Ribeiro, L., Lee, J., Strasser, T., & Colombo, A. W. (2016). Smart agents in industrial cyber–physical systems. Proceedings of the IEEE, 104(5), 1086-1101.
B. Vogel-Heuser, “Renassaince der Agentensysteme,” atp edition, vol. 9, 2017.
Vogel-Heuser, B., Lee, J., & Leitão, P. (2015). Agents enabling cyber-physical production systems. at-Automatisierungstechnik, 63(10), 777-789.
Wooldridge, M. (2009). An introduction to multiagent systems. John Wiley & Sons.
Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agents and Multi-Agent Systems, 31(5), 1094-1132.
Wassermann, E., & Fay, A. (2017). Test-und Verifikationsverfahren für Agentensysteme–Status Quo und weitere Herausforderungen. at-Automatisierungstechnik, 65(11), 721-736.
Bundesministerium für Wirtschaft und Energie (BMWi) (2016). Fortschreibung der Anwendungsszenarien der Plattform Industrie 4.0. Abgerufen von https://www.plattform-i40.de/I40/Redaktion/DE/Downloads/Publikation/fortschreibung-anwendungsszenarien.pdf;jsessionid=465F6042EF23AB317DE2166FB0B1C9A7?__blob=publicationFile&v=7
Leucker, M., & Schallhart, C. (2009). A brief account of runtime verification. The Journal of Logic and Algebraic Programming, 78(5), 293-303.
Ancona, D., Briola, D., El Fallah Seghrouchni, A., Mascardi, V. & Taillibert P. (2014). Efficient verification of MASs with projections. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8758 (pp. 246–270)
Briola, D., Mascardi, V., & Ancona, D. (2015). Distributed runtime verification of JADE multiagent systems. In Intelligent Distributed Computing VIII (pp. 81-91). Springer, Cham.
Wallace, S. A. (2005). S-assess. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS ’05, 2005, (pp. 256–263)
Alotaibi, H., & Zedan, H. (2010, November). Runtime verification of safety properties in multi-agents systems. In Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on (pp. 356-362). IEEE.
Boella, G., Van Der Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational & Mathematical Organization Theory, 12(2-3), 71-79.
Baier, C., Katoen, J. P., & Larsen, K. G. (2008). Principles of model checking. MIT press.
Dennis, L. A., Fisher, M., Webster, M. P., & Bordini, R. H. (2012). Model checking agent programming languages. Automated software engineering, 19(1), 5-63.
Hamrouni, N., & Abderrahim, Z. (2012, March). Looking for verification and validation of a multi agent system using new formalism: Apn. In Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2012 6th International Conference on (pp. 30-35). IEEE.
Wior, I., Linnenberg, T., & Fay, A. (2014). Stability Analysis of an Agent-Based Smart Grid Control Marketplace. IFAC Proceedings Volumes, 47(3), 1452-1458.
Wooldridge, M. (2000). Computationally grounded theories of agency. In MultiAgent Systems, 2000. Proceedings. Fourth International Conference on (pp. 13-20). IEEE.
Sander, U., von Gross, F., & Hugger, K. U. (2008). Handbuch Medienpädagogik. Wiesbaden: VS Verlag für Sozialwissenschaften.
Fipa, A. C. L. (2002). Fipa acl message structure specification. Foundation for Intelligent Physical Agents, http://www. fipa. org/specs/fipa00061/SC00061G. html (30.6. 2004).
FIPA, S. (2002). FIPA SL Content Language Specification. Foundation for Intelligent Physical Agents, http://www. fipa. org/specs/fipa00008/SC00008I. html (30.6. 2004).
Klein, P. (2008). Time consistency of monetary and fiscal policy. In: The New Palgrave Dictionary of Economics, S. N. Durlauf and L. E. Blume, Eds. Basingstoke: Nature Publishing Group, (pp. 278–281).
Jhaveri, R. H., Patel, S. J., & Jinwala, D. C. (2012, January). DoS attacks in mobile ad hoc networks: A survey. In Advanced Computing & Communication Technologies (ACCT), 2012 Second International Conference on (pp. 535-541). IEEE.
Coelho, R., Kulesza, U., von Staa, A., & Lucena, C. (2006, May). Unit testing in multi-agent systems using mock agents and aspects. In Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (pp. 83-90). ACM.
Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., & Lucena, C. (2007, October). Jat: A test automation framework for multi-agent systems. In Software Maintenance, 2007. ICSM 2007. IEEE International Conference on (pp. 425-434). IEEE.
Mackinnon, T., Freeman, S., & Craig, P. (2000). Endo-testing: unit testing with mock objects. Extreme programming examined, 287-301.
JADE (2018). Java Agent Development Framework. Abgerufen von http://jade.tilab.com/
The JUnit Team (2018). JUnit 5. Abgerufen von http://junit.org/junit5/
The JUnit Team (o.J.). Sniffer (JADE 4.3.2 Sniffer Reference). Abgerufen von http://jade.cselt.it/doc/tools/sniffer/html/jdoc/jade/tools/sniffer/Sniffer.html.
Downloads
Published
Issue
Section
License
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.
