Advertisement

Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models

  • Anarosa A. F. Brandão
  • Viviane Torres da Silva
  • Carlos J. P. de Lucena
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4405)

Abstract

Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. The application of agent technologies requires extensions to the existing object-oriented modeling languages to accommodate agent-related abstractions such as roles, organizations and environments. If it is difficult to analyze and establish the well-formedness of a set of diagrams of a UML-like object-oriented modeling language, it gets far more complex when the language is extended to add a set of agency related abstractions. In order to tame such complexity, we propose an ontology-based method for analyzing MAS specifications described using a modeling language that extends UML to accommodate the agency characteristics. The method proposes a two-phase approach that covers different sets of MAS design properties. These properties are the ones related to each individual diagram and the ones associated with pairs of diagrams. The later take into consideration the interdependencies between diagrams. The method also provides features that allow the suggestion of some design guidelines which may improve the MAS design quality.

Keywords

Modeling Language Multiagent System Description Logic Ontology Property Assigned Goal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., et al.: The description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, Springer, Heidelberg (2001)Google Scholar
  3. 3.
    Berardi, D.: Using DLs to reason on UML class diagrams. In: Proceedings of th KI- 2002 Workshop on Applications of Description Logics (2002)Google Scholar
  4. 4.
    Biddle, J., Thomas, E.: Role Theory: Concepts and Research. John Wiley and Sons, New York (1966)Google Scholar
  5. 5.
    Borst, W.N.: Construction of Engineering Ontologies. University of Twente, Enschede, NL, Center for Telematica and Information Technology (1997)Google Scholar
  6. 6.
    Brandão, A.A.F.: An ontology-based method for structuring and analyzing multiagent systems models PhD Thesis (in Portuguese), Pontifical Catholic University of Rio de Janeiro - PUC-Rio, Brazil (2005)Google Scholar
  7. 7.
    DAML+OIL - DARPA Agent Markup Language, http://www.daml.org/
  8. 8.
    DeLoach, S.A.: Analysis and Design of Multiagent Systems Using Hybrid Coordination Media. In: Proceedings of the 6th World Multi-Conference on Systemic, Cybernetics and Informatics (SCI 2002), Florida, USA, pp. 14–18 (2002)Google Scholar
  9. 9.
    Dong, J.S., et al.: Verifying DAML+OIL and Beyond in Z/EVES. In: Proceedings of the 26th International Conference on Software Engineering (ICSE’04), pp. 201–210 (2004)Google Scholar
  10. 10.
    FaCT - Fast Classification of Terminologies, available at: http://www.cs.man.ac.uk/~horrocks/FaCT
  11. 11.
    Ekenberg, L., Johannesson, P.: A framework for determining design correctness. Knowledge Based Systems 17(5-6), 249–262 (2004)CrossRefGoogle Scholar
  12. 12.
    Gruber, T.R.: A Translation Approach to Portable Ontology Specification. Knowledge Acquisition 5, 199–220 (1993)CrossRefGoogle Scholar
  13. 13.
    Jennings, N.: Agent-Oriented Software Engineering. In: Proceedings of the 20th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence, pp. 4–10 (1999)Google Scholar
  14. 14.
    Kalfoglou, Y., Robertson, D.: A case study in applying ontologies to augment and reason about the correctness of specifications. In: Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99), Kaiserlautern, Germany (1999), available at http://www.ecs.soton.ac.uk/people/yk1/ (04/19/2005)
  15. 15.
    Carrington, D., Kim, S.-K.: A Formal Mapping between UML Models and Object-Z Specifications. In: P. Bowen, J., et al. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, Springer, Heidelberg (2000)Google Scholar
  16. 16.
    de Maria, B.A., et al.: VisualAgent: A Software Development Environment for Multi-Agent Systems. In: Proceedings of the 19th Brazilian Symposiun on Software Engeneering (SBES 2005), Tool Track, Uberlândia, MG, Brazil, October 3-7 (2005)Google Scholar
  17. 17.
    Mens, T., Straeten, R., Simmonds, J.: Maintaining Consistency between UML Models with Description Logic Tools. In: Proceedings of the Workshop on Object-Oriented Reengineering at ECOOP (2003)Google Scholar
  18. 18.
    Object Management Group - OMG, http://www.omg.org/
  19. 19.
    Object Managment Group: OMG - Meta Object Facility (MOF) Specification, version 1.4, available at http://www.omg.org/cgi-bin/doc?formal/2002-04-03 (last visited 04/25/2005)
  20. 20.
    OWL -Ontology Web Language, available at http://www.w3c.org/TR/owl-features/
  21. 21.
    Van Dyke Parunak, H., Odell, J.J.: Representing Social Structures in UML. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 1–16. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  22. 22.
    Pistore, M., et al.: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 36–52. Springer, Heidelberg (2004)Google Scholar
  23. 23.
    Protégé 2000 Ontology Editor - available at http://protege.stanford.edu/
  24. 24.
    RACER, Renamed Abox and Concept Expression Reasoner, available at: http://www.sts.tu-harburg.de/~r.f.moeller/racer
  25. 25.
    RICE, Racer Interactive Client Environment, http://www.cs.concordia.ca/~haarslev/racer/rice.jar
  26. 26.
  27. 27.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)Google Scholar
  28. 28.
    Silva, V., et al.: Taming Agents and Objects in Software. In: Garcia, A.F., et al. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol. 2603, pp. 1–16. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  29. 29.
    Silva, V., Lucena, C.: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Sycara, K., Wooldridge, M. (Eds.) Journal of Autonomous Agents and Multi-Agent Systems 9, 145–189 (2004)CrossRefGoogle Scholar
  30. 30.
    Straeten, R., Simmonds, J.: Detecting Inconsistencies between UML Models Using Description Logic. In: Proceedings of the 2003 International Workshop on Description Logics (2003), available at http://CEUR-WS.org
  31. 31.
    Wagner, G.: The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior. Information Systems 28(5), 475–504 (2003)zbMATHCrossRefGoogle Scholar
  32. 32.
    Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, Springer, Heidelberg (2001)Google Scholar
  33. 33.
    Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational Abstractions for the Analysis and Design of Multi-Agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, Springer, Heidelberg (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Anarosa A. F. Brandão
    • 1
  • Viviane Torres da Silva
    • 2
  • Carlos J. P. de Lucena
    • 3
  1. 1.Laboratório de Técnicas Inteligentes - PCS-POLI-USP, Av. Prof. Luciano Gualberto, trav. 3, 158, sala C2-50, São Paulo - 05508-900Brazil
  2. 2.Departamento de Sistemas Informáticos y Programación, UCM, C/ Profesor José García Santesmases, s/n, Ciudad Universitaria, 28040 Madrid 
  3. 3.Computer Science Department, PUC-Rio, R. Marquês de São Vicente, 225, Rio de Janeiro - 22453-900Brazil

Personalised recommendations