Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2015-03-06T19:38:17Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T19:38:17Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:08:03Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T17:08:03Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / SERPRO / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

By analyzing the last years of software development evolution, it is possible to observe that the involved technologies are increasingly focused on the definition of models for the specification of the intended software products. This model-centric development schema is the main ingredient for the Model-Driven Development (MDD) paradigm. In general terms, the MDD approaches propose the automatic generation of software products by means of the transformation of the defined models into the final program code. This transformation process is also known as model compilation process. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. Hence, models become the main actors of the MDD processes: the models are the new programming code. In this context, the interoperability can be considered a natural trend for the future of model-driven technologies, where different modeling approaches, tools, and standards can be integrated and coordinated to reduce the implementation and learning time of MDD solutions as well as to improve the quality of the final software products. However, there is a lack of approaches that provide a suitable solution to support the interoperability in MDD processes. Moreover, the proposals that define an interoperability framework for MDD processes are still in a theoretical space and are not aligned with current standards, interoperability approaches, and technologies. Thus, the main objective of this doctoral thesis is to develop an approach to achieve the interoperability in MDD processes. This interoperability approach is based on current metamodeling standards, modeling language customization mechanisms, and model-to-model transformation technologies. To achieve this objective, novel approaches have been defined to improve the integration of modeling languages, to obtain a suitable interchange of modeling information, and to perform automatic interoperability verification. / Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108

Internet se ha convertido por méritos propios en el medio de comunicación por excelencia. La velocidad con la que se puede intercambiar información unida a la eliminación de las barreras geográ?cas y tecnológicas han convertido a Internet en la plataforma preferida para divulgar el conocimiento y hacer negocios. Para llevar a cabo el desarrollo de aplicaciones software en estos entornos, han aparecido numerosas aproximaciones que aplican lo que se conoce como Ingeniería Web. Estas aproximaciones de?nen processos de desarrollo y extensiones conceptuales basadas en modelos, orientadas a la construcción de aplicaciones web. Por otro lado están los principios del Desarrollo Dirigido por Modelos donde se proporcionan marcos conceptuales y entornos que permiten construir processos de desarrollo con generación de código a partir de modelos. Bajo esta perspectiva se enmarca esta tesis, en la que se de?ne OOWS, un entorno de producción de software para la web que aplica los principios que se proponen en la Ingeniería Web y en el Desarrollo Dirigido por Modelos. Este entorno de?ne un proceso de desarrollo en base a unos modelos conceptuales extendidos con características web y una estrategia para obtener automáticamente la aplicación web a partir de estos modelos OOWS. Para dar suporte a esta aproximación se ha construido una herramienta que permite editar y gestionar estos modelos conceptuales web, y que implementa las transformaciones que permiten obtener un prototipo de la aplicación web a partir de estos modelos. / Fons Cors, JJ. (2008). OOWS: un mètode dirigit per models per al desanvolupament d'aplicacions web [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1989

Los servicios Web facilitan el acceso a la funcionalidad de las aplicaciones a través de Internet, aportan grandes ventajas como el acceso a servicios desde cualquier punto de la red, simplifican el acceso a la funcionalidad y facilitan la interoperabilidad entre servicios y entre aplicaciones, permitiendo integrar la funcionalidad de distintas aplicaciones empresariales. Además, proporcionan estándares y mecanismos para llevar a cabo el comercio electrónico y han convertido la Web en un marco para el desarrollo de aplicaciones distribuidas, extendiéndose a todos los dominios de aplicación. Los servicios Web son el mecanismo ideal para la implementación de las Arquitecturas Orientadas a Servicios (SOA) para sistemas de información integrados y distribuidos. La evolución natural de los métodos de producción de software, y de OOMethod / OOWS en particular, plantean la necesidad de mejorar el proceso de producci'on de software. Para mejorarlo, se debe de dotar del soporte necesario para el desarrollo de aplicaciones Web sobre SOA disponiendo de una estrategia de generación automática de aplicaciones. La generación automática debe poder dar soporte, de forma transparente, a las diferentes aproximaciones tecnológicas existentes en el ámbito de los servicios Web en la actualidad. Esta tesis presenta un método, dentro del ámbito de la Ingeniería Web, que diseñaa e implementa de manera automática servicios Web a partir de modelos conceptuales. El método presentado ha sido desarrollado basándose en el Desarrollo de Software Dirigido por Modelos (MDD). De esta forma, el método utiliza un conjunto de modelos que representan la aplicación a desarrollar y mediante la aplicación de transformaciones de Modelo-A-Texto se obtiene el diseño e implementación de los servicios Web que representan el sistema modelado. El método propuesto en esta tesis está soportado por una herramienta llamada DISWOOM. / Ruiz Server, M. (2010). Generación automática de servicios WEB a partir de modelos conceptuales [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8346

Historically, software production methods and tools have a unique goal: to produce high quality software. Since the goal of Model-Driven Development (MDD) methods is no different, MDD methods have emerged to take advantage of the benefits of using conceptual models to produce high quality software. In such MDD contexts, conceptual models are used as input to automatically generate final applications. Thus, we advocate that there is a relation between the quality of the final software product and the quality of the models used to generate it. The quality of conceptual models can be influenced by many factors. In this thesis, we focus on the accuracy of the techniques used to predict the characteristics of the development process and the generated products. In terms of the prediction techniques for software development processes, it is widely accepted that knowing the functional size of applications in order to successfully apply effort models and budget models is essential. In order to evaluate the quality of generated applications, defect detection is considered to be the most suitable technique. The research goal of this thesis is to provide an accurate measurement procedure based on COSMIC for the automatic sizing of object-oriented OO-Method MDD applications. To achieve this research goal, it is necessary to accurately measure the conceptual models used in the generation of object-oriented applications. It is also very important for these models not to have defects so that the applications to be measured are correctly represented. In this thesis, we present the OOmCFP (OO-Method COSMIC Function Points) measurement procedure. This procedure makes a twofold contribution: the accurate measurement of objectoriented applications generated in MDD environments from the conceptual models involved, and the verification of conceptual models to allow the complete generation of correct final applications from the conceptual models involved. The OOmCFP procedure has been systematically designed, applied, and automated. This measurement procedure has been validated to conform to the ISO 14143 standard, the metrology concepts defined in the ISO VIM, and the accuracy of the measurements obtained according to ISO 5725. This procedure has also been validated by performing empirical studies. The results of the empirical studies demonstrate that OOmCFP can obtain accurate measures of the functional size of applications generated in MDD environments from the corresponding conceptual models. / Marín Campusano, BM. (2011). Functional Size Measurement and Model Verification for Software Model-Driven Developments: A COSMIC-based Approach [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11237

Hoy en día el tamaño del software es utilizado en la gestión y control de producción como uno de los parámetros esenciales de los modelos de estimación que contribuyen a la calidad de los proyectos de software y productos entregables. Aunque la importancia de la medición temprana del tamaño es evidente, actualmente esta medición es solamente alcanzada en fases tardías del ciclo de vida del software (análisis, diseño e implementación). El tamaño de software puede ser cuantificado usando diferentes técnicas, como las líneas de código y los métodos de medición de tamaño funcional. Un método de medición de tamaño funcional mide el tamaño del software cuantificando los requisitos funcionales. El método Análisis de Puntos de Función (FPA) es el método mayormente utilizado. Este método fue desarrollado para medir Sistemas de Información de Gestión desarrollados con metodos tradicionales. Aunque IFPUG FPA ha ido alcanzado mayor popularidad en la industria, este método carece de aplicabilidad a todo tipo de software y a nuevos paradigmas de desarrollo. Para direccionar estas debilidades, COSMIC-FFP ha surgido como un método de segunda generación y ha sido probado como un estandar internacional (ISO/IEC 19761). Sin embargo, la generalidad de COSMIC-FFP requiere ser instanciado por medio de un procedimiento más específico y sistemático en conjunción con un método de desarrollo de software. / Condori Fernández, ON. (2007). Un procedimiento de medición de tamaño funcional para especificaciones de requisitos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1998

Actualmente, la ingeniería de software ha propuesto múltiples técnicas para mejorar el desarrollo de software, sin embargo, la meta final no ha sido satisfecha. En muchos casos, el producto software no satisface las necesidades reales de los clientes finales del negocio donde el sistema operará. Uno de los problemas principales de los trabajos actuales es la carencia de un enfoque sistemático para mapear cada concepto de modelado del dominio del problema (modelos organizacionales), en sus correspondientes elementos conceptuales en el espacio de la solución (modelos conceptuales orientados a objetos). El principal objetivo de esta tesis es proveer un enfoque metodológico que permita generar modelos conceptuales y modelos de requisitos a partir de descripciones organizacionales. Se propone el uso de tres disciplinas, distintas pero complementarias (modelado organizacional, requisitos de software y modelado conceptual) para lograr este objetivo. La tesis describe un proceso de elicitación de requisitos que permite al usuario crear un modelo de negocios que representa la situación actual del negocio (requisitos tempranos). Nosotros consideramos que este modelo, el cual refleja la forma en la que se implementan actualmente los procesos de negocio, es la fuente correcta para determinar la funcionalidad esperada del sistema a desarrollar. Se propone también un proceso para identificar los elementos que son relevantes para ser automatizados a partir del modelo de negocio. Como resultado de este proceso se genera un modelo intermedio que representa los requisitos del sistema de software. Finalmente, presentamos un conjunto de guías sistemáticas para generar un esquema conceptual orientado a objetos a partir del modelo intermedio. Nosotros también exploramos, como solución alternativa, la generación de una especificación de requisitos tardíos a partir del modelo intermedio. / Martínez Rebollar, A. (2008). Conceptual schemas generation from organizacional model in an automatic software production process [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/3304

It is widely recognised that information and communication technologies development is a risky activity. Despite the advances in software engineering, many software development projects fail to satisfy the clients' needs, to deliver on time or to stay within budget. Among the various factors that are considered to cause failure, an inadequate requirements practice stands out. Model-driven development is a relatively recent paradigm with the potential to solve some of the dragging problems of software development. Models play a paramount role in model-driven development: several modelling layers allow defining views of the system under construction at different abstraction levels, and model transformations facilitate the transition from one layer to the other. However, how to effectively integrate requirements engineering within model-driven development is still an open research challenge. This thesis integrates Communication Analysis, a communication-oriented business process modelling and requirements engineering method for information systems development, and the OO Method, an object-oriented model-driven software development method provides automatic software generation from conceptual models. We first provide a detailed specification of Communication Analysis intended to facilitate the integration; among other improvements to the method, we build an ontology-based set of concept definitions in which to ground the method, we provide precise methodological guidelines, we create a metamodel for the modelling languages included in the method, and we provide tools to support the creation of Communication Analysis requirements models. Then we perform the integration by providing a technique to systematically derive OO-Method conceptual models from Communication Analysis requirements models. The derivation technique is offered in two flavours: a set of rules to be manually applied by a human analyst, and an ATL model transformation that automates this task. / España Cubillo, S. (2011). METHODOLOGICAL INTEGRATION OF COMMUNICATION ANALYSIS INTO A MODEL-DRIVEN SOFTWARE DEVELOPMENT FRAMEWORK [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/14572

[ES] Cada día surgen nuevas tecnologías que cambian el mundo tal y como lo conocemos: cómo aprendemos, trabajamos y nos relacionamos. Este escenario lleva a las organizaciones a adaptar rápidamente no sólo sus productos y servicios, sino también su estructura y estrategias para sobrevivir y prosperar. Como se ha estudiado ampliamente, alinear la tecnología de la información con objetivos de alto nivel es clave para que una organización se adapte rápidamente a su entorno. Los métodos de desarrollo dirigidos por modelos (MDD) han contribuido a ello al incluir los objetivos de negocio en el proceso de desarrollo de software, proporcionando trazabilidad, calidad y eficiencia mediante transformaciones de modelo a modelo. Sin embargo, los métodos MDD existentes no han incluido la estrategia y la estructura de la organización en el proceso de desarrollo. Esta tesis integra la información organizacional en un método MDD existente compuesto por OO-Method, un método MDD orientado a objetos, y Análisis de Comunicaciones, un método de modelado de procesos de negocio orientado a la comunicación. A ellos, se integran las principales contribuciones de esta tesis: LiteStrat, un método de modelado organizacional, y Stra2Bis, un método para diseñar procesos de negocio alineados estratégicamente. LiteStrat permite modelar las influencias externas que demandan el desarrollo de nuevo software, y la estrategia y la estructura organizacional para abordar dicha influencia. Stra2Bis integra LiteStrat y Análisis de Comunicaciones a través de tres reglas de transformación, generando una estructura de procesos de negocio alineada con la organización. Hemos realizado validaciones experimentales de las mejoras de completitud y precisión de los modelos producidos por los métodos, y de la eficacia y satisfacción de sus usuarios. El trabajo futuro se centra en la aplicación de los métodos en la industria y en su evolución continua. / [CA] Cada dia sorgixen noves tecnologies que canvien el món tal com el coneixem: com aprenem, treballem i ens relacionem. Aquest escenari porta a les organitzacions a adaptar ràpidament no sols els seus productes i servicis, sinó també la seua estructura i estratègies per a sobreviure i prosperar. Com s'ha estudiat àmpliament, alinear la tecnologia de la informació amb objectius d'alt nivell és clau perquè una organització s'adapte ràpidament al seu entorn. Els mètodes de desenvolupament dirigits per models (MDD) hi han contribuït en incloure els objectius de negoci en el procés de desenvolupament de programari, proporcionant traçabilitat, qualitat i eficiència mitjançant transformacions de model a model. No obstant, els mètodes MDD existents no han inclòs l'estratègia i l'estructura de l'organització en el procés de desenvolupament. Aquesta tesi integra la informació organitzacional en un mètode MDD existent compost per OO-Method, un mètode MDD orientat a objectes, i Anàlisis de Comunicacions, un mètode de modelatge de processos de negoci orientat a la comunicació. A ells, s'integren les principals contribucions d'aquesta tesi: LiteStrat, un mètode de modelatge organitzacional, i Stra2Bis, un mètode per a dissenyar processos de negoci alineats estratègicament. LiteStrat permet modelar les influències externes que demanden el desenvolupament de nou programari, i l'estratègia i l'estructura organitzacional per a abordar aquesta influència. Stra2Bis integra LiteStrat i Anàlisi de Comunicacions a través de tres regles de transformació, generant una estructura de processos de negoci alineada amb l'organització. Hem realitzat validacions experimentals de les millores de completesa i precisió dels models produïts pels mètodes, i de l'eficàcia i satisfacció dels seus usuaris. El treball futur se centra en l'aplicació dels mètodes en la indústria i en la seua evolució contínua. / [EN] New, disruptive technologies emerge daily, changing the world as we know it: how we learn, work, and socially interact. This ever-changing scenario pushes organisations to quickly adapt not only their products and services but also their structure and strategies to survive and thrive. As has been widely studied, aligning information technology to high-level goals is key for an organisation to adapt quickly to its environment. Model-driven development (MDD) methods have contributed to this by systematically including business goals in the software development process, providing traceability, quality and efficiency through model-to-model transformations. Yet, existing MDD methods have not included organisational strategy and structure in the development process. This thesis integrates organisational information into a baseline MDD method composed of the OO-Method, an object-oriented model-driven development method, and Communication Analysis, a communication-oriented business process modelling method. The baseline MDD method is extended by the main contributions of this thesis: LiteStrat, an organisational modelling method, and Stra2Bis, a method for designing strategically aligned business processes. LiteStrat supports modelling the external influences that drive new software development endeavours and the strategy and organisational structure to address such influence. Stra2Bis integrates LiteStrat and Communication Analysis through three model-to-model transformation guidelines, generating the scaffold of business processes aligned with the organisation's structure and strategy. Sound experimental validations were performed to assess the methods' improvements in completeness and accuracy and their effect on the method users' efficiency and satisfaction. Further work regards implementing the methods into industrial contexts and their continuous evolution. / Project Participation: SREC: Desarrollo ágil de sistemas desde requisitos a código (SREC). PID2021-123824OB-I00: Agencia Estatal de Investigacion, España. 2022-2025. DELFOS: Sistema de información para la gestión de variaciones genómicas. PDC2021-121243-I00 - Agencia Estatal de Investigacion, España. 2021-2023. OGMIOS: Sistema inteligente de apoyo a la toma de decisiones clínicas en medicina de precisión. INNEST/2021/57 - Agencia Estatal de Investigacion, España. 2021-2023. / Noel López, RA. (2024). Design and Implementation of a Model-Driven Software Production Method: from Strategy to Code [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/203527