Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification

Extended Abstract for a Course at DALT Spring School 2011
  • Rafael H. Bordini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7169)


In this extended abstract, I shall briefly describe the course I gave at the DALT International Spring School that took place at the University Residential Centre in Bertinoro, Italy, in April 2011. Before I do so, I feel compelled to say, although this was supposed to be a technical paper, that participating in that School was the most fabulous experience of my academic career. I attended many conferences and summer schools over the last decade, and in particular all the summer schools were incredible experiences, but none matched that of the DALT School in Bertinoro. The University Centre is located in an astounding medieval castle, where even Dante stayed for some time. The castle is at the top of a hill and the views from the castle where we were also accommodated are just breathtaking. The food was excellent and the people involved at all levels incredibly friendly; the organisation was impeccable. Of course just atmosphere does not make an academic event that memorable. Perhaps because this was the most specific summer school I ever attend in regards to the topics covered, which allowed the courses to go into much more depth than usual, but certainly not only because of that but also other factors such as the particular combination of people in that School, that was definitely the most technically productive school I ever attended. All the attendants cannot possibly thank enough the organisers for the amazing experience they created for us. Unfortunately, nothing is perfect. As memorable as the school was, I will never be able to forget the suffering it was to walk up those extremely steep hills either.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M.R., Pasareanu, C.S., Rosu, G., Sen, K., Visser, W., Washington, R.: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3), 209–234 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: ASE, pp. 69–78. IEEE (2008)Google Scholar
  3. 3.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)CrossRefGoogle Scholar
  4. 4.
    Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput. 19(6), 1385–1425 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. John Wiley & Sons (2007)Google Scholar
  6. 6.
    Dennis, L., Fisher, M., Webster, M., Bordini, R.: Model checking agent programming languages. Automated Software Engineering, 1–59 (2011),
  7. 7.
    Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Autonomous Agents and Multi-Agent Systems 20, 369–400 (2010)CrossRefGoogle Scholar
  8. 8.
    Hübner, J.F., Sichman, J.S., Boissier, O.: Developing Organised Multi-Agent Systems Using the MOISE+ Model: Programming Issues at the System and Agent Levels. Agent-Oriented Software Engineering 1(3/4), 370–395 (2007)CrossRefGoogle Scholar
  9. 9.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the AandA meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3), 432–456 (2008)CrossRefGoogle Scholar
  10. 10.
    Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Autonomous Agents and Multi-Agent Systems 23(2), 158–192 (2011)CrossRefGoogle Scholar
  11. 11.
    Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng. 10(2), 203–232 (2003)CrossRefGoogle Scholar
  12. 12.
    Visser, W., Mehlitz, P.C.: Model Checking Programs with Java PathFinder. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol. 3639, pp. 27–27. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Rafael H. Bordini
    • 1
  1. 1.Institute of InformaticsFederal University of Rio Grande do SulPorto AlegreBrazil

Personalised recommendations