Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-03-26T18:03:05Z No. of bitstreams: 1 ARTUR_FREITAS_TES.pdf: 1489846 bytes, checksum: 61623f4503a4a916e72487f33c15e294 (MD5) / Approved for entry into archive by Tatiana Lopes (tatiana.lopes@pucrs.br) on 2018-04-06T16:46:51Z (GMT) No. of bitstreams: 1 ARTUR_FREITAS_TES.pdf: 1489846 bytes, checksum: 61623f4503a4a916e72487f33c15e294 (MD5) / Made available in DSpace on 2018-04-06T16:57:00Z (GMT). No. of bitstreams: 1 ARTUR_FREITAS_TES.pdf: 1489846 bytes, checksum: 61623f4503a4a916e72487f33c15e294 (MD5) Previous issue date: 2017-08-31 / A engenharia orientada a modelos fornece abstra??es e nota??es para melhorar a compreens?o e para apoiar a modelagem, codifica??o e verifica??o de aplica??es em dom?nios espec?ficos. As ontologias, por outro lado, fornecem defini??es formais e expl?citas de conceitualiza??es compartilhadas e permitem o uso de racioc?nio sem?ntico. Embora essas ?reas tenham sido desenvolvidas por diferentes comunidades, sinergias importantes podem ser alcan?adas quando ambas s?o combinadas. Essas vantagens podem ser exploradas no desenvolvimento de sistemas multiagentes, dada a sua complexidade e a necessidade de integrar v?rios componentes que s?o frequentemente abordados de diferentes ?ngulos. Este trabalho investiga como aplicar ontologias para engenharia de software orientada a agentes. Inicialmente, apresentamos uma nova abordagem de modelagem onde os sistemas multiagentes s?o projetados usando a ontologia OntoMAS proposta. Ent?o, descrevemos t?cnicas, implementadas em uma ferramenta, para ajudar os programadores a trazer seus conceitos em c?digo e tamb?m gerar c?digo automaticamente a partir de modelos instanciados da ontologia. V?rias vantagens podem ser obtidas a partir dessas novas abordagens para modelar e codificar sistemas multiagentes, como o racioc?nio sem?ntico para realizar infer?ncias e mecanismos de verifica??o. Mas a principal vantagem ? a linguagem de especifica??o unificada de alto n?vel (conhecimento) que permite modelar as tr?s dimens?es que est?o unidas em JaCaMo para que as especifica??es dos sistemas possam ser melhor comunicadas entre equipes em desenvolvimento. As avalia??es dessas propostas indicam que elas contribuem com os diferentes aspectos da engenharia de software orientada a agentes, como a especifica??o, verifica??o e programa??o desses sistemas. / Model-driven engineering provides abstractions and notations for improving the understanding and for supporting the modelling, coding, and verification of applications for specific domains. Ontologies, on the other hand, provide formal and explicit definitions of shared conceptualisations and enable the use of semantic reasoning. Although these areas have been developed by different communities, important synergies can be achieved when both are combined. These advantages can be explored in the development of multi-agent systems, given their complexity and the need for integrating several components that are often addressed from different angles. This work investigates how to apply ontologies for agentoriented software engineering. Initially, we present a new modelling approach where multiagent systems are designed using the proposed OntoMAS ontology. Then, we describe techniques, implemented in a tool, to help programmers bring their concepts into code and also generate code automatically from instantiated ontology models. Several advantages can be obtained from these new approaches to model and code multi-agent systems, such as semantic reasoning to carry out inferences and verification mechanisms. But the main advantage is the unified high (knowledge) level specification language that allows modelling the three dimensions that are united in the JaCaMo framework so that systems specifications can be better communicated across developing teams. The evaluations of these proposals indicate that they contribute with the different aspects of agent-oriented software engineering, such as the specification, verification, and programming of these systems.