Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. In this thesis work, we propose a set of transformation rules that take into consideration the EAST-ADL architectural model details and the behavioral specifications in Simulink, and generate a formal model, which can be verified UPPAAL model checker. Moreover, we implement these proposed transformation rules in a tool that automates them. The transformation rules proposed in this thesis work would be implemented for every EAST-ADL file with Simulink behavior specifications, generated by the MetaEdit+ tool. Properties like timing constraints, triggering and hierarchy in both EAST-ADL and Simulink have been considered by the transformation rules. Finally, the Brake-by-Wire case study is used to validate the tool and assess the mapping of the elements.

Made available in DSpace on 2016-04-25T20:21:29Z (GMT). No. of bitstreams: 1 Flavio Jose Rocha da Silva.pdf: 11685449 bytes, checksum: 499e0dc41d0630c401f4fb88b7b109ba (MD5) Previous issue date: 2015-08-13 / This research has its focus on the São Francisco River Diversion Project. This megaproject can be classified as the biggest development project in Brazil and follows other megaprojects that promised to develop the Northeast of Brazil. The methodology used in the work was the analysis of the justifications for other megaprojects in the Northeast in the last century and how those projects were appropriated by a few economic and political groups from that region in order to take advantage of public money. We believe that the discourse of "drought victims" used by those groups was successful in demanding money from the federal government to build water reservoirs and irrigation projects along with the creation of many governmental institutions, such as the SUDENE, to develop the Northeast. This discourse collaborated to benefit the Northeastern political elite and some economic groups from other parts of Brazil which profited with the construction of those projects. Our conclusion is that the model of development that has been in place in the last decades does not respect the social and environmental characteristics of the Northeast by creating a distance between the government megaprojects and the local population, in contrast with the actions developed by some non-governmental organizations since the eighties that prioritize the local environment with its limits and potentialities. The São Francisco River Diversion Project, publicized by the government as a Project that will provide water for more than 12 million people, reproduces the historical way to deal with the problems in the Northeast by affirming a model of development that degrades the environment and does not respect the reality of those who live in the Northeast. This project impacts the São Francisco River, which already suffers from many human actions of exploitation of its resources. It also impacts many indigenous and afro-descendants communities, fisher peoples and peasants who survive from the abundance of the river. In sum, we conclude that the São Francisco River Diversion Project will be added to a long list of megaprojects that brought benefits to a few while the majority will continue disadvantaged land and water concentrations, the real cause of the social inequality in the Northeast of Brazil / Este trabalho de pesquisa tem o seu foco no Projeto de Transposição das Águas do Rio São Francisco PTARSF para os estados do Nordeste Setentrional. O objeto pesquisado pode ser classificado como a maior obra hídrica já realizada no Brasil e está inserida no campo das grandes obras que prometem levar o desenvolvimento para o Nordeste brasileiro. Nossa apreciação metodológica pautou-se primeiramente pela análise das justificativas para os outros grandes projetos naquela mesma região no último século e de como estes foram apropriados por grupos econômicos e/ou políticos locais e de outras partes do país. Para isso, corroborou o discurso de vítimas da seca amplificado pela elite nordestina com o intuito de reivindicar verbas para a açudagem, os perímetros de irrigação, além da criação de vários órgãos que supostamente trariam o desenvolvimento para o Nordeste e principalmente para o Semiárido, a exemplo da SUDENE. Diante de tantas tentativas ao longo de mais de cem anos, o que teria dado errado? A nossa conclusão é que o modelo de desenvolvimento vendido como o propulsor de melhorias para aquela área do país não respeita as características do meio ambiente local, criando uma dissonância entre os megaprojetos e os habitantes daquele lugar, diferentemente dos vários projetos de convivência com o Semiárido, que surgiram a partir dos anos 1980. O PTARSF, vendido pela propaganda governamental como uma obra que levará água para 12 milhões de pessoas e o desenvolvimento para os estados que receberão as águas do São Francisco, está reproduzindo a lógica secular das grandes obras com gastos públicos para lucros privados, além de reproduzir e ampliar um padrão de desenvolvimento em desacordo com a realidade dos que habitam a área de sua realização. Ele afeta sobremaneira o Rio São Francisco, um manancial que já enfrenta problemas por causa de várias ações antrópicas. O PTARSF também atinge várias comunidades de povos indígenas, remanescentes quilombolas, vazanteiros, pescadores artesanais, etc. Em suma, concluímos que esta é mais uma grande obra para entrar na lista daquelas cuja existência trará benefícios para uns poucos em detrimento da grande maioria da população nordestina sem lidar com as estruturas de concentração agrária e hídrica, verdadeiras causas das desigualdades socioeconômicas do Nordeste

Made available in DSpace on 2016-12-23T14:33:33Z (GMT). No. of bitstreams: 1 Diss ITM 1.pdf: 288787 bytes, checksum: 7ec6ca50c8c58631a8efb146dc08e482 (MD5) Previous issue date: 2013-01-25 / Aplicações sensíveis ao contexto usam informações contextuais para customizar serviços de acordo com as situações e as necessidades dos seus usuários. Um dos desafios associados ao desenvolvimento deste tipo de aplicação está em especificar os modelos conceituais que representam as situações de interesse da aplicação. O objetivo desta dissertação é propor uma metodologia orientada a modelos para auxiliar o desenvolvimento de aplicações sensíveis ao contexto, com foco na especificação e detecção de situações contextuais. Para atingir este objetivo, o trabalho propõe uma linguagem gráfica de modelagem de situações, chamada SML (Situation Modeling Language), que permite especificar diferentes tipos de situação considerando aspectos como composição de situações e inferência temporal. A fim de permitir a detecção de situações, os modelos descritos em SML podem ser utilizados para gerar uma implementação baseada em regras que observa contexto e controla o ciclo de vida das situações de interesse da aplicação. O trabalho descreve como os elementos especificados em SML são transformados em código a ser executado pela máquina de regras Drools. Finalmente, para apoiar o desenvolvimento de aplicações sensíveis ao contexto, são propostas ferramentas que auxiliam o processo de modelagem e de transformação do modelo em código. Os conceitos envolvidos na construção de SML e na geração automática de código são exemplificados por meio de um cenário de detecção de fraudes bancárias / Context-aware applications manipulate context information to adapt services according to the users current situation and needs. One of the challenges of developing context-aware applications refers to the specification of the conceptual models that represent the situations of interest. The objective of this thesis is to propose a model-driven methodology to assist the development of context-aware applications, focusing on the specification and the detection of contextual situations. To achieve this goal, the work proposes a graphical language for modeling situations, coined SML (Situation Modeling Language), which allows the user to specify situation types considering aspects such as composition of situations and their temporal reasoning. In order to allow situation detection, the models described in SML can be used to generate a rule-based implementation, which is capable of observing context and controlling situations lifecycle. The work describes how the elements specified in SML are transformed into code to be executed in the Drools rule engine. Finally, to support the development of applications, we propose tools to assist the modeling phase, as well as the implementation phase, by means of code generation. The concepts involved in the design of SML and the transformations of SML models to Drools code are exemplified by means of a banking scenario for detecting fraudsusceptible behavior

Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui. / This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.

Made available in DSpace on 2016-04-26T14:55:34Z (GMT). No. of bitstreams: 1 Flavio Jose Rocha da Silva.pdf: 11685449 bytes, checksum: 499e0dc41d0630c401f4fb88b7b109ba (MD5) Previous issue date: 2015-08-13 / This research has its focus on the São Francisco River Diversion Project. This megaproject can be classified as the biggest development project in Brazil and follows other megaprojects that promised to develop the Northeast of Brazil. The methodology used in the work was the analysis of the justifications for other megaprojects in the Northeast in the last century and how those projects were appropriated by a few economic and political groups from that region in order to take advantage of public money. We believe that the discourse of "drought victims" used by those groups was successful in demanding money from the federal government to build water reservoirs and irrigation projects along with the creation of many governmental institutions, such as the SUDENE, to develop the Northeast. This discourse collaborated to benefit the Northeastern political elite and some economic groups from other parts of Brazil which profited with the construction of those projects. Our conclusion is that the model of development that has been in place in the last decades does not respect the social and environmental characteristics of the Northeast by creating a distance between the government megaprojects and the local population, in contrast with the actions developed by some non-governmental organizations since the eighties that prioritize the local environment with its limits and potentialities. The São Francisco River Diversion Project, publicized by the government as a Project that will provide water for more than 12 million people, reproduces the historical way to deal with the problems in the Northeast by affirming a model of development that degrades the environment and does not respect the reality of those who live in the Northeast. This project impacts the São Francisco River, which already suffers from many human actions of exploitation of its resources. It also impacts many indigenous and afro-descendants communities, fisher peoples and peasants who survive from the abundance of the river. In sum, we conclude that the São Francisco River Diversion Project will be added to a long list of megaprojects that brought benefits to a few while the majority will continue disadvantaged land and water concentrations, the real cause of the social inequality in the Northeast of Brazil / Este trabalho de pesquisa tem o seu foco no Projeto de Transposição das Águas do Rio São Francisco PTARSF para os estados do Nordeste Setentrional. O objeto pesquisado pode ser classificado como a maior obra hídrica já realizada no Brasil e está inserida no campo das grandes obras que prometem levar o desenvolvimento para o Nordeste brasileiro. Nossa apreciação metodológica pautou-se primeiramente pela análise das justificativas para os outros grandes projetos naquela mesma região no último século e de como estes foram apropriados por grupos econômicos e/ou políticos locais e de outras partes do país. Para isso, corroborou o discurso de vítimas da seca amplificado pela elite nordestina com o intuito de reivindicar verbas para a açudagem, os perímetros de irrigação, além da criação de vários órgãos que supostamente trariam o desenvolvimento para o Nordeste e principalmente para o Semiárido, a exemplo da SUDENE. Diante de tantas tentativas ao longo de mais de cem anos, o que teria dado errado? A nossa conclusão é que o modelo de desenvolvimento vendido como o propulsor de melhorias para aquela área do país não respeita as características do meio ambiente local, criando uma dissonância entre os megaprojetos e os habitantes daquele lugar, diferentemente dos vários projetos de convivência com o Semiárido, que surgiram a partir dos anos 1980. O PTARSF, vendido pela propaganda governamental como uma obra que levará água para 12 milhões de pessoas e o desenvolvimento para os estados que receberão as águas do São Francisco, está reproduzindo a lógica secular das grandes obras com gastos públicos para lucros privados, além de reproduzir e ampliar um padrão de desenvolvimento em desacordo com a realidade dos que habitam a área de sua realização. Ele afeta sobremaneira o Rio São Francisco, um manancial que já enfrenta problemas por causa de várias ações antrópicas. O PTARSF também atinge várias comunidades de povos indígenas, remanescentes quilombolas, vazanteiros, pescadores artesanais, etc. Em suma, concluímos que esta é mais uma grande obra para entrar na lista daquelas cuja existência trará benefícios para uns poucos em detrimento da grande maioria da população nordestina sem lidar com as estruturas de concentração agrária e hídrica, verdadeiras causas das desigualdades socioeconômicas do Nordeste

No description available.

Modeliais grįsta sistemų architektūra (MDA) yra „Object Management Group“ (OMG) konsorciumo iniciatyva apibrėžti naują požiūrį į programų sistemų kūrimą remiantis modeliais ir automatizuota jų transformacija į programinį kodą. Siekdama standartizuoti šį požiūrį, OMG patvirtino visą eilę standartų, bet esminiai MDA principai ir praktikos glūdi modeliais grįstame sistemų kūrimo stiliuje, kuris yra fundamentalus programų sistemų inžinerijoje. MDA idėjos, pradžioje sukėlusios didelį entuziazmą IT bendruomenėje, ilgainiui peraugo į skepticizmą ir kai kurie autoriai atvirai pradėjo abejoti modeliais grįsto sistemų kūrimo perspektyva. Šiame darbe analizuojamos praktinio MDA taikymo programų sistemų kūrimo procese aspektai ir galimybės, analizuojami galimi sprendimai ir kliūtys, dėl kurių MDA požiūris gali būti sunkiai pritaikomas. Įvairių autorių įvardijami praktiniai MDA taikymo programų sistemų kūrimo procese sunkumai, didelės tam reikalingos investicijos, pastangos ir resursai, tinkamų instrumentų trūkumas, didelė standartų įvairovė ir sudėtingos technologijos iš dalies lėmė išaugusį skepticizmą MDA paradigmai. MDA apibrėžia naujus sistemų kūrimo principus ir standartais apibrėžia technologijas, kurios pagrindžia šiuos principus. Tai neišvengiamai įtakoja patį programų sistemų kūrimo procesą, kuris turi pasipildyti naujomis veiklomis, praktikomis ir technologijomis, kaip kurti sistemas taikant MDA požiūrį. Šiame kontekste būtinas tam tikras pragmatinis požiūris į MDA ir su juo... [toliau žr. visą tekstą] / Model Driven Architecture (MDA) is an approach to using models in software development, which states that models and model-based transformations are a key part of effective automated software development. The Object Management Group (OMG) has defined standards for representing MDA models, but the principles and practice of MDA are rooted in model-based styles of development that have been fundamental to software engineering from its earliest days. Unfortunately, early enthusiasm for Model Driven Architecture (MDA) has dissipated to the point that many people are openly skeptical of the value of any model-driven approach. This paper examines the practical realities of MDA, difficulties and challenges in adopting an MDA approach to software engineering process. While MDA requires additional efforts and high investment to be adopted in software engineering process, it doesn’t provide any means or guidelines for this. This paper argues that to be successful, a pragmatic MDA approach must be executed in context of a sound Enterprise Architecture providing an integrated business architecture and governance structure that enables an organization to respond to business requirements quickly and appropriately.

Made available in DSpace on 2014-12-17T15:47:00Z (GMT). No. of bitstreams: 1 AnaLFM_TESE.pdf: 3970701 bytes, checksum: 513ce9d2a22c9323df778dcf23fb1033 (MD5) Previous issue date: 2012-07-30 / Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code / Estrat?gias dirigidas a modelos t?m sido usadas para facilitar a customiza??o de produtos no contexto de Linhas de Produtos de Software (LPS) e gera??o de c?digo fonte desses produtos derivados atrav?s do gerenciamento de variabilidades. A maioria dessas estrat?gias faz uso da especifica??o de modelos baseados em UML (Unified Modeling Language), que apesar de ser amplamente aplicada, possui algumas limita??es por ser essencialmente gr?fica, apresentar defici?ncia em descrever precisamente a sem?ntica da representa??o da arquitetura do sistema e gerar um modelo extenso, o que dificulta a visualiza??o e compreens?o dos elementos do sistema. J? as linguagens de descri??o arquiteturais (ADLs) oferecem suporte textual e gr?fico para representa??o estrutural dos elementos arquiteturais, suas restri??es e intera??es. Essa tese apresenta ArchSPL-MDD, uma estrat?gia dirigida a modelos especificados e configurados usando a ADL LightPL-ACME. Tal estrat?gia est? associada a um processo gen?rico com atividades sistem?ticas que permitem a gera??o autom?tica do c?digo fonte customizados a partir do modelo do produto. A estrat?gia ArchSPL-MDD integra o desenvolvimento orientado a aspectos (DSOA), desenvolvimento dirigido a modelos (DDM), e LPS, o que permite a modelagem expl?cita e modulariza??o de variabilidades e caracter?sticas transversais. O processo ? instanciado pela ferramenta ArchSPL-MDD, que oferece suporte para a especifica??o, em LightPL-ACME dos modelos de dom?nio que s?o o foco do desenvolvimento. O ArchSPL-MDD usa como estudo de caso o middleware de TV Digital Ginga. De forma a avaliar a efici?ncia, aplicabilidade, expressividade e complexidade da estrat?gia ArchSPL-MDD, foi realizado um experimento controlado que avalia e compara a ferramenta ArchSPL-MDD, com a ferramenta GingaForAll, que instancia o processo que faz parte da estrat?gia GingaForAll, baseada em UML. Ambas as ferramentas foram usadas para configura??o do produto da LPS do do middlelare Ginga e gera??o de c?digo fonte do produto

Made available in DSpace on 2014-12-17T15:47:00Z (GMT). No. of bitstreams: 1 PlacidoASN_TESE.pdf: 5575988 bytes, checksum: b29fc882ea45700b3c27d134527a79ed (MD5) Previous issue date: 2012-12-11 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts / Esta tese apresenta ⇡SOD-M (Policy-based Service Oriented Development Methodology), uma metodologia para a modelagem de aplica??es orientadas a servi?os a qual usa Pol?ticas de qualidade. O trabalho prop?e um m?todo orientado a modelos para desenvolvimento de aplica??es confi?veis. ⇡SOD-M consiste de: (i) um conjunto de meta-modelos para representa??o de requisitos n?o-funcionais associados a servi?os nos diferentes n?veis de modelagem, a partir de um modelo de caso de uso at? um modelo de composi??o de servi?o, (ii) um meta-modelo de plataforma espec?fica que representa a especifica??o das composi?oes e as pol?ticas, (iii) regras de transforma??o model-to-model e model-to-text para semi-automatizar a implementa??o de composi?oes de servi?os confi?veis, e (iv) um ambiente que implementa estes meta-modelos e regras, representando assim aspectos transversais e limita??es associadas a servi?os, que devem ser respeitados. Esta tese tamb?m apresenta uma classifica??o e nomenclatura de requisitos n?o-funcionais para o desenvolvimento de aplica??es orientadas a servi?os. Nossa abordagem visa agregar valor ao desenvolvimento de aplica??es orientadas a servi?os que t?m necessidades de garantias de requisitos de qualidade. Este trabalho utiliza conceitos das ?reas de desenvolvimento orientado a servi?os, design de requisitos n?o-funcionais e desenvolvimento dirigido a modelos para propor uma solu??o que minimiza o problema de modelagem de servi?os web confi?veis

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 RaphaelMOCpdf.pdf: 3833849 bytes, checksum: fc73f8956766c49a68d58575132da8f2 (MD5) Previous issue date: 2009-06-29 / Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage / Pesquisas em Engenharia de Requisitos tem crescido ao longo dos ?ltimos anos. Pesquisadores est?o preocupados com uma s?rie de problemas em aberto como: comunica??o entre diversos perfıs envolvidos na engenharia de requisito; problemas na defini??o de escopo; problemas de volatilidade e ratreabilidade de requisitos. Para lidar com este conjunto de problemas em aberto, um conjunto de trabalhos est?o concentrados em (i) definir processos para coletar especifica??es de clientes para lidar com prolemas de escopo; (ii) definir modelos para representar requisitos para lidar com problemas de comunica??o e rastreabilidade; e (iii) defini??o de mecanismos e processos para serem aplicados a modelagem de requisitos para facilitar a evolu??o e manuten??o de requisitos, lidando com problemas de volatilidade e rastreabilidade em requisitos. Neste trabalho ? proposto um processo dirigido por modelo para solucionar estes problemas em aberto. Este processo ? baseado na ideia de um CIM dividido em duas camadas de forma que se consiga difundir o conhecimento relacionado ao requisitos para um n?mero maior de stakeholders. Durante este trabalho tamb?m foi desenvolvida uma ferramenta que tem como objetivo auxiliar a execu??o de tal processo. Por fim apresentamos um estudo de caso para ilustrar os benef?cios do uso da ferramenta e do processo