[pt] O entendimento da organização antes de iniciar o desenvolvimento dos sistemas organizacionais tem se mostrado bastante eficaz na elicitação de requisitos. Neste contexto, a utilização dos conceitos de intencionalidade através do Framework i asterisco tem sido amplamente empregada por pesquisadores e em algumas empresas. Porém, o uso do framework i asterisco para a modelagem da intencionalidade organizacional carrega a complexidade intrínseca dos modelos. Sendo assim, este trabalho tem como principal objetivo elaborar uma estratégia baseada em simulação para ajudar o engenheiro de requisitos a validar os modelos em i asterisco elicitados junto aos interessados, sem que os mesmos precisem absorver a complexidade inerente a esses modelos. São apresentados também os resultados obtidos com a aplicação desta estratégia em um estudo de caso. / [en] The understanding of the organization before starting the development of organizational systems has been very effective in requirements elicitation. In this context, the use of intentionality concepts through the i asterisk framework has been widely used by researchers and by some companies. However, the use of i asterisk framework to modeling organizational intentionality brings the inherent complexity of the models. Thus, this work has the main objective to develop a simulation–based strategy to help the requirements engineer to validate the i asterisk models elicitated with the stakeholders, without absorbing the inherent complexity of these models. We also present the results of the strategy implementation in a case study.

[pt] A exploração e produção de petróleo é uma tarefa complexa onde a utilização de modelos físicos é fundamental para minimizar riscos exploratórios e maximizar o retorno do capital investido durante a etapa de produção dos campos descobertos. Com o passar do tempo, estes modelos vêm se tornando cada vez mais complexos, apresentando uma grande tendência de integração entre simuladores distintos e dando origem à necessidade de novas simulações multifísicas, onde modelos físicos isolados são resolvidos conjuntamente de maneira acoplada. Este trabalho apresenta o framework GeMA (Geo Modelling Analysis framework), uma biblioteca para suporte ao desenvolvimento de novos simuladores multifísicos, permitindo tanto o acoplamento de novos modelos construídos tendo o framework como base, quanto a integração com simuladores já existentes. Seu objetivo é promover a utilização de técnicas de engenharia de software tais como extensibilidade, reusabilidade, modularidade e portabilidade na construção de modelos físicos para engenharia, permitindo que engenheiros estejam livres para se concentrarem na formulação física do problema, uma vez que o framework se encarrega do gerenciamento de dados e das funções de suporte necessárias, agilizando a produção de código. Construído para auxiliar durante todo o fluxo de trabalho de uma simulação multifísica, a arquitetura do framework suporta múltiplos paradigmas de simulação e acoplamento de físicas, com especial ênfase no método de elementos finitos, sendo capaz de representar o domínio espacial através de múltiplas discretizações (malhas) e efetuar a troca de valores entre as mesmas. O framework implementa ainda conceitos importantes de extensibilidade, através do uso combinado de plugins e interfaces abstratas, bem como orquestração configurável e prototipação rápida através do uso da linguagem Lua. Além da descrição do framework, este trabalho apresenta ainda um conjunto de testes aplicados para testar sua corretude e expressividade, com especial ênfase em um modelo 2D de modelagem de bacias acoplando cálculo não linear de temperatura baseado em elementos finitos, compactação mecânica, maturação e geração de hidrocarbonetos. / [en] Petroleum exploration and production is a complex task where the use of physical models is imperative to minimize exploration risks and maximize the return on the invested capital during the production phase of new oil fields. Over time, these models have become more and more complex, giving rise to a tendency of integration between several simulators and the need for new multiphysics simulations, where single-physics models are solved together in a coupled way. This work presents the GeMA (Geo Modelling Analysis) framework, a library to support the development of new multiphysics simulators, allowing both the coupling of new models built with the framework as a base and the integration with pre-existing simulators. Its objective is to promote the use of software engineering techniques, such as extensibility, reusability, modularity and portability in the construction of engineering physical models, allowing engineers to focus on the physical problem formulation since the framework takes care of data management and other necessary support functions, speeding up code development. Built to aid during the entire multiphysics simulation workflow, the framework architecture supports multiple simulation and coupling paradigms, with special emphasis given to finite element methods. Being capable of representing the spatial domain by multiple discretizations (meshes) and exchanging values between them, the framework also implements some important concepts of extensibility, through the combined use of plugins and abstract interfaces, configurable orchestration and fast prototyping through the use of the Lua language. This work also presents a set of test cases used to assess the framework correctness and expressiveness, with particular emphasis given to a 2D basin model that couples FEM non-linear temperature calculations based on finite elements, mechanical compaction and hydrocarbon maturation and generation.

[pt] Nesta dissertação apresenta-se um modelo para aplicação de contratos em ambientes multi-agentes abertos. A idéia principal em um sistema multiagente é que um comportamento global inteligente possa ser alcançado a partir do comportamento individual dos agentes. Neste contexto, surge a dificuldade em se garantir que agentes estão cooperando corretamente para alcançar os objetivos da organização no qual estão inseridos. O modelo proposto neste trabalho visa expandir os conceitos de contratos em componentes a sistemas multi-agentes abertos. Contratos podem ser entendidos como uma forma de negociação entre componentes, no qual se estabelecem obrigações e benefícios que devem ser respeitados por todos os participantes do contrato na execução de serviços. Porém, quando o assunto é sistemas multi-agentes, há pouca literatura disponível. Isto se deve pela dificuldade de se traduzir contratos para componentes sobre o paradigma orientado a objetos às características dos agentes. Componentes possuem métodos e interfaces bem definidas, enquanto agentes ocultam suas estruturas internas e talvez apresentem comportamentos complexos. Um framework foi desenvolvido baseado no modelo conceitual proposto. O resultado visa demonstrar a viabilidade de se aplicar contratos para componentes a ambientes multi-agentes abertos, com o objetivo de gerenciar e averiguar a cooperação entre agentes, levando em consideração seus papéis na organização e respeitando suas características individuais. / [en] In this work, we propose a model for applying contracts in open multi-agent systems. The main idea in a multi-agent system is that an intelligent global behavior can be reached from the individual behavior of the agents. In this context, it is difficulty to guarantee that the agents are correctly cooperating to reach the organization objectives in which they are inserted. The model considered in this work expands the contract concepts in components to open multi-agent system. Contracts can be understood as a negotiation form between components, which entails obligations and benefits for both parties. However, when the subject is multi-agent systems, there are a few available literatures. This is explained because contracts for components, guided on object paradigm, are hard to be translated to the characteristics of the agents. Components have methods and well defined interfaces, while agents hide their internal structures and perhaps they present complex behaviors. A framework was developed based on the conceptual model we are proposing. The result demonstrates the viability of applying contracts for components to the open multi-agents environments. The main goal is to manage and to inquire the cooperation between agents, considering the agents roles in the organization and respecting the individual agent characteristics.

[pt] Sistemas multi-agentes são sociedades com agentes autônomos e heterogêneos que podem trabalhar em conjunto para alcançar objetivos similares ou totalmente diferentes. Quando falhas acontecem enquanto algum agente de software tenta alcançar seus objetivos, torna-se importante entender porque tais falhas acontecem e o que pode ser feito para remediar tais problemas. Considerando o ambiente distribuído, dinâmico e a natureza dos sistemas multi-agentes, é importante definir os requisitos necessários para realizar diagnósticos das falhas e recomendações de planos alternativos para agentes que desejam alcançar seus objetivos. Assim, esta dissertação propõe soluções para os principais desafios de criar um sistema que realize diagnósticos e proveja recomendações sobre execuções de agentes. Além disso, o trabalho propõe um framework híbrido de diagnóstico e recomendação que provê suporte para tais desafios. A partir do framework, instâncias de diferentes domínios podem ser criadas, como, por exemplo, aplicações baseadas em computação ubíqua e diferentes diagnósticos e recomendações podem ser providas. / [en] Multi-agent systems are societies with autonomous and heterogeneous agents that can work together to achieve similar or different goals. Agents executing in such systems may not be able to achieve their goals due to failures during system execution. When an agent tries to achieve its desired goals, but faces failures during execution, it becomes important to understand why such failures occurred and what can be done to remedy the problem. The distributed, dynamic and nature of multi-agent systems calls for a new form of failure handling approach to address its unique requirements, which involves both diagnosing specific failures and recommending alternative plans for successful agent execution and goal attainment. We discuss solutions to the main challenges of creating a system that can perform diagnoses and provide recommendations about agent executions to support goal attainment, and propose a hybrid diagnostic-recommendation framework that provides support for methods to address such challenges. From the framework, instances of different domains can be created, such as, applications based on ubiquitous computing and different diagnoses and recommendations can be provided.

[pt] À medida em que aplicações web que combinam dados de diferentes fontes ganham importância, soluções para a detecção online de dados duplicados tornam-se centrais. A maioria das técnicas existentes são baseadas em algoritmos de aprendizado de máquina, que dependem do uso de bases de treino criadas manualmente. Estas soluções não são adequadas no caso da Deep Web onde, de modo geral, existe pouca informação acerca do tamanho das fontes de dados, da volatilidade dos mesmos e do fato de que a obtenção de um conjunto de dados relevante para o treinamento é uma tarefa difícil. Nesta dissertação propomos uma estratégia para extração (scraping), detecção de duplicatas e incorporação de dados resultantes de consultas realizadas em bancos de dados na Deep Web. Nossa abordagem não requer o uso de conjuntos de testes previamente definidos, mas utiliza uma combinação de um classificador baseado no Vector Space Model, com funções de cálculo de similaridade para prover uma solução viável. Para ilustrar nossa proposta, nós apresentamos um estudo de caso onde o framework é instanciado para uma aplicação do domínio dos vinhos. / [en] As Web applications that obtain data from different sources (Mashups) grow in importance, timely solutions to the duplicate detection problem become central. Most existing techniques, however, are based on machine learning algorithms, that heavily rely on the use of relevant, manually labeled, training datasets. Such solutions are not adequate when talking about data sources on the Deep Web, as there is often little information regarding the size, volatility and hardly any access to relevant samples to be used for training. In this thesis we propose a strategy to aid in the extraction (scraping), duplicate detection and integration of data that resulted from querying Deep Web resources. Our approach does not require the use of pre-defined training sets , but rather uses a combination of a Vector Space Model classifier with similarity functions, in order to provide a viable solution. To illustrate our approach, we present a case study where the proposed framework was instantiated for an application in the wine industry domain.

[pt] A complexidade e a distribuição de sistemas multiagentes tornam seu desenvolvimento muito sujeito a falhas. Ao mesmo tempo, poucas iniciativas procuram resolver o problema através de teste automatizado da mesma maneira que no desenvolvimento orientado a objetos. Este trabalho apresenta um framework para o desenvolvimento de aplicações de teste automatizado através de agentes Stubs para o middleware M-Law. O middleware implementa um interpretador para a linguagem XMLaw, atuando como mediador da comunicação dos agentes segundo a definição das leis de interação. / [en] Complexity and distribution of multi-agent systems make the development of such systems failure prone. In this context, few solutions try to solve the problem through automated tests as we see in object oriented development. This work presents a framework for test automated applications development through the use of Stub agents for the middleware M-Law. This middleware implements the law-enforcement mechanism for regulating OMAS specified by the description language XMLaw which implements a law definition language, called XMLaw, for agent interaction in open multi-agent systems.

[pt] Atualmente, o mercado de trabalho é caracterizado por globalização, forte competição, rápidas mudanças, crescente fluxo e obsolescência de informações e exigentes padrões de qualidade e de produtividade. Para acompanhar estas transformações, portanto, a escola também precisa evoluir do modelo clássico para a Aprendizagem Colaborativa, a fim de formar indivíduos capazes de se comunicar, trabalhar em grupo na resolução de problemas complexos e interdisciplinares, coordenar o trabalho individual e do grupo, e tomar as melhores decisões. Esta pesquisa investiga especificamente a avaliação colaborativa em grupos de trabalho e de aprendizagem, e propõe o IssueNet, um Framework de colaboração para acompanhamento e avaliação colaborativa de tarefas. Para validar a contribuição do Framework na avaliação colaborativa, e investigar que outras influências a sua utilização exerce em grupos de trabalho ou de aprendizagem, foram realizados dois estudos de caso com duas instâncias distintas do IssueNet. Após a análise dos estudos de caso e dos depoimentos dos participantes, concluiu-se que o Framework atendeu às expectativas de possibilitar a avaliação colaborativa em grupos de trabalho ou aprendizagem. / [en] Currently, the business market is characterized by globalization, strong competition, fast changes, increasing flow and obsolescence of information and demanding quality standards and productivity. To follow these transformations, the school also needs to evolve from the classical model to Collaborative Learning, in order to form individuals capable to communicating, working in group for the resolution of complex and interdisciplinary problems, coordinating the individual work and that of the group, and taking the best decisions. This research specifically investigates the collaborative evaluation in learning and working groups, and proposes IssueNet, a collaboration Framework for the management and collaborative evaluation of tasks. To validate the contributions brought about by the Framework, and to investigate what other influences it may have on learning or working groups, two case-studies using two distinct IssueNet instances have been carried through. After the analysis of the casestudies and of the based on the comments of the participants, we have concluded that the Framework satisfies our expectations by making it possible the collaborative evaluation in learning or working groups.

[pt] A necessidade de se conhecer o identificador de um objeto para solicitar seus serviços é uma restrição à utilização de orientação a objetos na construção de sistemas grandes e complexos. Para minimizar esta restrição, foi proposta uma forma de se referenciar a um determinado objeto através de uma identificação genérica, denominada pronome. Pronomes permitem que o programador especifique o envio de uma mensagem sem que o objeto destino seja nominalmente conhecido neste contexto. Com pronomes, a visibilidade de um objeto aumenta sem que regras de encapsulamento e visibilidade sejam quebradas. Desta forma, classes servidoras completamente desacopladas de seus clientes podem ser construídas e utilizadas em diferentes contextos. Neste trabalho, exploram-se pronomes já definidos anteriormente, dando a estes um novo tratamento através de linguagens abertas, e definem-se novos pronomes. O conjunto de pronomes obtido facilita a implementação de arquiteturas e padrões de projeto de relevância, sendo também abrangente no que diz respeito às características dos objetos representados por seus pronomes. Define-se ainda, a partir da experiência adquirida com a implementação dos pronomes, um framework para a definição e implementação de novos pronomes. Este framework é ainda aqui instanciado para dois novos pronomes a fim de validá-lo. / [en] The need to know the object identification to request it s services is a estriction in the construction of object oriented system. To reduce this restriction we have proposed a form of generic reference to an object named pronoum. Pronouns allow the programmer to specify how to send a message without knowing the destination object by name. With pronouns, the visibility of an object increases without breaking the rule of encapsulation. With this feature decoupled server classes may be constructed and used in different contexts. This work define some pronouns, show its utilities through of examples and suggest a framework to new pronouns creation.

[pt] O aumento da demanda por plataformas com suporte a aplicações multimídia torna evidente a importância de mecanismos que ofereçam garantias de Qualidade de Serviço (QoS), uma vez que cada mídia exige requisitos próprios de processamento e comunicação. O modelo SCM (Service- Composition Model) fornece abstrações adequadas para a representação e programação de aspectos de QoS e comunicação em grupo em serviços de comunicação. Seguindo sua terminologia, a provisão de QoS pode ser vista como um provedor de serviços onde atuam meta serviços de negociação e sintonização de QoS. A negociação de QoS define mecanismos responsáveis pela admissão de novos fluxos do usuário, enquanto a sintonização de QoS age, durante o fornecimento do serviço, na manutenção do nível de serviço negociado. Tais meta serviços já foram previamente descritos por meio de frameworks em UML. O presente trabalho focaliza a descrição arquitetural desses meta serviços, utilizando a linguagem de descrição de arquitetura (ADL) Wright, permitindo o emprego de suas ferramentas de análise e verificação formal para inferir propriedades. Para facilitar o emprego dessa abordagem através do uso de uma notação mais próxima do domínio do problema, uma linguagem de domínio específico (DSL) chamada LindaQoS é proposta especificamente para definir hierarquias de subsistemas de negociação e sintonização. O trabalho é complementado por um compilador que traduz especificações LindaQoS para descrições arquiteturais (atualmente, usando Wright) e para linguagens de programação (futuramente em JAVA). / [en] The increased demand for platforms with support for multimedia applications raised the importance of mechanisms for Quality of Service provisioning, since each media has its own processing and communication requirements. SCM Model (Service-Composition Model) provides abstractions for the representation and programming of QoS aspects and multicast in communication services. According to its terminology, the QoS provisioning can be seen as a service provider, where QoS negotiation and QoS maintenance meta services act upon it. The QoS negotiation are the mechanisms responsible for the admission of new user flows, while the QoS maintenance meta service is responsible for maintaining the negotiated level of service during the service operation. Such meta services had been previously described as frameworks modelled in UML. The present work focuses on the architectural description of these meta services using Wright architecture description language (ADL), which allows the use of its analysis and formal verification tools to infer properties. To smooth this approach, a domain-specific language (DSL) called LindaQoS is proposed as a notation closest to the abstraction level of the problem domain, specifically designed to define hierarchies of negotiation and maintenance subsystems. Moreover this work presents a compiler allowing the translation of LindaQoS specifications into architectural descriptions (currently, using Wright) and into programming languages (JAVA in the future).

[pt] Até alguns anos atrás, a Web disseminava principalmente documentos. Com o advento das aplicações Web, as organizações puderam disponibilizar informações que estavam em seus bancos de dados e sistemas legados. Entretanto, a comunicação entre estas aplicações ou com aplicações de usuários finais, às vezes, não era possível devido a diferenças no formato de representação dos dados. O desenvolvimento de padrões (standards) e o uso da eXtensible Markup Language (XML) resolveram muitos destes problemas. Apesar das soluções desenvolvidas serem somente sintáticas elas funcionam em muitos casos, como por exemplo, na interoperabilidade de esquemas em sistemas bussiness to bussiness de e-commerce. Entretanto, a falta do aspecto semântico impossibilitou que as aplicações fizessem mais uso dos dados ou os utilizassem de forma mais inteligente. A idéia da Web Semântica é definir explicitamente o significado dos dados que se encontram na Web. Com isso, esperam-se aplicações capazes de entender o que significam os dados. E uma vez que estas aplicações entendam os dados, elas possibilitarão que os usuários utilizem essa nova Web dirigida a dados para facilitar as suas tarefas rotineiras. Esta tese propõe um framework para o desenvolvimento de aplicações para a Web Semântica. Considerando o que foi descrito no parágrafo anterior, o número de aplicações que podem ser construídas é quase infinito. Portanto, nós nos restringimos a observar as aplicações que tem por objetivo solucionar o problema apresentado pelo Semantic Web Challenge; e propor um framework que represente estas soluções. O Challenge tem como principal finalidade demonstrar como as aplicações podem atrair e beneficiar o usuário final através do uso das técnicas da Web Semântica. Conseqüentemente, nossa intenção é possibilitar que o desenvolvedor de aplicações possa atingir essa atração e benefícios, através do uso das técnicas de Web Semântica e de Engenharia de Software, utilizando um framework para o desenvolvimento das aplicações. / [en] Documents have been the main vehicle of the Web until some years ago. With the advent of Web applications, data stored in organizations databases or legacy systems has been made available to users. However, very often, the exchange of data between those applications themselves or between them and end-users applications were not possible since they used different formats for the information representation. The development of standards and the use of the eXtensible Markup Language (XML) solved parts of the problem. That was a syntactic solution and it works for several cases, e.g., schema interoperability in Business-to-Business e-commerce scenarios. Nevertheless, the lack of semantics on these data prevented applications to take more advantage of them. The idea behind the Semantic Web is to define explicitly the semantics of data available on the Web. Therefore, we expect another step forward where applications, being them corporative or for end-users, will understand the meaning of the data available on the Web. Once those applications can understand it, they will be able to help users to take advantage of this data driven Web and to perform their daily tasks easily. This thesis proposes a framework for the development of Semantic Web applications. Considering the scenario described in the previous paragraph, the number of possible applications that can be developed is almost infinite. For this reason, we restricted ourselves to examine the solutions that aim to solve the problem presented at the Semantic Web Challenge; and to propose a framework that represent those solutions. The challenge is concerned in demonstrating how Semantic Web techniques can provide valuable or attractive applications to end users. Our main concern was then to demonstrate and help a developer to achieve that value addition or attractiveness, through Semantic Web techniques, in a Software Engineering approach using frameworks.