Agent-Oriented Meta-model for Modeling and Specifying Transportation Systems: Platoon of Vehicles

  • Mohamed Garoui
  • Belhassen Mazigh
  • Béchir El Ayeb
  • Abderrafiaa Koukam
Part of the Studies in Computational Intelligence book series (SCI, volume 551)

Abstract

In order to assist the development of multi-agent systems, agent-oriented methodologies (AOM) have been created in the last years to support modeling more and more complex applications in many different domains. By defining in a non-ambiguous way concepts used in a specific domain, Meta modeling may represent a step towards such interoperability. In the transport domain, this paper propose an agent-oriented meta-model that provides rigorous concepts for conducting transportation system problem modeling. The aim is to allow analysts to produce a transportation system model that precisely captures the knowledge of an organization so that an agent-oriented requirements specification of the system-to-be and its operational corporate environment can be derived from it. To this end, we extend and adapt an existing meta-model, Extended Gaia, to build a meta-model and an adequate model for transportation problems. Our new agent-oriented meta-model aims to allow the analyst to model and specify any transportation system as a multi-agent system.

Keywords

Agent technology Transport domain Meta-model Multi-Agent System 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gaevic, D., Djuric, D., Devedic, V.: Model Driven Engineering and Ontology Development. Springer, Heidelberg (2009)Google Scholar
  2. 2.
    Contet, J.-M., Gechter, F., Gruer, P., Koukam, A.: Application of reactive multi-agent system to linear vehicle platoon. In: Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007, vol. 02, pp. 67–70. IEEE Computer Society, Washington, DC (2007)CrossRefGoogle Scholar
  3. 3.
    El-Zaher, M., Gechter, F., Gruer, P., Hajjar, M.: A new linear platoon model based on reactive multi-agent systems. In: Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, pp. 898–899. IEEE Computer Society, Washington, DC (2011)CrossRefGoogle Scholar
  4. 4.
    Cernuzzi, L., Juan, T., Sterling, L., Zambonelli, F.: The gaia methodology: Basic concepts and extensions. In: Methodologies and Software Engineering for Agent Systems. Kluwer Academic Publishers (2004)Google Scholar
  5. 5.
    Cossentino, M., Gaglio, S., Sabatucci, L., Seidita, V.: The PASSI and agile PASSI MAS meta-models compared with a unifying proposal. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol. 3690, pp. 183–192. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Cernuzzi, L., Zambonelli, F.: Experiencing auml in the gaia methodology. In: ICEIS (3), pp. 283–288 (2004)Google Scholar
  7. 7.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The gaia methodology (2003)Google Scholar
  8. 8.
    Cabrera-Paniagua, D., Cubillos, C.: PASSI Methodology in the Design of Software Framework: A Study Case of the Passenger Transportation Enterprise. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 213–227. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: ASPECS: an agentoriented software process for engineering complex systems. Autonomous Agents and Multi-Agent Systems 20(2), 260–304 (2010), doi:10.1007/s10458-009-9099-4.CrossRefGoogle Scholar
  10. 10.
    Gaud, N., Hilaire, V., Galland, S., Koukam, A., Cossentin, M.: A Verification by Abstraction Framework for Organizational Multiagent Systems. In: Jung, B., Michel, F., Ricci, A., Petta, P. (eds.) Proc. of the Sixth International Workshop AT2AI-6: “From Agent Theory to Agent Implementation”, of the Seventh International Conference on Autonomous agents and Multiagent Systems (AAMAS), Estoril, Portugal, pp. 67–73 (2008)Google Scholar
  11. 11.
    Atlee, J.M., Gannon, J.D.: State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng, 24–40 (1993)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Mohamed Garoui
    • 1
  • Belhassen Mazigh
    • 2
  • Béchir El Ayeb
    • 3
  • Abderrafiaa Koukam
    • 4
  1. 1.Prince Research UnitENSIMannoubaTunisia
  2. 2.Department of Computer SciencesFSMMonastirTunisia
  3. 3.PRINCE Research UnitFSMMonastirTunisia
  4. 4.IRTES-SET, EA 7274UTBMBelfort cedexFrance

Personalised recommendations