2018
|
ConferenceAbel Gómez, Connie U. Smith, Amy Spellmann, Jordi Cabot Enabling Performance Modeling for the Masses: Initial Experiences System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, vol. 11150, Lecture Notes in Computer Science Springer International Publishing, Cham, 2018, ISBN: 978-3-030-01042-3. Abstract | Links | BibTeX | Tags: Model-Driven Engineering (MDE), Query/View/Transformation (QVT), S-PMIF+, software performance @conference{Gomez:SAM:2018,
title = {Enabling Performance Modeling for the Masses: Initial Experiences},
author = {Abel G\'{o}mez and Connie U. Smith and Amy Spellmann and Jordi Cabot},
editor = {Ferhat Khendek and Reinhard Gotzhein},
doi = {10.1007/978-3-030-01042-3_7},
isbn = {978-3-030-01042-3},
year = {2018},
date = {2018-09-26},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering},
volume = {11150},
pages = {105--126},
publisher = {Springer International Publishing},
address = {Cham},
series = {Lecture Notes in Computer Science},
abstract = {Performance problems such as sluggish response time or low throughput are especially annoying, frustrating and noticeable to users. Fixing performance problems after they occur results in unplanned expenses and time. Our vision is an MDE-intensive software development paradigm for complex systems in which software designers can evaluate performance early in development, when the analysis can have the greatest impact. We seek to empower designers to do the analysis themselves by automating the creation of performance models out of standard design models. Such performance models can be automatically solved, providing results meaningful to them. In our vision, this automation can be enabled by using model-to-model transformations: First, designers create UML design models embellished with the Modeling and Analysis of Real Time and Embedded systems (MARTE) design specifications; and secondly, such models are transformed to automatically solvable performance models by using QVT. This paper reports on our first experiences when implementing these two initial activities.},
keywords = {Model-Driven Engineering (MDE), Query/View/Transformation (QVT), S-PMIF+, software performance},
pubstate = {published},
tppubtype = {conference}
}
Performance problems such as sluggish response time or low throughput are especially annoying, frustrating and noticeable to users. Fixing performance problems after they occur results in unplanned expenses and time. Our vision is an MDE-intensive software development paradigm for complex systems in which software designers can evaluate performance early in development, when the analysis can have the greatest impact. We seek to empower designers to do the analysis themselves by automating the creation of performance models out of standard design models. Such performance models can be automatically solved, providing results meaningful to them. In our vision, this automation can be enabled by using model-to-model transformations: First, designers create UML design models embellished with the Modeling and Analysis of Real Time and Embedded systems (MARTE) design specifications; and secondly, such models are transformed to automatically solvable performance models by using QVT. This paper reports on our first experiences when implementing these two initial activities. |
2012
|
Journal ArticleMaría Eugenia Cabello, Isidro Ramos, Jorge Rafael Gutiérrez, Abel Gómez, Rogelio Limón SPL variability management, cardinality and types: an MDA approach In: International Journal of Intelligent Information and Database Systems (IJIIDS), vol. 6, no. 2, pp. 129-153, 2012, ISSN: 1751-5866. Abstract | Links | BibTeX | Tags: Expert Systems, Feature Modeling (FM), Intelligent Information, Metamodels, Model Transformation (MT), Model-Driven Architecture (MDA), Models, Query/View/Transformation (QVT), Software Product Line Production Plan, Software Product Lines (SPL), Variability Management @article{Cabello:IJIIDS:2012,
title = {SPL variability management, cardinality and types: an MDA approach},
author = {Mar\'{i}a Eugenia Cabello and Isidro Ramos and Jorge Rafael Guti\'{e}rrez and Abel G\'{o}mez and Rogelio Lim\'{o}n},
doi = {10.1504/IJIIDS.2012.045848},
issn = {1751-5866},
year = {2012},
date = {2012-03-14},
journal = {International Journal of Intelligent Information and Database Systems (IJIIDS)},
volume = {6},
number = {2},
pages = {129-153},
abstract = {This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan.},
keywords = {Expert Systems, Feature Modeling (FM), Intelligent Information, Metamodels, Model Transformation (MT), Model-Driven Architecture (MDA), Models, Query/View/Transformation (QVT), Software Product Line Production Plan, Software Product Lines (SPL), Variability Management},
pubstate = {published},
tppubtype = {article}
}
This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan. |
2011
|
ConferenceAbel Gómez, Isidro Ramos Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development Information Systems Development: Business Systems and Services: Modeling and Development, Springer New York, New York, NY, 2011, ISBN: 978-1-4419-9790-6, (Prague, Czech Republic). Abstract | Links | BibTeX | Tags: Feature Modeling (FM), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL) @conference{Gomez:ISD:2010,
title = {Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development},
author = {Abel G\'{o}mez and Isidro Ramos},
editor = {Jaroslav Pokorny and Vaclav Repa and Karel Richta and Wita Wojtkowski and Henry Linger and Chris Barry and Michael Lang},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-isd-2010.pdf},
doi = {10.1007/978-1-4419-9790-6_22},
isbn = {978-1-4419-9790-6},
year = {2011},
date = {2011-09-01},
booktitle = {Information Systems Development: Business Systems and Services: Modeling and Development},
pages = {271--284},
publisher = {Springer New York},
address = {New York, NY},
abstract = {Feature Modeling is a technique that uses diagrams to characterize the variability of software product lines. The arrival of metamodeling frameworks in the Model-Driven Engineering field (MDE) has provided the necessary background to exploit these diagrams (called feature models) in information systems development processes. However, these frameworks have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with complex model constraints. The prototype uses model transformations to build Domain Variability Models (DVM) that can be instantiated. This proposal permits us to take advantage of existing tools to validate model instances and finally to automatically generate code. Moreover, DVMs can play a key role in complex MDE processes automating the use of feature models in software product lines.},
note = {Prague, Czech Republic},
keywords = {Feature Modeling (FM), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL)},
pubstate = {published},
tppubtype = {conference}
}
Feature Modeling is a technique that uses diagrams to characterize the variability of software product lines. The arrival of metamodeling frameworks in the Model-Driven Engineering field (MDE) has provided the necessary background to exploit these diagrams (called feature models) in information systems development processes. However, these frameworks have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with complex model constraints. The prototype uses model transformations to build Domain Variability Models (DVM) that can be instantiated. This proposal permits us to take advantage of existing tools to validate model instances and finally to automatically generate code. Moreover, DVMs can play a key role in complex MDE processes automating the use of feature models in software product lines. Full Text AvailablePreprint |
Journal ArticleBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Software Generic Measurement Framework Based on MDA In: IEEE Latin America Transactions, vol. 9, no. 1, pp. 864-871, 2011, ISSN: 1548-0992. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @article{Mora:IEEELatAm:2011,
title = {Software Generic Measurement Framework Based on MDA},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
doi = {10.1109/TLA.2011.5876432},
issn = {1548-0992},
year = {2011},
date = {2011-03-01},
journal = {IEEE Latin America Transactions},
volume = {9},
number = {1},
pages = {864-871},
abstract = {Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the Software Measurement Framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {article}
}
Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the Software Measurement Framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown. |
2010
|
ConferenceAbel Gómez, María Eugenia Cabello, Isidro Ramos BOM-Lazy: A Variability-Driven Framework for Software Applications Production Using Model Transformation Techniques Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), Lancaster University, Lancaster, United Kingdom, 2010, ISBN: 978-1-86220-274-0. Abstract | Links | BibTeX | Tags: BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management @conference{Gomez:SPLC:2010,
title = {BOM-Lazy: A Variability-Driven Framework for Software Applications Production Using Model Transformation Techniques},
author = {Abel G\'{o}mez and Mar\'{i}a Eugenia Cabello and Isidro Ramos },
editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-splc-2010.pdf},
isbn = {978-1-86220-274-0},
year = {2010},
date = {2010-09-13},
booktitle = {Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)},
pages = {139--146},
publisher = {Lancaster University},
address = {Lancaster, United Kingdom},
crossref = {DBLP:conf/splc/2010w},
abstract = {This paper presents Baseline Oriented Modeling\textendashLazy (BOM\textendashLazy): an approach to develop applications in a domain, Expert Systems, by means of Software Product Lines and model transformations techniques. A domain analysis has been done on the variability of Expert Systems that perform diagnostic tasks in order to determine the general and individual features, (i.e. common and variants features) of these systems. The variability of our Software Product Line is managed by means of models and model transformations; and the production plan is automatically generated and driven by the variability model and the core assets (which take part in the reference architecture) of the domain, in order to produce the base architecture of the Software Product Line.},
keywords = {BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management},
pubstate = {published},
tppubtype = {conference}
}
This paper presents Baseline Oriented Modeling–Lazy (BOM–Lazy): an approach to develop applications in a domain, Expert Systems, by means of Software Product Lines and model transformations techniques. A domain analysis has been done on the variability of Expert Systems that perform diagnostic tasks in order to determine the general and individual features, (i.e. common and variants features) of these systems. The variability of our Software Product Line is managed by means of models and model transformations; and the production plan is automatically generated and driven by the variability model and the core assets (which take part in the reference architecture) of the domain, in order to produce the base architecture of the Software Product Line. Full Text AvailablePreprint |
ConferenceAbel Gómez, Isidro Ramos Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together Fourth International Workshop on Variability Modelling of Software-intensive Systems – Proceedings, no. 37, VaMoS 2010 Institut für Informatik und Wirtschaftsinformatik (ICB) ICB Research Reports, Essen, Germany, 2010, ISSN: 1860‐2770, (Linz, Austria). Abstract | Links | BibTeX | Tags: Feature Modeling (FM), Model-Driven Architecture (MDA), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL), Unified Modeling Language (UML) @conference{Gomez:VaMoS:2010,
title = {Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together},
author = {Abel G\'{o}mez and Isidro Ramos},
editor = {David Benavides and Don Batory and Paul Gr\"{u}nbacher},
url = {http://www.wi-inf.uni-duisburg-essen.de/FGFrank/download/icb/ICBReportNo37.pdf},
issn = {1860‐2770},
year = {2010},
date = {2010-01-01},
booktitle = {Fourth International Workshop on Variability Modelling of Software-intensive Systems \textendash Proceedings},
number = {37},
publisher = {ICB Research Reports},
address = {Essen, Germany},
organization = {Institut f\"{u}r Informatik und Wirtschaftsinformatik (ICB)},
series = {VaMoS 2010},
abstract = {Feature Modeling is a technique which uses a specific visual notation to characterize the variability of product lines by means of diagrams. In this sense, the arrival of metamodeling frameworks in the Model-Driven Engineering field has provided the necessary background to exploit these diagrams (called feature models) in complex software development processes. However, these frameworks (such as the Eclipse Modeling Framework) have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with constraints. These models are automatically translated to Domain Variability Models (DVM) by means of model-to-model transformations. Thus, such models can be instantiated, and each different instantiation is a configuration of the feature model. This appproach allows us to take advantage of existing generative programming tools, query languages and validation formalisms; and, what is more, DVMs can play a key role in MDE processes as they can be used as inputs in complex model transformations.
},
note = {Linz, Austria},
keywords = {Feature Modeling (FM), Model-Driven Architecture (MDA), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL), Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Feature Modeling is a technique which uses a specific visual notation to characterize the variability of product lines by means of diagrams. In this sense, the arrival of metamodeling frameworks in the Model-Driven Engineering field has provided the necessary background to exploit these diagrams (called feature models) in complex software development processes. However, these frameworks (such as the Eclipse Modeling Framework) have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with constraints. These models are automatically translated to Domain Variability Models (DVM) by means of model-to-model transformations. Thus, such models can be instantiated, and each different instantiation is a configuration of the feature model. This appproach allows us to take advantage of existing generative programming tools, query languages and validation formalisms; and, what is more, DVMs can play a key role in MDE processes as they can be used as inputs in complex model transformations.
Open Access |
2009
|
ConferenceMaría Gómez, Abel Gómez, María Eugenia Cabello, Isidro Ramos BOM–Lazy: gestión de la variabilidad en el desarrollo de Sistemas Expertos mediante técnicas de MDA Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2009), junto a XIV Jornadas de Ingeniería de Software y Bases de Datos (JISBD 2009), vol. 3, no. 9, SISTEDES, 2009, ISSN: 1988–3455, (San Sebastián, Spain). Abstract | Links | BibTeX | Tags: BOM-Lazy, Expert Systems, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Model-Driven Architecture (MDA), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management @conference{Gomez:DSDM:2009,
title = {BOM\textendashLazy: gesti\'{o}n de la variabilidad en el desarrollo de Sistemas Expertos mediante t\'{e}cnicas de MDA},
author = {Mar\'{i}a G\'{o}mez and Abel G\'{o}mez and Mar\'{i}a Eugenia Cabello and Isidro Ramos},
editor = {Orlando Avila-Garc\'{i}a and Vicente Pelechano and Jos\'{e} Ra\'{u}l Romero},
url = {https://www.sistedes.es/files/actas-talleres-JISBD/Vol-3/No-2/DSDM09.pdf},
issn = {1988\textendash3455},
year = {2009},
date = {2009-09-08},
booktitle = {Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2009), junto a XIV Jornadas de Ingenier\'{i}a de Software y Bases de Datos (JISBD 2009)},
volume = {3},
number = {9},
pages = {91--100},
publisher = {SISTEDES},
abstract = {Este documento presenta BOM\textendashLazy, una aproximaci\'{o}n para desarrollar Sistemas Expertos mediante la utilizaci\'{o}n de t\'{e}cnicas de Desarrollo de Software Dirigido por Modelos y L\'{i}neas de Producto Software. Se ha realizado un estudio sobre la variabilidad de los Sistemas Expertos para determinar las caracter\'{i}sticas generales y particulares de dicho dominio. La variabilidad de tal dominio se gestiona mediante una transformaci\'{o}n de modelos que permite obtener autom\'{a}ticamente diferentes arquitecturas base a partir de la arquitectura gen\'{e}rica de la L\'{i}nea de Productos Software. },
note = {San Sebasti\'{a}n, Spain},
keywords = {BOM-Lazy, Expert Systems, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Model-Driven Architecture (MDA), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management},
pubstate = {published},
tppubtype = {conference}
}
Este documento presenta BOM–Lazy, una aproximación para desarrollar Sistemas Expertos mediante la utilización de técnicas de Desarrollo de Software Dirigido por Modelos y Líneas de Producto Software. Se ha realizado un estudio sobre la variabilidad de los Sistemas Expertos para determinar las características generales y particulares de dicho dominio. La variabilidad de tal dominio se gestiona mediante una transformación de modelos que permite obtener automáticamente diferentes arquitecturas base a partir de la arquitectura genérica de la Línea de Productos Software. Open AccessSpanish |
ConferenceMaría Eugenia Cabello, Isidro Ramos, Abel Gómez, Rogelio Limón Baseline-Oriented Modeling: An MDA Approach Based on Software Product Lines for the Expert Systems Development Intelligent Information and Database Systems, 2009. ACIIDS 2009. First Asian Conference on, IEEE Computer Society, 2009, ISBN: 978-0-7695-3580-7, (Dong Hoi, Vietnam). Abstract | Links | BibTeX | Tags: BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Product Lines (SPL) @conference{Cabello:ACIIDS:2009,
title = {Baseline-Oriented Modeling: An MDA Approach Based on Software Product Lines for the Expert Systems Development},
author = {Mar\'{i}a Eugenia Cabello and Isidro Ramos and Abel G\'{o}mez and Rogelio Lim\'{o}n},
editor = {Ngoc Thanh Nguyen and Huynh Phan Nguyen and Adam Grzech},
doi = {10.1109/ACIIDS.2009.15},
isbn = {978-0-7695-3580-7},
year = {2009},
date = {2009-04-01},
booktitle = {Intelligent Information and Database Systems, 2009. ACIIDS 2009. First Asian Conference on},
pages = {208-213},
publisher = {IEEE Computer Society},
abstract = {This paper presents our baseline oriented modeling (BOM) approach. BOM is a framework that automatically generates software applications as PRISMA architectural models using model transformations and software product line techniques. We follow the model-driven architecture initiative building domain models which are automatically transformed into platform independent models, and then compiled to an executable application (i.e. platform specific models). In order to illustrate BOM, we focus on a specific domain: the diagnostic expert systems.},
note = {Dong Hoi, Vietnam},
keywords = {BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Product Lines (SPL)},
pubstate = {published},
tppubtype = {conference}
}
This paper presents our baseline oriented modeling (BOM) approach. BOM is a framework that automatically generates software applications as PRISMA architectural models using model transformations and software product line techniques. We follow the model-driven architecture initiative building domain models which are automatically transformed into platform independent models, and then compiled to an executable application (i.e. platform specific models). In order to illustrate BOM, we focus on a specific domain: the diagnostic expert systems. |
2008
|
Journal ArticleAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos, Claudia Täubner, Silke Eckstein JISBD2007-03: Biological Data Processing using Model Driven Engineering In: IEEE Latin America Transactions, vol. 6, no. 4, pp. 324-331, 2008, ISSN: 1548-0992. Abstract | Links | BibTeX | Tags: Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Petri net (PN), Query/View/Transformation (QVT) @article{Gomez:IEEELatAm:2008,
title = {JISBD2007-03: Biological Data Processing using Model Driven Engineering},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos and Claudia T\"{a}ubner and Silke Eckstein},
doi = {10.1109/TLA.2008.4815285},
issn = {1548-0992},
year = {2008},
date = {2008-08-01},
journal = {IEEE Latin America Transactions},
volume = {6},
number = {4},
pages = {324-331},
abstract = {This paper shows how model-driven software development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically.},
keywords = {Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Petri net (PN), Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {article}
}
This paper shows how model-driven software development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically. Spanish |
Journal ArticleBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos JISBD2007-08: Software generic measurement framework based on MDA In: IEEE Latin America Transactions, vol. 6, no. 4, pp. 363-370, 2008, ISSN: 1548-0992. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @article{Mora:IEEELatAm:2008,
title = {JISBD2007-08: Software generic measurement framework based on MDA},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
doi = {10.1109/TLA.2008.4815290},
issn = {1548-0992},
year = {2008},
date = {2008-08-01},
journal = {IEEE Latin America Transactions},
volume = {6},
number = {4},
pages = {363-370},
abstract = {Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the software measurement framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the software measurement framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {article}
}
Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the software measurement framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the software measurement framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown. Spanish |
ConferenceAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos Biological Data Transformation in Pathway Simulation Actas de las VIII Jornadas Nacionales de Bionformática (JNB 2008), Red Temática Nacional de Bioinformática, Valencia, Spain, 2008. Abstract | Links | BibTeX | Tags: Bioinformatics, Data Migration, Intergenomics, Petri net (PN), Query/View/Transformation (QVT) @conference{Gomez:JNB:2008,
title = {Biological Data Transformation in Pathway Simulation},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jnb-2008.pdf},
year = {2008},
date = {2008-02-15},
booktitle = {Actas de las VIII Jornadas Nacionales de Bionform\'{a}tica (JNB 2008)},
publisher = {Red Tem\'{a}tica Nacional de Bioinform\'{a}tica},
address = {Valencia, Spain},
abstract = {This work shows how Model-Driven Software Development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically.},
keywords = {Bioinformatics, Data Migration, Intergenomics, Petri net (PN), Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
This work shows how Model-Driven Software Development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically. Full Text AvailablePreprint |
ConferenceBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Software Measurement by Using QVT Transformations in an MDA Context Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), vol. 1, INSTICC SciTePress, 2008, ISBN: 978-989-8111-36-4, (Barcelona, Spain). Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @conference{Mora:ICEIS:2008,
title = {Software Measurement by Using QVT Transformations in an MDA Context},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jos\'{e} Cordeiro and Joaquim Filipe},
doi = {10.5220/0001677901170124},
isbn = {978-989-8111-36-4},
year = {2008},
date = {2008-01-01},
booktitle = {Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008)},
volume = {1},
pages = {117--124},
publisher = {SciTePress},
organization = {INSTICC},
abstract = {At present the objective of obtaining quality software products has led to the necessity of carrying out good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework is necessary to integrate the different entities in the measurement process. In this work a Software Measurement Framework (SMF) is presented to measure any type of software entity. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework’s application to a concrete domai n is furthermore shown. },
note = {Barcelona, Spain},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
At present the objective of obtaining quality software products has led to the necessity of carrying out good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework is necessary to integrate the different entities in the measurement process. In this work a Software Measurement Framework (SMF) is presented to measure any type of software entity. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework’s application to a concrete domai n is furthermore shown. Open Access |
2007
|
ConferenceAbel Gómez, José Á. Carsí, Artur Boronat, Isidro Ramos, Claudia Täubner, Silke Eckstein Biological Data Migration Using a Model-Driven Approach Proceedings of the 4th International Workshop on Language Engineering (ateM 2007), no. 4/2007, Mainzer Informatik-Berichte Johannes Gutenberg-Universität Mainz Institut für Informatik, 2007, ISSN: 0931-9972, (Nashville, TN, USA). Abstract | Links | BibTeX | Tags: Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Query/View/Transformation (QVT) @conference{Gomez:ATEM:2007,
title = {Biological Data Migration Using a Model-Driven Approach},
author = {Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Artur Boronat and Isidro Ramos and Claudia T\"{a}ubner and Silke Eckstein},
editor = {Jean-Marie Favre and Dragan Gasevic and Ralk L\"{a}mmel and Andreas Winter},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-atem-2007.pdf},
issn = {0931-9972},
year = {2007},
date = {2007-09-30},
booktitle = {Proceedings of the 4th International Workshop on Language Engineering (ateM 2007)},
number = {4/2007},
pages = {150--164},
publisher = {Institut f\"{u}r Informatik},
organization = {Johannes Gutenberg-Universit\"{a}t Mainz},
series = {Mainzer Informatik-Berichte},
abstract = {This paper shows how Model-Driven Software Development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically. },
note = {Nashville, TN, USA},
keywords = {Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
This paper shows how Model-Driven Software Development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically. Full Text AvailablePreprint |
ConferenceAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos, Claudia Täubner, Silke Eckstein Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007., Thomson Editorial, 2007, ISBN: 978-84-9732-595-0. Abstract | Links | BibTeX | Tags: Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model-Driven Development (MDD), Query/View/Transformation (QVT) @conference{Gomez:JISBD:2007,
title = {Recuperaci\'{o}n y procesado de datos biol\'{o}gicos mediante Ingenier\'{i}a Dirigida por Modelos},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos and Claudia T\"{a}ubner and Silke Eckstein},
editor = {Xavier Franch},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-2007.pdf},
isbn = {978-84-9732-595-0},
year = {2007},
date = {2007-09-11},
booktitle = {Actas de las XII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007.},
pages = {275--284},
publisher = {Thomson Editorial},
abstract = {Este art\'{i}culo muestra c\'{o}mo el proceso de desarrollo de software dirigido por modelos (DSDM) es aplicable al campo de la bioinform\'{a}tica ya que la estructura de los datos biol\'{o}gicos se puede expresar mediante modelos de forma muy natural. En el contexto de la bioinform\'{a}tica es com\'{u}n la existencia de fuentes de datos (rellenadas de forma manual) heterog\'{e}neas. Con el objetivo de validar la informaci\'{o}n de estas fuentes de datos, se han adaptado diversos formalismos y herramientas de simulaci\'{o}n. El proceso de introducci\'{o}n de datos ---obtenidos de estas bases de datos--- en las herramientas de validaci\'{o}n se realiza tradicionalmente de forma manual. Este trabajo describe c\'{o}mo se ha resuelto este problema siguiendo una metodolog\'{i}a de DSDM empleando transformaciones de modelos. Esto permite automatizar el proceso de migraci\'{o}n de datos, obtener herramientas modulares, aislar el proceso de transformaci\'{o}n de datos de los formatos de persistencia de estos, y disponer de informaci\'{o}n de trazabilidad.},
keywords = {Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model-Driven Development (MDD), Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
Este artículo muestra cómo el proceso de desarrollo de software dirigido por modelos (DSDM) es aplicable al campo de la bioinformática ya que la estructura de los datos biológicos se puede expresar mediante modelos de forma muy natural. En el contexto de la bioinformática es común la existencia de fuentes de datos (rellenadas de forma manual) heterogéneas. Con el objetivo de validar la información de estas fuentes de datos, se han adaptado diversos formalismos y herramientas de simulación. El proceso de introducción de datos ---obtenidos de estas bases de datos--- en las herramientas de validación se realiza tradicionalmente de forma manual. Este trabajo describe cómo se ha resuelto este problema siguiendo una metodología de DSDM empleando transformaciones de modelos. Esto permite automatizar el proceso de migración de datos, obtener herramientas modulares, aislar el proceso de transformación de datos de los formatos de persistencia de estos, y disponer de información de trazabilidad. Full Text AvailablePreprintSpanish |
ConferenceBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Marco de Trabajo basado en MDA para la medición Genérica del Software Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007., Thomson Editorial, 2007, ISBN: 978-84-9732-595-0. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @conference{Mora:JISBD:2007,
title = {Marco de Trabajo basado en MDA para la medici\'{o}n Gen\'{e}rica del Software},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Xavier Franch},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/mora-jisbd-2007.pdf},
isbn = {978-84-9732-595-0},
year = {2007},
date = {2007-09-11},
booktitle = {Actas de las XII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007.},
pages = {211--220},
publisher = {Thomson Editorial},
abstract = {Actualmente, con el objetivo de obtener productos software de calidad es necesario llevar a cabo una buena gesti\'{o}n de los procesos software donde la medici\'{o}n de los procesos se convierte en un factor fundamental. Debido a la gran variedad de entidades candidatas para la medici\'{o}n, se considera necesario un marco consistente para integrar la medici\'{o}n de los distintos tipos de entidades. En este trabajo se presenta la propuesta de un entorno gen\'{e}rico para la medici\'{o}n de cualquier entidad software a partir de los metamodelos que las representan. Partiendo de un metamodelo com\'{u}n de medici\'{o}n, y mediante transformaciones QVT, se puede llevar a cabo la medici\'{o}n de un modelo de dominio cualquiera. En el trabajo se explica como se ha llevado a cabo la propuesta: por un lado, se ha trabajado con la herramienta MOMENT, que proporciona el soporte necesario para la gesti\'{o}n autom\'{a}tica de modelos de acuerdo a MDE y a la arquitectura MDA, por otro lado, se ha adaptado FMESP a MDA. FMESP es un marco de trabajo para la integraci\'{o}n del modelado y de la medici\'{o}n de procesos software, que sirve de base conceptual y tecnol\'{o}gica para su mejora. Adem\'{a}s, se muestran las etapas a seguir para conseguir la medici\'{o}n gen\'{e}rica basada en MDA, y un caso de ejemplo en el dominio de bases de datos relacionales.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
Actualmente, con el objetivo de obtener productos software de calidad es necesario llevar a cabo una buena gestión de los procesos software donde la medición de los procesos se convierte en un factor fundamental. Debido a la gran variedad de entidades candidatas para la medición, se considera necesario un marco consistente para integrar la medición de los distintos tipos de entidades. En este trabajo se presenta la propuesta de un entorno genérico para la medición de cualquier entidad software a partir de los metamodelos que las representan. Partiendo de un metamodelo común de medición, y mediante transformaciones QVT, se puede llevar a cabo la medición de un modelo de dominio cualquiera. En el trabajo se explica como se ha llevado a cabo la propuesta: por un lado, se ha trabajado con la herramienta MOMENT, que proporciona el soporte necesario para la gestión automática de modelos de acuerdo a MDE y a la arquitectura MDA, por otro lado, se ha adaptado FMESP a MDA. FMESP es un marco de trabajo para la integración del modelado y de la medición de procesos software, que sirve de base conceptual y tecnológica para su mejora. Además, se muestran las etapas a seguir para conseguir la medición genérica basada en MDA, y un caso de ejemplo en el dominio de bases de datos relacionales. Full Text AvailablePreprintSpanish |
ConferenceAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos MOMENT CASE: Un prototipo de herramienta CASE Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007., Thomson Editorial, 2007, ISBN: 978-84-9732-595-0. Abstract | Links | BibTeX | Tags: Computer Aided Design (CASE), DocBook, Maude, Model-Driven Engineering (MDE), MOMENT, Query/View/Transformation (QVT) @conference{Gomez:JISBD:demo:2007,
title = {MOMENT CASE: Un prototipo de herramienta CASE},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Xavier Franch},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-demo-2007.pdf
https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-poster-2007.pdf},
isbn = {978-84-9732-595-0},
year = {2007},
date = {2007-09-11},
booktitle = {Actas de las XII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007.},
pages = {389--390},
publisher = {Thomson Editorial},
abstract = {MOMENT CASE es un prototipo que mediante un proceso de desarrollo de software dirigido por modelos permite generar el c\'{o}digo SQL necesario para la creaci\'{o}n de una base de datos de un sistema de informaci\'{o}n, partiendo de la especificaci\'{o}n de \'{e}ste mediante un diagrama de clases UML, y mediante transformaciones de modelos sucesivas. La herramienta proporciona adem\'{a}s capacidades de trazabilidad y generaci\'{o}n autom\'{a}tica de documentaci\'{o}n.
Como motor para las transformaciones emplea la herramienta MOMENT (http://moment.dsic.upv.es.), que usa como back-end un potente sistema de reescritura de t\'{e}rminos. MOMENT CASE constituye un caso de estudio en el que convergen un marco formal de gesti\'{o}n de modelos y una herramienta de modelado industrial dando soporte a est\'{a}ndares abiertos como UML.
},
keywords = {Computer Aided Design (CASE), DocBook, Maude, Model-Driven Engineering (MDE), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
MOMENT CASE es un prototipo que mediante un proceso de desarrollo de software dirigido por modelos permite generar el código SQL necesario para la creación de una base de datos de un sistema de información, partiendo de la especificación de éste mediante un diagrama de clases UML, y mediante transformaciones de modelos sucesivas. La herramienta proporciona además capacidades de trazabilidad y generación automática de documentación.
Como motor para las transformaciones emplea la herramienta MOMENT (http://moment.dsic.upv.es.), que usa como back-end un potente sistema de reescritura de términos. MOMENT CASE constituye un caso de estudio en el que convergen un marco formal de gestión de modelos y una herramienta de modelado industrial dando soporte a estándares abiertos como UML.
Full Text AvailablePreprintSpanish |