An Ontology-based Method for Structuring Multi-Agent Systems Formal Specifications *
Anarosa Alves, Franco Brandão, Viviane Torres da Silva, Carlos J. P. de Lucena · 2005
Agents are becoming a popular technology for the development of distrib- uted, heterogeneous and always available systems. The application of agent technolo- gies requires extensions to the existing object-oriented modeling languages to accom- modate 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. This paper presents an ontology- based method for structuring MAS specifications. The goal of the method is to facilitate the analysis of such systems. The method proposes the analyses of MAS designs based on three phases that cover different sets of design properties. Focusing the analysis on related properties grouped into three different phases facilitates the design activity, the automatic detection of inconsistencies and the improvement of the design. Resumo. O uso de agentes de software no desenvolvimento de sistemas distribuidos, heterogeneos e sempre disponiveis tem mostrado o quanto esta tecnologia pode ser util. Porem sua aplicacao requer a extensao das tecnologias orientadas a objetos, notadamente linguagens de modelagem, afim de descrever abstracoes relacionadas a agentes, tais como papeis, organizacoes e ambientes. Considerando que analise e o estabelecimento da boa formacao de diagramas descritos em linguagens de modelagens orientadas a objetos nao e um problema simples, mais complexo ele se torna ao considerarmos tais linguagens acrescidas de um conjunto de abstracoes de agencia. Este artigo apresenta um metodo para estruturacao de especificacoes de SMAs baseado em ontologias. O objetivo do metodo e facilitar a analise de modelos de design de SMAs, focando a analise em tres fases distintas onde sao considerados grupos de propriedades relacionadas. Desta forma, o metodo proporciona a deteccao automatica de inconsistencias, melhorando a qualidade dos modelos de design e facilitando a atividade de modelagem. Palavras-chave: Sistemas multi-agentes, design, analise, ontologias, linguagens de