La conception d’un langage de modélisation pour domaine spécifique (DSML) implique la conception d’un outillage dédié qui met en oeuvre des fonctionnalités de traitement et d’analyse pour ce langage. Dans bien des cas, les fonctionnalités à mettre en oeuvre existent déjà , mais elles s’appliquent à des portions ou à des variantes du DSML que le concepteur manipule. Réutiliser ces fonctionnalités existantes est un moyen de simplifier la production de l’outillage d’un nouveau DSML. La réutilisation implique que les données du DSML soient adaptées afin de les rendre valides du point de vue de la fonctionnalité à réutiliser. Si l’adaptation est faite et les données sont placées dans le contexte de la fonctionnalité, elle peut être réutilisée. Le résultat produit par l’outil reste dans le contexte de l’outil et il doit être adapté afin de le placer dans le contexte du DSML (migration inverse). Dans ce cadre, la réutilisation n’a de sens que si les deux adaptations de données sont peu coûteuses. L’objectif de cette thèse est de proposer un mécanisme qui intègre la migration, la réutilisation et la migration inverse. La principale contribution est une approche qui facilite la réutilisation de fonctionnalités existantes via des migrations de modèles. Cette approche facilite la production de l’outillage d’un DSML. Elle permet de faire des migrations réversibles entre deux DSMLs sémantiquement proches. L’utilisateur est guidé lors du processus de réutilisation pour fournir rapidement l’outillage complet et efficace d’un DSML. L’approche a été formalisée et appliquée à un DSML (Orcc) dans le contexte des MPSoC. / Designers of domain specific modeling languages (DSMLs) must provide all the tooling of these languages. In many cases, the features to be developped already exist, but it applies to portions or variants of the DSML.One way to simplify the implementation of these features is by reusing the existing functionalities. Reuse means that DSML data must be adapted to be valid according to the functionality to be reused. If the adaptation is done and the data are placed in the context of the functionality, it can be reused. The result produced by the tool remains in the context of the tool and it must be adapted to be placed in the context of the DSML (reverse migration).In this context, reuse makes sense only if the migration and the reverse migration are not very expensive. The main objective of this thesis is to provide a mechanism to integrate the migration, the reuse and the reversemigration and apply them efficiently. The main contribution is an approach that facilitates the reuse of existing functionalities by means of model migrations. This approach facilitates the production of the tooling for a DSML. It allows reversible migration between two DSMLs semantically close. The user is guided during the ruse process to quickly provide the tooling of his DSML.The approach has been formalised et applied to a DSML (Orcc) in the context of the MPSoC.

In this thesis, a simulation package for the Six Degrees of Freedom (6DOF) motion of an underwater vehicle is developed. Mathematical modeling of an underwater vehicle is done and the parameters needed to write such a simulation package are obtained from an existing underwater vehicle available in the literature. Basic equations of motion are developed to simulate the motion of the underwater vehicle and the parameters needed for the hydrodynamic modeling of the vehicle is obtained from the available literature. 6DOF simulation package prepared for the underwater vehicle was developed using the MATLAB environment. S-function hierarchy is developed using the same platform with C++ programming language. With the usage of S-functions the problems related to the speed of the platform have been eliminated. The use of Sfunction hierarchy brought out the opportunity of running the simulation package on other independent platforms and get results for the simulation.

Although service oriented architecture has reached a particular maturity level especially in the technological dimension, there is a lack of common and acceptable approach to design a software system through composition and integration of web services. In this thesis, a service oriented system design approach for Service Oriented Architecture based software development is introduced to fill this gap. This new methodology basically offers a procedural top-down decomposition of a given software system allowing several abstraction levels. At the higher levels of the decomposition, the system is divided into abstract nodes that correspond to process models in the decomposition tree. Any node is a process and keeps the sequence and the state information for the possible sub-processes in this decomposition tree. Nodes which are defined as process models may include some sub-nodes to present details for the intermediate levels of the model. Eventually at the leaf level, process models are decomposed into existing web services as the atomic units of system execution. All processes constructing the system decomposition tree are modeled with BPEL (Business Process Execution Language) to expose the algorithmic details of the design. This modeling technique is also supported with a graphical modeling language referred to as SOSEML (Service Oriented Software Engineering Modeling Language) that is also newly introduced in this thesis.

A component-oriented tool for hierarchical modeling of instructional designs is developed. The motivation is to show that hierarchical representation of instructional designs is easier, better and more effective for modeling. Additionally a modeling language is developed to provide an effective, flexible and easy to use integration model in which all teaching components are discovered, defined and connected. In order to fulfill the above purposes an abstract notation is developed that is sufficiently general and adapting top-down hierarchic approach to represent Units of Learning (UoL), Operational Knowledge Units (OKU), Learning Objects (LO), and Learning Components (LC) with respect to the common structures found in different instructional models. COSEML, a top-down hierarchic, and component oriented modeling language has been used as a reference and the core concept in developing the Educational Component Oriented Modeling Language (ECOML). The high-level architecture of ECOML provides the means for designing instructional structures. It describes how LOs, UoLs, OKUs and LCs are sequenced in a certain context or knowledge domain. The resulting model can be reused in different contexts and across different educational platforms.

Die Konfrontation mit innovativen IT-Technologien und deren Beurteilung gehört heute zu den Kernaufgaben des Informationsmanagements. Es muss permanent entscheiden, ob neue IT-Technolgien im Unternehmen nutzenstiftend eingesetzt werden können. Zur Beurteilung von IT-Projekten liefert die Teildisziplin des IT-Controllings, die Elemente der Wirtschaftsinformatik und des Controllings vereint, diverse Methoden und Ansätze. Diese Ansätze bilden die Basis für die vorliegende Arbeit, in der insbesondere der Aspekt der Nutzenbewertung von IT-Innovationen diskutiert wird. Bei der Bewertung von IT-Innovationen treten spezifische Probleme auf, denen der Autor mit der Fortentwicklung der vorhandenen Instrumente begegnet. Der Einsatz von unscharfen Methoden (Fuzzy Logik) führt zu einer adäquaten Darstellung von vagen Größen in Form von Zugehörigkeitsfunktionen. Durch den Einsatz von Regelbasen wird ein Expertenwissen repräsentiert, das die Analysemethode nach außen hin vereinfacht und somit zu einer effizienteren Nutzenbetrachtung führt. Die Auswahl und Initiierung von innovativen IT-Projekten wird durch ein Vorgehensmodell gestützt, das bei der fundamentalen Fragestellung nach Schwachstellen und Verbesserungspotentialen im Unternehmen ansetzt. Für diese Analyse wird auf die Erfolgsfaktorenanalyse zurückgegriffen, die durch individuelle Faktoren angepasst wird. Aus den analysierten Schwachstellen werden innovative IT-Projekte abgeleitet und definiert. Die Aufstellung der Nutzenkriterien erfolgt aus einem allgemeinen Nutzenkatalog, der mit den analysierten Erfolgsfaktoren korrespondiert. Die konkrete Bewertung der Projekte erfolgt durch die fuzzybasierte Nutzenbewertung und liefert prägnante Empfehlungen zu den einzelnen Projekten. Die Integration des Vorgehensmodells in das IT-Controlling erfordert eine automatisierte Form, die aufgrund der UML Notation generiert werden kann. Die prototypische Umsetzung und Verwendung der unscharfen Nutzenanalyse haben gezeigt, dass die Methodik für den praktischen Einsatz tauglich ist.

Dans le domaine de la chaîne logistique, nous constatons des besoins croissants d'information et d'interactions entre produits, processus et clients, et ceci durant le cycle de vie du produit. Cela entraîne le besoin, au niveau du produit, de nouvelles capacités de communication, de gestion de l'information, de perception et d'action avec son environnement physique. Ces besoins ont engendré le concept de produit ou objet communicant. Un produit avec ces nouvelles capacités pourra interagir avec d'autres entités physiques ou informationnelles dans son environnement et apporter des transformations significatives sur la gestion de la chaîne logistique. Le travail présenté dans cette thèse vise à analyser et contribuer à appliquer la notion d'objet communicant aux produits physiques dans le domaine de la chaîne logistique. L'approche proposée considère un produit comme un demandeur ou un fournisseur de services. La méthodologie proposée de gestion des produits communicants s'appuie sur la caractérisation d'une architecture de services ambiants devant permettre de gérer les services d'un produit d'une façon automatique et ubiquiste. Nous avons choisi l'architecture UPnP pour gérer les services des objets communicants. La communication directe avec le produit est supportée par les méthodes d'identification automatique RFID. Nous nous sommes appuyés sur le formalisme standard de modélisation UML afin de modéliser les interactions et les services associés à un produit physique. Comme résultat, nous avons élaboreé des démonstrateurs de laboratoire validant la faisabilité de notre proposition méthodologique de gestion de la chaîne logistique par les objets communicants.

This dissertation presents software components for processing and analysis of digital images and a system capable to control them in an organized way. The Components must be functional, context-free, readable and maintainable. So far, achieving these basic requirements is a need in the software development process. Software components are designed to be reusable in a variety of different environments. The architecture of programming language used, in the case Java, allows programs to be assembled from software building blocks. In that way the designer can incorporate easily these components into an application, needing just to know your entrance and exit interface. However, to find the right abstractions to build extensible and reusable software is not an easy task. Even experienced object-oriented designers often need to review a design several times before getting to one appropriate solution. Therefore, the idea of design patterns has gained ground quickly since it provides a solution to a certain design problem. These patterns specify a way to build, structure, and manipulate software entities in a reasonably fashion, aiming mainly, to management your complexity in the domain of digital imaging processing to assure your quality. In this paper were built components for image segmentation based on convolution filters, for improvement of the quality of the image through the process of automatic equalization, for image storage in graphic files of different formats, in the creation of a component to visualize the histogram, in the visualization of the image in the screen through graphic interface, in the conversion of the colored images for grayscale formats and in the thresholding process. / Essa dissertação apresenta componentes de software para processamento e análise de imagens digitais e um sistema capaz de controlá-los de forma organizada. Os componentes precisam ser funcionais, flexíveis, legíveis e de fácil manutenção. Assim, alcançar esses requerimentos básicos é uma necessidade no processo de desenvolvimento de software. Componentes de software são projetados para serem usados em uma variedade de ambientes. A arquitetura da linguagem de programação utilizada, no caso Java, permite que os programas sejam montados a partir de blocos de software. Dessa forma o projetista pode incorporar facilmente esse componente em uma aplicação, necessitando conhecer apenas sua interface de entrada e saída. No entanto, encontrar a abstração certa para construir software reutilizável não é uma tarefa fácil. Mesmo os projetistas mais experientes em orientação por objetos freqüentemente precisam revisar um projeto várias vezes antes de conseguir uma solução apropriada. Por essa razão, a idéia de padrões de projeto tem ganhado terreno rapidamente, desde que estabelece uma solução para um certo problema de projeto. Estes padrões especificam uma maneira para construir, estruturar e manipular entidades de software em um estilo racional visando, principalmente, gerenciar a sua complexidade no domínio de processamento digital de imagens para assegurar a sua qualidade. Nesse trabalho foram construídos componentes para segmentação de imagens baseado em filtros de convolução, para melhoria da qualidade da imagem através do processo de equalização automática, para armazenamento da imagem em arquivos gráficos de diferentes formatos, na criação de um componente para visualizar o histograma, na visualização da imagem na tela através de interface gráfica, na conversão da imagens coloridas para tons de cinza e no processo de limiarização.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) / Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11 / Capes / Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos. / Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite that. there is no systematic approach to support verification between the behavioral design and the implemented source code. In this work, we propose an approach to verify this conformity. The use of this approach vvill help developers, architects, and engineers to maintain the software documentation updated. Its usage allows that the development team and managers to detect behavioral design implementation defects. We also present the tool support built for our approach using Model Driven Architecture (MDA) and a preliminary evaluation about this work.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-19T15:04:01Z No. of bitstreams: 1 FABIANA PAULINO GUEDES - DISSERTAÇÃO PPGCC 2002..pdf: 947432 bytes, checksum: 24473a9b6f3a4b10184a06d21f741243 (MD5) / Made available in DSpace on 2018-09-19T15:04:01Z (GMT). No. of bitstreams: 1 FABIANA PAULINO GUEDES - DISSERTAÇÃO PPGCC 2002..pdf: 947432 bytes, checksum: 24473a9b6f3a4b10184a06d21f741243 (MD5) Previous issue date: 2002-08-30 / Recentemente, um novo paradigma para a construção de aplicações distribuídas em larga escala tem emergido: agentes móveis. Um agente móvel é uma entidade de software autônoma que é capaz de migrar entre localizações físicas da rede e continuar a sua execução do ponto em que parou antes da sua migração. Até o momento, a maioria das aplicações baseadas em agentes móveis tem sido criada de forma ad-hoc, seguindo pouca ou nenhuma metodologia. Isto se deve ao fato de que os modelos de processos atuais não são suficientes para cobrir todos os aspectos de mobilidade na modelagem, projeto e verificação de tais aplicações. Neste trabalho apresentamos um modelo para o desenvolvimento de aplicações baseadas em agentes móveis que combina o processo iterativo e incremental com o uso de padrões de projeto de agentes móveis e aspectos a serem considerados nas atividades das fases de análise e projeto. Artefatos são produzidos usando uma extensão de UML (Unified Modeling Language) que inclui aspectos relativos à mobilidade para a modelagem do sistema. A fim de ilustrar a aplicabilidade do modelo um estudo de caso é apresentado. / More recently, a new paradigm for developing large-scale distributed applications has emerged: mobile agents. A mobile agent is an autonomous software entity that can migrate to different physical locations and continue its execution at the point where it stopped before migration. Up to now, the majority of existing mobile agent-based applications have been created in an ad-hoc way, following little or no methodology. One reason is that current process models do not properly cover requirements and aspects of mobility in the modeling, designing and verification of such applications. We present a model for developing mobile agent-based applications that combines the standard iterative and incremental unified process with the use of mobile agent design patterns and issues that should be considered in the activities of analysis and design. Artifacts are produced using an extension of the Unified Modelling Language (UML) that copes with mobility. To illustrate the applicability of the model a case study is presented.

[pt] Este trabalho propõe a criação de um ambiente que dê suporte computacional ao desenvolvimento de sistemas multi- agentes, auxiliando o desenvolvedor durante o ciclo de vida de construção (da modelagem à implementação) destes sistemas. Estaremos utilizando o ANote como linguagem de modelagem para especificação e análise de sistemas multi-agentes e a arquitetura ASYNC para o processo de desenvolvimento. Ocorrendo assim, uma transformação dos diagramas do ANote para a arquitetura ASYNC. / [en] This work considers the creation of an environment that gives to computational support to the development of multi-agents systems, assisting the developer during the cycle of life of construction (the modeling to the implementation) of these systems. We will be using ANote as modeling language for specification and analysis of multi-agents systems and architecture ASYNC for the development process. Thus occurring, a transformation of the diagrams of ANote for architecture ASYNC.