[pt] Normas sociais têm se tornado uma das abordagens mais promissoras para garantir uma ordem social desejável em sistemas multiagentes. Nestes sistemas, agentes autônomos trabalham a fim de atingir objetivos comuns ou diferentes. Normas regulam o comportamento de tais agentes definindo obrigações e proibições, fornecendo recompensas e estabelecendo punições a fim de incentivá-los a se comportarem de acordo com as normas. Embora o uso de normas seja um mecanismo promissor para regular o comportamento de agentes, o desenvolvimento de agentes capazes de atuar em um sistema, adotar as normas e lidar com as mesmas autonomamente tem sido mais difícil do que o desenvolvimento de agentes tradicionais. A razão para esta dificuldade é a falta de mecanismos que possibilitem o desenvolvimento de agentes autônomos capazes de lidar com questões relacionadas a normas. Nesta tese, apresenta-se uma abordagem para desenvolvimento de agentes capazes de lidar autonomamente com questões normativas. Para tanto, a abordagem fornece um modelo arquitetural para apoiar um agente no raciocínio sobre as normas. Tal modelo estende o modelo Belief-Desire-Intention adicionando um conjunto de funções que auxiliam o agente na adoção de novas normas, na verificação da ativação, desativação, cumprimento e violação das normas, na seleção de quais normas devem ser cumpridas ou violadas, na detecção e resolução de conflitos entre normas, na geração de novos objetivos e na seleção de objetivos, planos e intenções, levando em consideração as normas do sistema. Além disto, a abordagem fornece os mecanismos necessários para implementação de agentes projetados a partir do modelo arquitetural proposto. Dois cenários são utilizados para exemplificar a abordagem proposta. O primeiro está relacionado ao planejamento de missões de resgate reguladas por normas. O segundo está relacionado ao suporte ao desenvolvimento de software regulado por normas. Por fim, experimentos são apresentados que demonstram a importância de desenvolver agentes a partir da abordagem proposta seja na visão do agente ou da sociedade. / [en] Social norms have become one of the most promising approaches toward ensuring a desirable social outcome in multi-agent systems. In these systems, autonomous and heterogeneous agents work toward common or different goals. Norms regulate the behaviour of these agents by defining obligations and prohibitions, and by creating rewards and penalties to encourage the agents to behave so as to meet these norms. Although the use of norms is a promising mechanism to regulate the agents’ behavior, the development of agents able to join an agents society, to adopt the norms and to work with them autonomously has shown to be significantly more challenging than traditional agents. The reason for this difficulty is the lack of agent models that allow developing of autonomous agents able to cope with issues related to norms. In this thesis, we introduce an approach to develop agents able to deal with normative questions in an autonomous way. The approach extends the Belief-Desire- Intention model including functions that assist the agent in adopting new norms, in verifying norm activation, deactivation, fulfillment and violation, in selecting the norms to be fulfilled or violated by the agent, in identifying and overcoming conflicts among norms, in generating new goals from norms and in selecting goals, plans and intentions while taking into account the system norms. In addition, the approach provides mechanisms that are necessary to implement agents designed from the proposed architectural model. Two scenarios are used in order to exemplify the proposed approach. The first is related to the planning of rescue missions regulated by norms. The second is related to the support to software development regulated by norms. Finally, experiments that demonstrate the importance of developing agent by using the proposed architectural model, both in the agent and society point of view, are presented.

[pt] A migração heterogênea de computações se refere ao movimento de uma computação em execução entre plataformas diferentes. Trata-se de um procedimento difícil, que requer mecanismos de captura e restauração do estado de execução que permitam a identificação da estrutura da computação e seus dados. Estes mecanismos, quando oferecidos, aparecem tradicionalmente na forma de soluções ad-hoc que são difíceis de adaptar aos requisitos de diferentes aplicações. Esta tese discute a necessidade da presença de suporte para captura e restauração de execuções nas linguagens de programação. Este suporte deve ser genérico o suficiente para que sobre ele possam ser implantadas diferentes políticas de captura e restauração, tanto no contexto de migração como no de persistência heterogêneas. Este trabalho estende a linguagem de programação Lua com uma API que permite ao programador reificar estruturas internas de execução em entidades manipuláveis da linguagem, para estudar os mecanismos básicos que uma linguagem deveria oferecer para permitir a implementação de diferentes políticas. / [en] The heterogeneous migration of computations allow computations to move between different platforms. It is a difficult procedure, that demands mechanisms for the capture and restoration of the state of the execution allowing for the identification of the structure of the computation and its data. This support, when offered, commonly appears in the form of ad-hoc solutions which are difficult to tailor or adapt to different needs. This thesis discusses the need for this support in current programming languages. This support must allow the implementation of different appliications that can profit from the ability of capturing and restoring computations heterogeneously, like migration and persistence. To experiment with this item, we extend the Lua programming language with an API that allows the programmer to reify the internal structures of execution into manipulable language entities, to explore the basic mechanisms a language should provide in order to support the implementation of diferent policies.