A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements

  • Mohamed Amin Laouadi
  • Farid Mokhati
  • Hassina Seridi-Bouchelaghem
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6251)


A novel formal functional requirements specification approach for real-time multi-agent system is presented in this paper. The methodology of our approach consists in translating extended AUML diagrams describing RT-MAS’ functional requirements into a RT-Maude specification. The proposed approach considers jointly functional, static and dynamic aspects of real-time multi-agent systems. The functional aspects are described by a temporal AUML use case diagram and the static aspects are represented using a temporal AUML class diagram. Whereas the dynamic aspects are described using state chart (individual behavior) and an extended AUML protocol (collective behavior) diagrams. The aims of this approach are, on the one hand, to combine the advantages of the graphical modeling formalism Agent UML and the formal specification language RT-Maude in a single technique, and, on the other hand, to integrating the formal validation of the consistency of the models, since the analysis phase. The approach is illustrated using a concrete example.


Formal specification Real-time Multi-Agent System Functional Requirements Agent UML RT-Maude Supply Chain Management (SCM) 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Julián, V., Soler, J., Moncho, M.C., Botti, V.: Real-Time Multi-Agent System Development and Implementation (2004)Google Scholar
  2. 2.
    Melián, S.F., Marsá, I., Ukrania, M., Miguel, D.-R., Carmona, A.-L.: Extending the BDI ASDP methodologie for Real Time (2005)Google Scholar
  3. 3.
    Zhang, L.: Development Method for Multi-Agent Real Time Systems. Faculty of Computer Science and Technology Guangdong University of Technology. International Journal of Information Technology 12(6) (2006)Google Scholar
  4. 4.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)Google Scholar
  5. 5.
    Bauer, B., Muller, J.P., Odell, J.: An extension of UML by protocols for multiagent interaction. In: International Conference on MultiAgent Systems (ICMAS’00), Boston, Massachussetts, pp. 207–214 (2000)Google Scholar
  6. 6.
    Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for Agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, Austin, Texas. ICue Publishing (2000)Google Scholar
  7. 7.
    Huget, M.P.: Extending agent UML protocol diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 150–161. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Huget, M.P.: Agent UML class diagrams revisited. Technical Report, Department of Computer Science, University of Liverpool, p. 1–13 (2002)Google Scholar
  9. 9.
    Ferber, J.: Les systèmes Multi-Agents: vers une intelligence collective, Inter edn., Paris, France (1995)Google Scholar
  10. 10.
    Omicini, A.: Soda: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  11. 11.
  12. 12.
  13. 13.
    Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (version 2.2). In: SRI International, Menlo Park, CA 94025, USA (2005)Google Scholar
  14. 14.
    Olveczky, P.C.: Real-Time Maude 2.3 Manual. Department of Informatics, University of Oslo (2007)Google Scholar
  15. 15.
    Heinze, C., Papasimeon, M., Goss, S.: Specifying Agent behaviour with use Case (2000)Google Scholar
  16. 16.
    Papasimeon, M., Heinze, C.: Specifying Requirement in Multi-agent System with use Cases (2000)Google Scholar
  17. 17.
    Bauer, B., Odell, J.: UML 2.0 and Agents: How to Build Agent-based Systems with the New UML Standard (2005)Google Scholar
  18. 18.
    Shen, W., Norrie, D.-H.: Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey. Knowledge and Information Systems 1, 129–156 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Mohamed Amin Laouadi
    • 1
  • Farid Mokhati
    • 2
  • Hassina Seridi-Bouchelaghem
    • 1
  1. 1.Computer Science Department, Annaba, Algeria. LabGED LaboratoryBadji Mokhtar UniversityAlgeria
  2. 2.Computer Science Department, Oum El-Bouaghi UniversityAlgeria

Personalised recommendations