Made available in DSpace on 2014-06-12T15:58:42Z (GMT). No. of bitstreams: 2 arquivo4672_1.pdf: 4089869 bytes, checksum: aa0f68c982136f755b06bba7bdb7a3da (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O desenvolvimento orientado a agentes é bastante recente, no entanto, este novo paradigma tem sido utilizado cada vez mais em aplicações industriais, tais como telecomunicações e comércio eletrônico. Entre as principais preocupações para a consolidação desse novo paradigma, destacamos a necessidade de técnicas, notações e ferramentas adequadas para suportar o desenvolvimento de sistemas orientados a agentes. Neste sentido, o projeto Tropos está desenvolvendo uma abordagem de desenvolvimento orientado a agentes centrada em requisitos que visa suportar todas as fases do desenvolvimento de software orientado a agentes. Tropos definiu vários estilos arquiteturais que focam em processos organizacionais e nos requisitos não-funcionais do software. Esses estilos arquiteturais or ganizacionais foram descritos inicialmente com a notação i*. Contudo, o uso do i* como uma linguagem de descrição arquitetural (ADL) é inadequado, pois apresenta algumas limitações sobretudo no que diz respeito ao detalhamento comportamental do projeto arquitetural. Reconhecendo que a Unified Modeling Language (UML) pode ser estendida para atuar como uma linguagem de descrição arquitetural, apresentamos neste trabalho um conjunto de extensões baseadas na UML Real Time para representar os estilos arquitetur ais organizacionais. Representar esses estilos arquiteturais em UML permitirá que o engenheiro de software insira mais detalhe ao projeto arquitetural do sistema. A fim de validar esta proposta, é apresentado um estudo de caso que utiliza o framework Tropos no desenvolvimento de um sistema de software multi-agentes para uma aplicação de comércio eletrônico

Presentar la idea de negocio como solución en el campo de las telecomunicaciones, usando equipos de comunicaciones de última generación que permita presentarse como alternativa a los sistemas de telecomunicaciones convencionales es decir brindar servicios de comunicación donde no es posible llegar con los medios convencionales de comunicación ( cables de cobre o fibra óptica). La tecnología TROPOS es una tecnología recientemente usada en países desarrollados como Estados Unidos y aún es poco conocida en Sudamérica, esta tecnología permite hacer “mallas inteligentes” con equipos de comunicación inalámbricos, permitiendo que la información de los usuarios vaya por varios caminos hasta llegar a su destino, esta otra forma de aplicación permite tener redes de telecomunicaciones fuertes y confiables para diferentes aplicaciones en el sector minero y eléctrico así como también para aplicaciones en sistemas de petróleo, gas y ciudades inteligentes, donde su uso permite aminorar costos de montaje e instalación respecto a los medios de comunicación convencionales.

Made available in DSpace on 2014-06-12T15:50:53Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A orientação a agentes surgiu como um novo paradigma para o desenvolvimento de software e projetistas e desenvolvedores têm se voltado para os conceitos da orientação a agentes a fim de entender, modelar, e desenvolver de forma mais adequada sistemas cada vez mais complexos e que operam em um ambiente distribuído. Como esperado, o crescimento do interesse em agentes de software tem levado a propostas de novas metodologias baseadas nos conceitos de agentes. A metodologia estudada neste trabalho, Tropos, é fundamentada no conceito de agentes. Tais conceitos são adotados desde a fase de requisitos, tal como ator, objetivo e dependência entre atores. A partir do estudo de Tropos, este trabalho focou nas fases de requisitos finais e iniciais, que utiliza i* como linguagem de modelagem. O framework i* possui uma estrutura conceitual capaz de reconhecer motivações, intenções e raciocínios sobre as características de um processo, o que facilita os esforços nas atividades da Engenharia de Requisitos. A partir do estudo detalhado do i* e da identificação das restrições sobre o uso desta linguagem, é proposta uma ferramenta - plug-in para o Eclipse - com o objetivo de dar suporte ao desenvolvimento dos modelos i* como atividades das fases de requisitos do Tropos. O objetivo deste trabalho é permitir a construção de modelos válidos segundo um guia de boas práticas - i* Wiki, e adotar uma plataforma de desenvolvimento open source que possibilite o desenvolvimento colaborativo da ferramenta proposta. Além disto, o framework GMF de modelagem gráfica do Eclipse é estudado e adotado como abordagem para a implementação da ferramenta proposta nesta dissertação - IStar Tool

Made available in DSpace on 2014-06-12T15:52:06Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Atualmente existe muita expectativa em relação à tecnologia de agentes, que surge como um paradigma promissor para a engenharia de sistemas de software. Agentes são importantes e úteis porque permitem um tratamento adequado do fluxo de controle de sistemas altamente distribuídos, oferecem um mecanismo que facilita o surgimento de comportamento emergente, bem como incorporam as melhores práticas de como organizar entidades colaborativas concorrentes. Com o aumento da complexidade das aplicações baseadas em agentes, torna-se importante o uso de notações, ferramentas e metodologias específicas para seu o desenvolvimento. Nos últimos anos foram propostas várias metodologias e notações para desenvolvimento orientado a agentes, tais como Tropos. Trata-se de abordagem centrada em requisitos, que se preocupa em capturar a complexidade de aspectos sociais. Tropos é considerada uma das metodologias mais completas, pois abrange todas as fases do ciclo de desenvolvimento de sistemas multiagentes. Desde a concepção inicial do Tropos em 2000, várias versões e extensões foram propostas. Contudo, estas propostas têm adotado atividades e notações diferentes, dificultando sua adoção pelos desenvolvedores de software. Além disso, não existe um processo padronizado e unificado que oriente as suas atividades de desenvolvimento orientado a agentes. O objetivo principal desta dissertação é especificar um processo unificado de desenvolvimento orientado a agentes conforme algumas propostas existentes do projeto Tropos. A especificação será baseada na linguagem SPEM de especificação de processos. Será proposto tanto um modelo estrutural como um modelo dinâmico do processo. A base para formulação do modelo estrutural do processo é a integração de atividades extraídas das duas versões de Tropos com métodos criados para as fases de projeto arquitetural e projeto detalhado. O modelo dinâmico sugere um ciclo de vida orientado pelo modelo de desenvolvimento iterativo e incremental. O resultado é o U-Tropos: uma proposta de processo unificado para apoiar o desenvolvimento de software orientado a agentes

The main objective of this thesis is to integrate agent oriented concepts into a complex methodology for description of business processes MMABP that is being developed on University of Economics, Prague. The first part describes and explains agent oriented approaches to business process modeling (i*/TROPOS, AOR, OOEM and UFO ontology) and demonstrates them on a case study. MMABP methodology is then compared with these approaches and evaluated. The evaluation concludes that MMABP is incomplete in relation to agent oriented concepts of plan, plan execution, desire, intention, commitment and claim and also to concepts of stable and unstable state. Concepts of goal, agent and business process are evaluated as inaccurate. Second part of the theses arguments and defines MMABP extension that eliminates identified inadequacies. Metamodel is amended with the concept of plan execution which is intentionally executed action that leads to a goal fulfillment. Plan is a description of this special kind of action. Agent is an entity that has goals and is capable of executing plans. Business process received a new definition and is defined as something that defines plans (as a prescription of actions), has goals and uses agents to execute actions. Business process is not defined as a specialization of a complex event anymore. The thesis also specifies procedure where concepts are step-by-step transformed from one diagram to another.

There are many Information System requirement specification methods, but not much of them are related with goals. This work presents analysis of methods related with goal modelling and requirement specification. The field of this work is specification methods of goals and requirements. The object of this work is goal driven requirement specification process. The problem of the work is alignment of requirements to business goals and tracing the compliance of goals, requirements and design artefacts during development process. The main result of analysis is revealing of perspectives for extending requirement specification method with goal modelling and analysis, relating and tracing goals to requirements and software artefacts, and integration of these steps into standard unified development process. For this purpose, a UML profile was created and implemented in CASE tool “Magic Draw”. Experimental investigation of created means by applying them to IS development demonstrated the suitability of the approach. / Daugelyje organizacijų aktuali informacinių technologijų atitikimo veiklos poreikiams problema. Vienas iš būdų ją spręsti – susieti informacinių sistemų programinės įrangos reikalavimų specifikacijas su veiklos tikslais. Dėl reikiamų modeliavimo priemonių CASE įrankiuose nebuvimo tikslų modeliavimas praktiniuose kūrimo procesuose yra neatliekamas arba atliekamas tik dalinai. Planuojant informacinių sistemų projektus, tikslinga analizuoti tikslus, nes taip galima padidinti informacinių sistemų tinkamumą veiklos poreikiams. Todėl tikslais grindžiamo reikalavimų specifikavimo metodo sukūrimas yra aktuali ir novatoriška problema. Šio darbo tyrimo sritis yra tikslų ir reikalavimų specifikavimo metodai. Darbo tyrimo objektas yra tikslais grindžiamas reikalavimų specifikavimo procesas. Šio darbo tyrimo problema yra reikalavimų suderinamumas su veiklos tikslais, taip pat tikslų, reikalavimų ir juos realizuojančių artefaktų atitikimo sekimas projektavimo metu. Darbo tikslas yra sudaryti reikalavimų specifikacijos modelį, kuriame specifikacijų elementai būtų susieti tarpusavyje ir turėtų ryšį su organizacijos tikslais. Taip pat reikia pateikti priemones tikslų, reikalavimų ir artefaktų atitikimui sekti projektavimo metu. Sukurtas tikslais grindžiamų reikalavimų metamodelis ir UML profilis, realizuotas UML CASE įrankio Magic Draw DSL kūrimo priemonėmis, leidžia vaizduoti tikslus, su jais susijusius panaudojimo atvejus ir detalizuotus reikalavimus. Taikydami sudarytą metodiką... [toliau žr. visą tekstą]

Made available in DSpace on 2016-08-29T15:33:17Z (GMT). No. of bitstreams: 1 tese_5084_.pdf: 1868850 bytes, checksum: 22f46d96f48ef171f653cbcd277c6088 (MD5) Previous issue date: 2012-08-22 / Epidemiology is a field of study in Medicine which seeks to understand the factors that determine the frequency and distribution of diseases in humans. This field allows one to understand the phenomena of health and disease of a particular population by generating this populations epidemiological profile. The knowledge provided in this profile allows a shift in the focus from treating to preventing diseases, which is an important aim of the current Brazilian health care program. This dissertation proposes a system to study the epidemiological profile in a basic health care unit. This system applies an ontology as basis for modeling and querying the epidemiological information. An ontology is a conceptual model which captures an specific view of a domain of discourse. This model may be used to structure the systems information, which later can be queried also with basis on this same ontology. A preliminary validation of this systems prototype has shown that it is able to successfully generate the health care units epidemiological profile, providing new knowledge about the patients and treatments involved in this unit. Such prototype may now be applied in this real setting to guide the actions of health care professionals in dealing with hypertension and other health conditions. In order to develop the system, a goal-oriented methodology based on Tropos is applied. This methodology guides software development since an early stage of organizational modeling until the systems implementation by using current standards for ontology implementation. Many of the available ontology engineering methodologies presuppose the existence of a set of questions which provide the objective and scope of the ontology under development. However, these so-called competency questions are not always clear from start. The highlight of the proposed methodology is applying goal analysis to assist the ontology engineer to reason about and model competency questions. Following this view, such competency questions are comparable to system requirements, elicited and modeled during the requirements engineering stage of a software development process. Both the developed system and the proposed methodology are contributions of this work. However, while the former has proven to be useful in practice, further steps must be carried out in order to properly validate the latter, by applying it to other cases.

Made available in DSpace on 2014-06-12T16:01:13Z (GMT). No. of bitstreams: 2 arquivo7181_1.pdf: 2061939 bytes, checksum: 2f49d53f35f82c5159b09beeb29f77d6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Sistemas Multi-Agentes (SMA) são sistemas altamente distribuídos, ou seja, que não possuem um único ponto de controle, e que utilizam uma coleção de agentes. Um agente pode ser visto como um sistema computacional encapsulado que está situado em algum ambiente e é capaz de realizar ações autônomas e ter um comportamento flexível neste ambiente, com o intuito de atingir os objetivos para os quais foi projetado. Agentes de um SMA têm objetivos particulares, interagem com um mundo dinâmico e se inter-relacionam, através de uma estrutura organizacional, para resolver tarefas e atingir seus objetivos. Com o aumento da complexidade desses sistemas, torna-se importante o uso de notações, ferramentas e metodologias específicas para o desenvolvimento de software orientado a agentes, visando à construção de sistemas mais robustos, confiáveis e reutilizáveis. Neste sentido, a metodologia Tropos apresenta uma abordagem centrada em requisitos que objetiva dar suporte a todas as fases do desenvolvimento de software orientado a agentes. Tropos é fundamentada nos conceitos sociais e intencionais do framework de modelagem organizacional i* e possui quatro fases de desenvolvimento: Requisitos Iniciais, Requisitos Finais, Projeto Arquitetural e Projeto Detalhado. O objetivo principal desta dissertação é apoiar o desenvolvimento, usando a plataforma JADE, de SMA especificados no contexto da metodologia Tropos. Foram realizadas complementações na fase de projeto detalhado desta metodologia, para capturar aspectos dos agentes que precisam ser levados em consideração quando desejamos implementar um SMA em JADE. Nossa proposta apresenta como estudo de caso o desenvolvimento de um sistema de gerenciamento de conteúdo (CMS) que utiliza agentes para simular o processo de publicação de notícias em um site da internet

Les termes logos (raison) et tropos forment un couple qui est très significatif pour la pensée de Maxime le Confesseur (c. 580-662). Dans notre thèse, nous examinons les contextes dans lesquels Maxime le Confesseur emploie le terme tropos (mode) soit à l’intérieur du couple logos-tropos, soit de façon autonome. Nous ne traitons pas le concept de tropos comme un terme invariant intégré à une doctrine uniforme, mais plutôt comme un moyen ou un «outil» conceptuel qui aide Maxime à résoudre des problèmes très différents dans plusieurs domaines de sa pensée. Nous examinons les différents contextes dans lesquels Maxime le Confesseur utilise le couple logos-tropos ou le seul terme tropos, comme, par exemple, la logique, la relation entre l’universalité et la particularité, la théologie trinitaire, la question du mal et la Théodicée, la cosmologie, la théorie du progrès spirituel, la théorie de l’achèvement ontologique, la christologie et l’eschatologie. Dans chaque cas, nous insistons sur les termes qui sont déterminés par le mot tropos et sur les relations de contraste, d’opposition ou tout simplement de distinction qui se forment entre eux. Nous examinons également le champ lexical des mots qui sont relatifs au terme tropos. En général, le logos exprime la stabilité et la permanence qui est nécessaire pour qu’il y ait un sens contemplé par le sage, alors que le tropos signifie une modalité qui ouvre la possibilité de contingence, de surprise et d’innovation à l’intérieur de l’Histoire. L’emphase est plutôt mise sur le fait que le tropos est exactement une modalité qui peut coexister avec le logos sans l’annuler, altérer ou corrompre. / The terms logos (reason) and tropos (mode) form a very important couple in the thought of Maximus the Confessor (c. 580-662). In our PhD thesis, we are examining the contexts in which Maximus the Confessor is using the term tropos (mode) either inside the couple logos-tropos or independently. We are not developing the concept of tropos as a uniform doctrine, but we are examining it mostly as a means or as a conceptual “tool” which helps Maximus solving very different problems in diverse domains of his thought. We thus examine the use of the term tropos in contexts such as logic, the philosophical relation between universality and particularity, Trinitarian theology, the question of evil or Theodicy, cosmology, the stages of spiritual progress, the theory of the ontological actualization of beings, Christology and eschatology. In each case, we are insisting in the terms which are determined by the word tropos, the terms which are determined by the word logos, as well as the relations of contrast, opposition or simple distinction between them. We are equally examining the lexical field that is related to the term tropos. In general, logos expresses the stability and the permanence that are necessary for the existence of a meaning which could be contemplated by the philosopher, whereas tropos means a modality which opens a space for contingence, surprise and innovation inside History. The emphasis is placed on the fact that tropos is exactly a modality which can coexist with logos without annulling, altering or corrupting it.

Ce mémoire propose une lecture psychanalytique du Dyscolos de Ménandre. Le personnage de Cnémon, le misanthrope de la pièce, est interprété à travers certains concepts de la psychanalyse lacanienne. Nous soutenons qu’à l’origine du caractère misanthropique de Cnémon on trouve une identification avec l’imago du misanthrope, et que, par conséquence, son tropos (« caractère » ou « façon d’être ») est le produit de cette identification. De cette façon, le tropos du personnage est un élément vital de son existence et sa subjectivité. De plus, nous affirmons que derrière la – en apparence – simple misanthropie de Cnémon se cache une formation complexe qui amène directement à son désir. / This dissertation analyses Menander’s Dyscolos from a psychoanalytic perspective. The character of Cnemon, the misanthrope of the play, is interpreted through concepts drawn from Lacanian psychoanalysis. I argue that the misanthropic nature of Cnemon arises from an identification with the imago of the misanthrope, and that his tropos (‘character’ or ‘way of being’) is a product of such an identification. Thus conceived, the tropos of the character is a vital element of his existence and his subjectivity. Furthermore, I argue that behind the prima facie simple misanthropy of Cnemon lies a complex formation which leads to his desire.