Modeling Normative Multi-Agent Systems with the MAS-ML Language

• Emmanuel S. S. Freire UECE
• Enyo J. T. Gonçalves UFC
• Mariela I. Cortés UECE
• Yrleyjânder S. Lopes UECE

DOI: https://doi.org/10.5753/sbsi.2012.14398

Abstract

In Multi-Agent Systems (MAS), the agent’s behavior is governed by norms, that their static elements need to be modeled at design time. In this context, the language MAS-ML (Multi-Agent System Language) provides several mechanisms for modeling of the properties of the entities that compose a MAS, but the support of the norm concepts is limited. This paper aims to extend the abstract and concrete syntax of the MAS-ML along with the definition of the new static diagram to support the modeling of MAS along with the static elements of the norms. Thus, there may be a more complete view of the system through a single modeling language.

Keywords: MAS-ML, Multi-Agent Systems, Modeling

References

Basin, D., Doser, J. e Lodderstedt, T. (2006) “Model driven security: from uml models to access control infrastructures”, ACM TSEM, 15(1), pp.39-91.

Brandão, A. A. F.; Silva, V. T.; Lucena, C. J. P. (2007). Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models. In: Lin Padgham; Franco Zambonelli. (Org.). Agent-Oriented Software Engineering. Berlin: Springer, v. 4405, p. 122-139.

Casillo, B. H. (2008) “Agentes auxiliando ambientes de engenharia de software centrado em processos”, Dissertação de Mestrado. São José dos Campos: INPE.

Danc, J. (2008) “Formal specification of AML”. Department of Computer Science Faculty of Mathematics, Physics and Informatics Comenius University Formal Specification of AML Master's Thesis Ján Danc Advisor: Mgr. Bratislava.

ECLIPSE (2011), “Eclipse platform”, http://www.eclipse.org/, Acessado em 01 de Junho de 2011.

Farias, K., Oliveira, K., Nunes, I., Silva, V. T. e Lucena, C.J.P. (2009) “MAS-ML tool: um ambiente de modelagem de sistemas multi-agentes”, V Workshop on Software Engineering for Agent-oriented Systems (SEAS 2009), Fortaleza, Brasil, pp. 1-12.

Figueiredo, K. e Silva, V. T. (2010) “NormML: a modeling language to model norms”. In: 1st Workshop on Autonomous Software Systems. Salvador, Brazil.

Figueiredo, K. (2011) “Modeling and validation norms in multi-agents systems”. Dissertação de mestrado. Niterói: UFF, Instituto de Computação.

López y López, F. (2003) “Social Power and Norms: Impact on agent behavior”. PhD thesis, Univ. of Southampton, Faculty of Engineering and Applied Science, Department of Electronics and Computer Science.

Meyer, J. J. e Wieringa, R. J. (1993) “Deontic logic in computer science: normative system specification”, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd. Chichester, UK.

Padilha, T. P. P. e Jacome, T. F. (2002) “O uso de técnicas de modelagem de agentes em ambientes educacionais”, VI Congresso Iberoamericano de Informática Educativa.

Russell, S. e Norvig, P. (2004) Inteligência Artificial: uma Abordagem Moderna, 2a ed. Prentice-Hall: São Paulo.

Silva, V. T., Braga, C. e Figueiredo, K. (2010) “A modeling language to model norms”. The International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'2010), 9th. Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems, Toronto, Canadá.

Silva, V. T. (2004) “Uma linguagem de modelagem para sistemas multi-agentes baseada em um framework conceitual para agentes e objetos”, Tese de doutorado. Rio de Janeiro: PUC, Departamento de Informática.

Silva, V. T., Garcia, A., Brandao, A., Chavez, C., Lucena, C. e Alencar, P. (2003) “Taming agents and objects in software engineering”, In: Garcia, A.; Lucena, C.; Zamboneli, F.; Omicini, A; Castro, J. (Eds.), Software Engineering for Large-Scale Multi-Agent Systems, Springer-Verlag, LNCS 2603, pp. 1-26, 2003, ISBN 978-3-540-08772-4.

Wagner, G. (2003) “The Agent-Object-Relationship Meta-Model: Towards a Unified View of State and Behavior”, Information Systems. 28(5), pp. 475–504.