Pastaruoju metu informacinių technologijų pasaulyje dažnai minimos paslaugomis ir įvykiais grindžiamų sistemų architektūros. Greitai besikeičiančiame verslo pasaulyje įmonėms yra aktualu turėti sistemas, kurios greitai ir lengvai būtų priderintos prie besikeičiančių verslo procesų ir sumažintų tokių sistemų kūrimo ir palaikymo išlaidas. Naudodamos paslaugomis grindžiamą architektūrą, įmonės gali lanksčiai tvarkyti savo veiklą ir kurti sistemas, nekeisdamos turimos techninės ar programinės įrangos. Nors literatūroje yra gausu straipsnių apie įvykiais grindžiamas sistemas ir jų privalumus, tačiau sistemos architektui, nusprendusiam sukurti įvykiais grindžiamos sistemos projektą, iškyla aktualus klausimas: kaip aprašyti ir modeliuoti įvykius, kurie ateina iš išorės arba sugeneruojami pačios sistemos ar vartotojų veiksmų su sistema metu. Akivaizdu, kad šiuo metu nėra populiarios metodikos, kuri apibrėžtų, kaip reikia atlikti įvykių modeliavimą ir jį panaudoti informacinių sistemų kūrimo procese. Šiame darbe nagrinėjami įvykiais grindžiamų sistemų modeliavimo metodai ir realizavimo technologijos. Atsižvelgiant į analizės rezultatus pateikiama įvykiais grindžiamų sistemų modeliavimo ir realizavimo metodika. Ši metodika pritaikyta ir įvertinta sukuriant publikacijų portalo prototipą. / Nowadays the terms SOA (Service Oriented Architecture) and event driven systems are often used when talking about systems with large scalability, performance and interoperability. In fast changing business world it is vital to have systems that could be easily changed whenever new functionality is needed. Using service oriented architecture companies can easier adapt its business process to changed business rules. Even though there are a lot of articles and publications about event driven systems and their advantages, but the system architect who decides to build an event driven system is facing the problem: how to model and describe events of the system. Obviously, that there are no popular and widely accepted methodology for event driven system modelling. The goal of this work is to develop a methodology for modelling an event driven systems. This methodology describes the metamodel for event modelling and the usage of the event model in system development life cycle. The developed methodology for modelling and implementation of event-driven information systems was used for making a model of publications portal prototype. Usage of this methodology in system design process adds more clarity, because all the events, which can be generated in the system and their types, are described in one diagram – event model. The event model elements can be used in other model diagrams, such as sequence or state machine diagrams.

Darbe nagrinėjama programų sistemų palaikymo ir vystymo problema. Nustatyta, jog sąnaudos šiose programų sistemos gyvavimo ciklo fazėse siekia iki 80% visų sąnaudų, skiriamų programų sistemai kurti. Pagrindinis šio reiškinio veiksnys yra nuolatinis poreikis pritaikyti sistemų funkcionalumą prie besikeičiančių verslo reikalavimų, o tokios užduotys apima didžiąją dalį visų palaikymo veiklų. Nagrinėti tyrimai parodė, kad programų sistemose įgyvendintai verslo logikai suprasti sugaištama 40–60% pakeitimams atliki skirto laiko, kadangi atsakingi už sistemų palaikymą žmonės paprastai nėra jų projektuotai, todėl turi dėti dideles pastangas, kad išsiaiškintų sistemos veikimo principus. Be to, pakeitimai, atliekami palaikymo metu, yra retai dokumentuojami (ar net nedokumentuojami visai), o supratimas įgytas įgyvendinant pakeitimus lieka individualių programuotojų galvose. Tuo tarpu kiti tyrimai atskleidė, jog paprastai tik trečdalis programų sistemos kodo įgyvendina verslo logiką, o kita dalis yra skirta platformos ir infrastruktūros funkcijoms įgyvendinti. Iš to darytina išvada, jog išgaunant dalykinės srities žinias bei išlaikant atsekamumą tarp jų ir jas įgyvendinančio programinio kodo, galima sumažinti sistemų palaikymo ir vystymo kaštus. Todėl pagrindinis šio darbo tikslas yra patobulinti verslo žinių išgavimo ir vaizdavimo procesą, pasiūlant metodą ir palaikančias priemones, kurios palengvintų egzistuojančių programų sistemų suvokimą. Darbas susideda iš įvado, 4 dalių, bendrųjų... [toliau žr. visą tekstą] / The dissertation addresses the problem of software maintenance and evolution. It identifies that spending within these software lifecycle phases may account for up to 80% of software’s total lifecycle cost, whereas the inability to adopt software quickly and reliably to meet ever-changing business requirements may lead to business opportunities being lost. The main reason of this phenomenon is the fact that the most of maintenance effort is devoted to understanding the software to be modified. On the other hand, related studies show that less than one-third of software source code contains business logic implemented within it, while the remaining part is intended for platform or infrastructure relevant activities. It follows that if the most of changes in software are made due to the need to adopt its functionality to changed business requirements, then facilitating software comprehension with automated business knowledge extraction methods may significantly reduce the cost of software maintenance and evolution. Therefore the main goal of this thesis is to improve business knowledge extraction process by proposing a method and supporting tool framework that would facilitate comprehension of existing software systems. The dissertation consists of the following parts: Introduction, 4 chapters, General Conclusions, References, and 6 Annexes. Chapter 1 presents a systematic literature review of related studies in order to summarize the state-of-the art in this research field... [to full text]

Distributed intelligence systems are starting to gain dominance in the field of large-scale complex systems. These systems are characterized by nonlinear behavior patterns that are only predicted through simulation-based engineering. In addition, the autonomy, intelligence, and reconfiguration capabilities required by certain systems introduce obstacles adding another layer of complexity. However, there exists no standard process for the design of such systems. This research presents a design methodology focusing on distributed control architectures while concurrently considering the systems design process. The methodology has two major components. First, it introduces a hybrid design process, based on the infusion of the control architecture and conceptual system design processes. The second component is the development of control architectures metamodel, placing a distinction between control configuration and control methods. This enables a standard representation of a wide spectrum of control architectures frameworks.

We discuss the design and analysis of a code generator for C++, implemented in the Umple model-oriented programming technology. Umple adds UML constructs and patterns to various base programming languages such as Java and PhP. Umple code generators create code for those constructs, which can include UML associations and state machines, as well as patterns such as immutable and singleton. Base language methods are passed through unchanged along with the generated code. Creating a C++ code generator for Umple posed many challenges, all of which are discussed in this thesis: We had to focus on the appropriate C++ idioms and stylistic conventions to follow. We followed a test-driven development process to ensure that the resulting code was correct. To evaluate the work, we compared our C++ generator with those in other tools such as ArgoUML and IBM Rational Software Architect. We conclude that our C++ generator is superior in many ways to these widely used tools because it is more complete and generates better quality code.

Made available in DSpace on 2014-12-17T15:47:53Z (GMT). No. of bitstreams: 1 DanielCS_DISSERT.pdf: 2517555 bytes, checksum: 7a87d4943b3ba068ea03a2691bda7bff (MD5) Previous issue date: 2011-02-17 / The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV / O processo para a escolha dos melhores componentes a serem usados na constru??o de sistemas tem se tornado cada vez mais complexo; isso se torna mais cr?tico quando precisamos considerar v?rias combina??es de componentes a serem escolhidos no contexto de uma configura??o arquitetural. Essa preocupa??o ocorre, principalmente, quando lidamos com sistemas que envolvem requisitos cr?ticos, como por exemplo, as restri??es temporais nos sistemas multim?dia distribu?dos, a largura de banda da rede nas aplica??es m?veis ou at? mesmo a confiabilidade em sistemas de tempo real. Este trabalho prop?e um processo de sele??o din?mica de configura??es arquiteturais baseado nos requisitos n?o funcionais do sistema, os quais poder?o ser utilizados durante uma adapta??o din?mica. A presente proposta utiliza a teoria MAUT (Multi-Attribute Utility Theory) para a tomada de decis?o a partir de um conjunto finito de possibilidades, as quais envolvem m?ltiplos crit?rios a serem analisados. Adicionalmente, foi proposto um metamodelo capaz de descrever as necessidades da aplica??o, em termos dos requisitos n?o funcionais e seus respectivos valores esperados, para que as mesmas possam ser interpretadas pelo processo a fim de realizar a sele??o da configura??o desejada. Como prova de conceito, foi implementado um m?dulo que realiza a escolha din?mica das configura??es, o MoSAC. Esse m?dulo foi implementado utilizando a abordagem de desenvolvimento baseado em componentes (DBC) realizando a sele??o das configura??es arquiteturais baseado no processo de sele??o proposto neste trabalho envolvendo m?ltiplos crit?rios. Esse trabalho tamb?m apresenta um estudo do caso onde foi desenvolvido uma aplica??o no contexto de TV Digital para avaliar o tempo que o m?dulo gasta para retornar uma configura??o v?lida a ser utilizada em um middleware com caracter?sticas autoadaptativas; para isso foi utilizado o middleware AdaptTV

L’objectif de cette thèse est de proposer des approches innovantes de conception préliminaire d’actionneurs embarqués. Cette démarche répond à un besoin fort de l’industrie,en particulier en aéronautique. Dans un premier temps, une méthode hybride de génération d’architectures solutions et de sélection vis-à-vis des exigences du cahier des charges et de l’état de l’art technologique est proposée. Dans un deuxième temps, une étude de l’effet de l’incertitude sur les modèles de conception préliminaire a été réalisée. Une troisième partie a démontré l’intérêt de lier les approches et les outils de modélisation 0D/1D et 3D afin de permettre l’accélération des phases de conception et afin de mieux remonter la connaissance liée à la géométrie. Enfin, une méthode utilisant les métamodèles basées sur les lois d’échelle visant à l’obtention de formes mathématiques simples pour le besoin de dimensionnent des composants mécatroniques a été développée / The objective of this thesis is to propose an innovative approaches for embedded actuators preliminary design. This approach responds to a strong need for the industry, particularly in aeronautics. As a first step, a hybrid method of architectures generation and selection depending on the specifications and the technological state of the art is proposed. In a second step, a study of the effect of uncertainty in preliminary design models was completed. A third part demonstrated the value of combining modeling approaches tools 0D/1D and 3D to enable the design phases acceleration and to have better knowledge related to the geometry. Finally, a method using meta-models based on scaling laws for obtaining simple mathematical forms needed for sizing mechatronic components has been developed

[pt] Como um novo e poderoso paradigma para modelagem e implementação de sistemas de software, os sistemas multiagentes necessitam de metodologias, linguagens de modelagem, plataformas de desenvolvimento e linguagens de programação que explorem seus benefícios e características particulares. Contudo, diferentes metodologias, linguagens e plataformas para sistemas multiagentes propõem abstrações variadas e com definições muito diferentes. Nesse contexto, é necessário criar frameworks conceituais que definam as abstrações, seus relacionamentos e seus comportamentos. Como em qualquer novo paradigma para engenharia de software, o sucesso e a difusão de sistemas multiagentes requerem, entre outras tecnologias de software baseadas em agentes, linguagens de modelagem que explorem o uso de abstrações relacionadas a agentes e promovam o refinamento dos modelos de design para código. Esta tese contempla a definição de um framework conceitual para sistemas multiagentes chamado TAO e uma linguagem de modelagem para sistemas multiagentes chamada MAS-ML. Os objetivos desta tese são descrever os aspectos estáticos e dinâmicos das abstrações freqüentemente utilizadas em sistemas multiagentes definindo um framework conceitual, propor uma linguagem de modelagem que descreva diagramas estáticos e dinâmicos para modelar esses aspectos e descrever o refinamento dos modelos estáticos para código. / [en] As a powerful and new paradigm for designing and implementing software systems, multi-agent systems require methodologies, modeling languages, development platforms and programming languages that explore their benefits and their peculiar characteristics. However, different methodologies, languages and platforms for multi-agent systems propose very distinct and varied sets of abstraction. In this context, there is a need for creating a conceptual framework that defines the frequently used multi-agent system abstractions, their relationships and their behavior. As it is the case with any new software engineering paradigm, the successful and widespread deployment of multi-agent systems require modeling languages, among other agent-based software technologies, that explore the use of agentrelated abstractions and promote the traceability from the design models to code. This thesis contemplates the definition of a multi-agent system conceptual framework called TAO and of a multi-agent system modeling language called MAS-ML. Our goals are to describe the structural and dynamic aspects of the abstractions commonly used in multi-agent systems by defining a conceptual framework, to propose a modeling language that describes structural and dynamic diagrams to model such aspects and to present the traceability from the structural models into code.

Made available in DSpace on 2016-06-02T19:06:09Z (GMT). No. of bitstreams: 1 5515.pdf: 2859644 bytes, checksum: 8f2473af784eb07ff38067a957051dde (MD5) Previous issue date: 2013-08-27 / Universidade Federal de Sao Carlos / Software systems are considered legacy when they were developed many years ago with outdated technologies and their maintenance process consumes a large amount of resources. One cause of these problems is the inadequate modularization of its crosscutting concerns. In this situation, an alternative is to modernize the system with a new language to provide better support for concern modularization. ADM (Architecture-Driven Modernization) is an OMG model-driven proposal to modernize legacy systems and consist of a set of metamodels in which the main metamodel is KDM (Knowledge Discovery Metamodel), which allows to represent all the characteristics of a system. The modernization process begins with reverse engineering to represent the legacy system in a KDM model. Thereafter, refactorings can be applied to the model and then generate the modernized code. However, the current proposals do not support crosscutting concerns modularization. This occurs because the first step is to identify the elements which contribute with the implementation of a particular concern and it is not supplied by ADM. In this sense, this dissertation presents an approach for mining crosscutting concerns in KDM models, thus establishing the first step towards to a Concern-Driven modernization. The approach is a combination of two techniques, a concern library and a modified K-means clustering algorithm, which comprises four steps where the input is a KDM model and the result is the same KDM model with annotated concerns and some log files. In addition, we developed an Eclipse plugin called CCKDM to implement the approach. An evaluation was performed involving three software systems. The results show that for systems using APIs to implement their concerns the developed technique is an effective method for identifying them, achieving good values of precision and recall. / Sistemas de software são considerados legados quando foram desenvolvidos há muitos anos com tecnologias obsoletas e seu processo de manutenção consome uma quantidade de recursos além da desejada. Uma das causas desses problemas é a modularização inadequada de seus interesses transversais. Quando se encontram nessa situação, uma alternativa é modernizar o sistema para novas linguagens que forneçam melhor suporte à modularização desse tipo de interesse. A ADM (Architecture-Driven Modernization) é uma proposta do OMG para a modernização orientada a modelos de sistemas legados, sendo composta por um conjunto de metamodelos, em que o principal é o KDM (Knowledge Discovery Metamodel), que permite representar todas as particularidades de um sistema. O processo de modernização inicia-se com a engenharia reversa, em que o sistema legado é inteiramente representado em KDM. Depois disso, pode-se aplicar refatorações nesse modelo e gerar o código modernizado. Entretanto, a proposta atual da ADM não inclui suporte para modularizar interesses transversais de um sistema. Isso ocorre porque o primeiro passo desse processo é minerar e encontrar os elementos que contribuem para a implementação de um dado interesse, e isso não é fornecido pela ADM. Nesse sentido, nesta dissertação é apresentada uma abordagem para mineração de interesses no metamodelo KDM, estabelecendo o primeiro passo para um processo de modernização dirigido a interesses. A abordagem de mineração proposta atua com uma combinação de duas técnicas; uma biblioteca de interesses e um algoritmo modificado K-means para agrupar strings similares. A abordagem inclui quatro passos onde a entrada é um modelo KDM e o resultado é o mesmo modelo KDM com os interesses anotados e mais alguns arquivos de registro. Além disso, desenvolveuse um plugin chamado CCKDM para o ambiente Eclipse que implementa a abordagem. Uma avaliação foi realizada envolvendo três sistemas de software. Os resultados da avaliação mostraram que para sistemas que utilizam APIs para implementar seus interesses a técnica desenvolvida é efetiva para a identificação deles, atingindo bons valores de precisão e cobertura.

Submitted by Alison Vanceto (alison-vanceto@hotmail.com) on 2017-01-06T12:32:32Z No. of bitstreams: 1 DissFBC.pdf: 2063843 bytes, checksum: 152295a2a8dcd2c521f4aad29a6fba78 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-16T12:01:27Z (GMT) No. of bitstreams: 1 DissFBC.pdf: 2063843 bytes, checksum: 152295a2a8dcd2c521f4aad29a6fba78 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-16T12:01:35Z (GMT) No. of bitstreams: 1 DissFBC.pdf: 2063843 bytes, checksum: 152295a2a8dcd2c521f4aad29a6fba78 (MD5) / Made available in DSpace on 2017-01-16T12:01:44Z (GMT). No. of bitstreams: 1 DissFBC.pdf: 2063843 bytes, checksum: 152295a2a8dcd2c521f4aad29a6fba78 (MD5) Previous issue date: 2016-03-03 / Não recebi financiamento / Architecture-Driven Modernization (ADM) is a model-based initiative for standardizing reengineering processes. Its most important meta-model is KDM (Knowledge Discovery Metamodel), which is a platform and language-independent ISO standard. A important step in an Architecture-Driven Modernization is the Architectural Conformance Checking (ACC), whose goal is to identify the violations between the Planned (PA) and Current Architectures (CA) of a system. Although there are ACC approaches that act on source-code or proprietary models, there is none for hystems represented as KDM. This absence hinders the dissemination of ADM and increases the interest for research that investigates the suitability of KDM in this context. Therefore, in this paper, we present ArchKDM, a KDMbased ACC approach that relies exclusively on the KDM meta-model for representing i) the legacy system under analysis; ii) the PA; iii) the CA; and iv) the violations between them. ArchKDM is composed of three tool-supported steps: 1) Specifying the Planned Architecture; 2) Extracting the Current Architecture; and 3) Performing the Checking. Our goal is to investigate the suitability of KDM as the main representation in all ACC steps as well as to deliver an ACC approach in the ADM context. We evaluated steps 2 and 3 of the approach using two real-world systems and the results showed no false positives and negatives. / Modernização Dirigida por Modelos (ADM) é uma iniciativa para a padronização dos processos de reengenharia. Dentre os metamodelos criados pela ADM, o mais importante é chamado de KDM (Metamodelo de Descoberta de Conhecimento), que é independente de plataforma e linguagem, além de ser padrão ISO. Uma importante etapa em uma Modernização Dirigida por Modelos é a Checagem de Conformidade Arquitetural (ACC), cujo objetivo é identificar violações entre as representações das arquiteturas planejada e atual de um sistema. Embora existam abordagens para ACC que atuam sobre código-fonte e modelos proprietários, não foram encontrados indícios desse tipo de abordagem para sistemas representados em KDM. Essa ausência de pesquisas na área dificulta a disseminação da ADM e aumenta o interesse em investigar a adequabilidade do KDM nesse contexto. Portanto, neste trabalho é apresentado o ArchKDM, uma abordagem para ACC baseado em KDM que depende exclusivamente do metamodelo KDM para representação i) do sistema legado a ser analisado; ii) da arquitetura planejada; iii) da arquitetura atual; e iv) das violações encontradas entre eles. ArchKDM é composta por três etapas: 1) Especificação da Arquitetura Planejada; 2) Extração da Arquitetura Atual; e 3) Checagem de Conformidade Arquitetural. O objetivo deste trabalho é investigar a adequabilidade do KDM como principal representação em todas as etapas da ACC, bem como fornecer uma abordagem para ACC no contexto da ADM. A abordagem foi avaliada utilizando dois sistemas reais e os resultados mostraram que não foram encontrados falsos positivos e negativos.

Made available in DSpace on 2016-08-17T14:53:26Z (GMT). No. of bitstreams: 1 Dissertacao Marcus Vinicius Ribeiro.pdf: 4694533 bytes, checksum: b84a4bad63b098d054781131cfb9bc26 (MD5) Previous issue date: 2014-02-24 / Model Driven Engineering (MDE) aims to make face to the development, maintenance and evolution of complex software systems, focusing in models and model transformations. This approach can be applied in other domains such as database schema integration. In this research work, we propose a framework to integrate database schema in the MDE context. Metamodels for defining database model, database model matching, database model merging, and integrated database model are proposed in order to support our framework. An algorithm for database model matching and an algorithm for database model merging are presented. We present also, a prototype that extends the MT4MDE and SAMT4MDE tools in order to demonstrate the implementation of our proposed framework, metodology, and algorithms. An illustrative example helps to understand our proposed framework. / A Engenharia Dirigida por Modelos (MDE) fornece suporte para o gerenciamento da complexidade de desenvolvimento, manutenção e evolução de software, através da criação e transformação de modelos. Esta abordagem pode ser utilizada em outros domínios também complexos como a integração de esquemas de base de dados. Neste trabalho de pesquisa, propomos uma metodologia para integrar schema de base de dados no contexto da MDE. Metamodelos para definição de database model, database model matching, database model merging, integrated database model são propostos com a finalidade de apoiar a metodologia. Um algoritmo para database model matching e um algoritmo para database model merging são apresentados. Apresentamos ainda, um protótipo que adapta e estende as ferramentas MT4MDE e SAMT4MDE a fim de demonstrar a implementação do framework, metodologia e algoritmos propostos. Um exemplo ilustrativo ajuda a melhor entender a metodologia apresentada, servindo para explicar os metamodelos e algoritmos propostos neste trabalho. Uma breve avaliação do framework e diretrizes futuras sobre este trabalho são apresentadas.