Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems

Bruno Mermet, Gaële Simon

Abstract

This paper focuses on multi-agent systems engineering process. An assessment of current needs in this domain, based on the analysis of systems already developed, is performed. This assessment shows that the formal verification of MAS is one of these needs. It is then shown how the formal approach GDT4MAS provides answer to many of the other needs. This approach is based on a MAS formal specification associated to a proof process allowing to establish the correctness of properties of the system. The main purpose of this paper is to show that, unlike most other formal approaches for MAS, GDT4MAS can at the same time propose formal aspects making a proof possible and contribute to different general aspects of agent-oriented software engineering, even when formal verification is not a concern.

References

  1. Abrial, J.-R. (1996). The B-Book. Cambridge Univ. Press.
  2. Ahmad, R. and Rahimi, S. (2009). Motivation for a new formal framework for agent-oriented software engineering. IJAOSE, 3(2/3):252-276.
  3. Back, R.-J. and Sere, K. (1991). Stepwise refinement of action systems. Structured Programming, 12(1):17- 30.
  4. Beck (2002). Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  5. Beck, K. et al. (2001). Manifesto for agile software development.
  6. Demazeau, Y., editor (2004). Systmes Multi-Agents, volume 29 of ARAGO. OFTA.
  7. Fisher, M. (2006). Metatem: The story so far. In Proceedings of the Third International Conference on Programming Multi-Agent Systems, ProMAS'05, pages 3-22, Berlin, Heidelberg. Springer-Verlag.
  8. Kacprzak, M., Lomuscio, A., and Penczek, W. (2004). Verification of multiagent systems via unbounded model checking. In AAMAS'04.
  9. Klein, M. et al. (2003). Using domain-independent exception handling services to enable robust open multiagent systems: The case of agent death. Autonomous Agents and Multi-Agent Systems, 7(1-2):179-189.
  10. Martin, R. C. (2009). Clean Code: A handbook of agile software craftsmanship. Prentice Hall.
  11. Mermet, B. and Simon, G. (2009). GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent Systems. In et al., D., editor, Proc. of AAMAS 2009, pages 505-512.
  12. Mermet, B. and Simon, G. (2011). Specifying recursive agents with gdts. Autonomous Agents and Multi-Agent Systems, 23(2):273-301.
  13. Mermet, B. and Simon, G. (2013). A new proof system to verify gdt agents. In Zavoral, F., Jung, J. J., and Badica, C., editors, IDC, volume 511 of Studies in Computational Intelligence, pages 181-187. Springer.
  14. Platon, E., Sabouret, N., and Honiden, S. (2008). An architecture for exception management in multiagent systems. IJAOSE, 2(3):267-289.
  15. Raimondi, F. and Lomuscio, A. (2004). Verification of multiagent systems via orderd binary decision diagrams: an algorithm and its implementation. In AAMAS'04.
  16. Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In van Hoe, R., editor, Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands.
  17. Zeller, A. (2009). Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, Burlington, MA, 2 edition.
Download


Paper Citation


in Harvard Style

Mermet B. and Simon G. (2015). Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems . In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 407-412. DOI: 10.5220/0005556904070412


in Bibtex Style

@conference{icsoft-ea15,
author={Bruno Mermet and Gaële Simon},
title={Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={407-412},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005556904070412},
isbn={978-989-758-114-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems
SN - 978-989-758-114-4
AU - Mermet B.
AU - Simon G.
PY - 2015
SP - 407
EP - 412
DO - 10.5220/0005556904070412