Spelling suggestions: "subject:"arquitetura dirigido a modelos"" "subject:"rquitetura dirigido a modelos""
1 |
Desenvolvimento de um Sistema de Informação Médica com WebServices e MDA / Development of a System of Medical Information with Web Services and MDAMELO, Simone Azevedo Bandeira de 02 May 2007 (has links)
Made available in DSpace on 2016-08-17T14:53:04Z (GMT). No. of bitstreams: 1
Simone Melo.pdf: 2880047 bytes, checksum: c872dc02c29d736c1cca896ec5a17ea2 (MD5)
Previous issue date: 2007-05-02 / In this work, we develop a medical information system to support medical diagnosis based on an approach oriented to models, in which the system allows sharing of information between physically scattered specialists. The development of a medical information system is done using MDA (Model Drive Architecture) in which the PIM (Platform Independent Model) is created with UML (Unified Modeling Language), and the PSMs (Platform Specific Model) is done according to Web Services Platforms. To implement this system, we devised meta model s for the Web Services, JWSDP (Java Web Services Developement Pack) and WSOracle. Thus, we provide definitions of transformation of UML for the Web Services, JWSDP and WSOracle. The development of the system puts in evidence the process of transformation of PIM for PSM used in MDA. / Neste trabalho, desenvolvemos um sistema de informação médica de auxílio no diagnóstico médico, baseado em uma abordagem orientada a modelos, no qual o sistema permite o compartilhamento de informações entre especialistas fisicamente dispersos. O desenvolvimento do sistema de informação médica foi feito usando MDA (Arquitetura Dirigida a Modelo) em que o PIM (Modelo Independente da Plataforma) foi feito conforme a UML (Linguagem de Modelagem Unificada), e os PSMs (Modelos Específico da Plataforma) conforme as Plataformas dos Web Services. Para implementar este sistema de informação médica, provemos metamodelos para os Web Services, JWSDP (Java Web Services Developer Pack) e WSOracle. Assim, provemos definições de transformação de UML para os Web Services, JWSDP e WSOracle. O desenvolvimento do sistema coloca em evidência o processo de transformação de PIM para PSM, utilizado em MDA.
|
2 |
R2MDD : um framework para rastreabilidade e monitoramento de requisitos com foco no desenvolvimento dirigido a modelosRezende, Izabella Cristine Oliveira 18 August 2016 (has links)
The Model Driven Development (MDD) promotes the use of models to generate software
solutions, in which models are the primary development artifact. In recent years, studies in
software engineering area (ES) have been intensified and several solutions, definitions,
methods and structures are being generated. However, this paradigm, as it is considered by
some authors, has not been effectively used, as the ES covers various aspects, and not
everyone is prepared for MDD. The Requirements Engineering (RE) is highlighted in this
scenario, since it comprises the initial phase of the development process and the product
generated must meet the requirements set out in that time. Once the code ceases to be the
focus of development in the context of MDD, it is necessary to identify whether the
requirements defined at the beginning of the project while under transformation remain
faithful as well as the allocated elements to each requirement at all stages and possible
impacts in case of change. In this context, it is important to introduce the concepts of
traceability requirements in MDD. Thus, this work presents the R2MDD, a framework which
aims to monitor and track requirements for the transformation of models to the generation of
source code. The R2MDD seeks to identify impacts, ensure the consistency of requirements
and other characteristics, as well as generate information management level, benefiting all
stakeholders. An experimental study was conducted with the assistance of Qualitas model at
the University Hospital of the Federal University of Sergipe (HU - UFS) to assess the
R2MDD, highlighting its advantages and limitations. / O Model Driven Development (MDD) promove o uso de modelos na geração de soluções de
software, na qual os modelos são o artefato principal do desenvolvimento. Nos últimos anos,
estudos na área de Engenharia de Software (ES) tem sido intensificados e diversas soluções,
definições, métodos e estruturas estão sendo geradas. Entretanto, esse paradigma, como é
considerado por alguns autores, ainda não é utilizado de forma efetiva, visto que a ES abrange
diversos aspectos e nem todos estão preparados para o MDD. A Engenharia de Requisitos
(ER) ganha destaque nesse cenário, pois compreende a fase inicial do processo de
desenvolvimento e o produto gerado deve atender aos requisitos definidos nesse momento.
Uma vez que o código deixa de ser o foco do desenvolvimento no contexto de MDD, surge a
necessidade de identificar se os requisitos definidos no início do projeto, ao serem
transformados, mantém-se fieis, bem como identificar os elementos alocados a cada requisito
em todas as fases e possíveis impactos em caso de alteração. Nesse contexto, torna-se
importante introduzir os conceitos da rastreabilidade de requisitos em MDD. Dessa forma,
este trabalho apresenta o R2MDD, um framework que visa monitorar e rastrear requisitos
durante as transformações de modelos até a geração de código fonte. O R2MDD busca
identificar impactos, garantir a consistência dos requisitos e demais características, bem como
gerar informações a nível gerencial, que beneficiam todos os stakeholders. Um caso exemplo
foi realizado com o auxílio do modelo Qualitas no Hospital Universitário da Universidade
Federal de Sergipe (HU – UFS) a fim de avaliar o R2MDD, destacar suas vantagens e
identificar suas limitações.
|
3 |
CONSTRUÇÃO AUTOMATIZADA DE CASOS DE TESTE USANDO ENGENHARIA DIRIGIDA POR MODELOS / CONSTRUCTION OF AUTOMATIC TEST CASES USING ENGINEERING ADDRESSED BY MODELSOUSA, Helaine Cristina Silva 14 May 2009 (has links)
Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1
Helaine_Cristina_Silva_Sousa.pdf: 2630560 bytes, checksum: fb46a7db2abe38334d4a7e684f39c287 (MD5)
Previous issue date: 2009-05-14 / FUNDAÇÃO DE AMPARO À PESQUISA E AO DESENVOLVIMENTO CIENTIFICO E TECNOLÓGICO DO MARANHÃO / The emergence of model driven approaches provides a new alternative for managing the
complexity involved in the creation of test cases, for enhancing the automation of software
testing and for promoting the broad reuse of models developed during the analysis of
requirements and design of software. In addition, it reduces the injection of errors and
software development time. However, in the use of model driven approaches, possible errors
can be injected during the manual creation of transformation rules applyied to develop a
software system. In this dissertation, we propose metamodels for test, a methodology and a
framework called Automatic Test Case based on Models (ATCM) in order to generate test
cases to test the source code generated by an model driven approach. A prototype of the
framework ATCM was developed, providing tools that minimize the injection of errors during
the generation of test cases, making this task less dependent on people and less error-prone
reducing the development time and providing high quality and efficiency of test cases. / O surgimento das Abordagens Dirigidas por Modelos fornece uma nova alternativa para o
gerenciamento da complexidade do desenvolvimento de software, para criação de testes de
software, para automação dos processos de testes e para fornecimento da ampla reutilização
de modelos desenvolvidos durante a fase de análise dos requisitos e projeto de software,
reduzindo a possível injeção de erros e o tempo de desenvolvimento do software. No entanto,
com a utilização das Abordagens Dirigidas por Modelos, possíveis erros podem ser injetados
na criação das regras de transformação para implementar um determinado sistema de
software. Propõe-se neste trabalho metamodelos de testes, uma metodologia e um framework
ATCM (Automatic Test Case based on Models) com a finalidade de gerar casos de teste a fim
de testar o código-fonte gerado por uma Abordagem Dirigida por Modelos. Um protótipo do
framework ATCM foi desenvolvido, fornecendo ferramentas que minimizam a injeção de
erros durante a geração dos casos de teste, tornando esta tarefa menos dependente de pessoas
e menos propensa a erros reduzindo o tempo de desenvolvimento e provendo maior qualidade
e eficiência nos casos de teste gerados.
|
4 |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z / FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE ZMENDES, Carlos César Gomes 29 July 2011 (has links)
Made available in DSpace on 2016-08-17T14:53:19Z (GMT). No. of bitstreams: 1
dissertacao Carlos Cesar.pdf: 5267302 bytes, checksum: 26bac06a2f7777c938fb717c801f59cd (MD5)
Previous issue date: 2011-07-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language. / Nesta dissertação, apresenta-se uma abordagem baseada na Teoria dos Conjuntos e na Linguagem de Especificação Formal Z para formalizar a Transformação entre Modelos dentro do contexto da Engenharia Dirigida a Modelos (MDE). A motivação desta pesquisa se deu devido a constatação de que a literatura sobre MDE tem apresentado ambiguidades e inconsistências nos modelos utilizados para abstrair o processo de transformação de modelos no contexto da MDE. Esta falta de precisão nestes tipos de modelos leva o usuário a interpretar de forma errada estruturas complexas presentes no mapeamento de elementos do modelo fonte para o modelo alvo. Sendo assim, propõe-se desenvolver uma metodologia formal que elimine as ambiguidades e inconsistências presentes nas representações informais da transformação de modelos da MDE. Para solucionar este problema, desenvolveu-se um Framework Conceitual Formal que agrupa os elementos envolvidos no processo de transformação, onde estes são representados através de artefatos matemáticos da Teoria dos Conjuntos e especificados em linguagem Z. Este Framework é validado através de um estudo de caso que contêm transformações, testadas na ferramenta de prova matemática Z/EVES, que suporta declarações feitas em linguagem Z.
|
Page generated in 0.0751 seconds