2019
|
ConferenceSimona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José I. Requeno, Alberto Romeu A Systematic Approach for Performance Assessment Using Process Mining: An Industrial Experience Report (Abstract) Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), Cáceres, septiembre de 2019., Sistedes Sistedes, 2019. Abstract | Links | BibTeX | Tags: Complex Event Processing (CEP), Petri net (PN), Process Mining, Software Perfomance, Unified Modeling Language (UML) @conference{Bernardi:JISBD:2019,
title = {A Systematic Approach for Performance Assessment Using Process Mining: An Industrial Experience Report (Abstract)},
author = {Simona Bernardi and Juan L. Dom\'{i}nguez and Abel G\'{o}mez and Christophe Joubert and Jos\'{e} Merseguer and Diego Perez-Palacin and Jos\'{e} I. Requeno and Alberto Romeu},
editor = {Jennifer P\'{e}rez },
url = {http://hdl.handle.net/11705/JISBD/2019/019},
year = {2019},
date = {2019-09-02},
booktitle = {Actas de las XXIV Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2019), C\'{a}ceres, septiembre de 2019.},
publisher = {Sistedes},
organization = {Sistedes},
abstract = {Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes.},
keywords = {Complex Event Processing (CEP), Petri net (PN), Process Mining, Software Perfomance, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes. AbstractOpen Access |
Journal ArticleAbel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets In: Software & Systems Modeling, vol. 18, no. 5, pp. 2973-3003, 2019, ISSN: 1619-1374. Abstract | Links | BibTeX | Tags: CPN Tools, Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Publish-Subscribe, Unified Modeling Language (UML) @article{G\'{o}mez2019b,
title = {Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets},
author = {Abel G\'{o}mez and Ricardo J. Rodr\'{i}guez and Mar\'{i}a-Emilia Cambronero and Valent\'{i}n Valero},
doi = {10.1007/s10270-019-00716-1},
issn = {1619-1374},
year = {2019},
date = {2019-01-22},
journal = {Software \& Systems Modeling},
volume = {18},
number = {5},
pages = {2973-3003},
abstract = {UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs.},
keywords = {CPN Tools, Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Publish-Subscribe, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {article}
}
UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs. Full Text AvailableOpen Access |
2018
|
Journal ArticleSimona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José I. Requeno, Alberto Romeu A systematic approach for performance assessment using process mining: An industrial experience report In: Empirical Software Engineering, vol. 23, no. 6, pp. 3394–3441, 2018, ISSN: 1573-7616. Abstract | Links | BibTeX | Tags: DICE, Experience Report, Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Process Mining, Simulation, Software Perfomance, Unified Modeling Language (UML) @article{Bernardi:EmSE:2018,
title = {A systematic approach for performance assessment using process mining: An industrial experience report},
author = {Simona Bernardi and Juan L. Dom\'{i}nguez and Abel G\'{o}mez and Christophe Joubert and Jos\'{e} Merseguer and Diego Perez-Palacin and Jos\'{e} I. Requeno and Alberto Romeu},
url = {http://rdcu.be/Jz3J},
doi = {10.1007/s10664-018-9606-9},
issn = {1573-7616},
year = {2018},
date = {2018-03-21},
journal = {Empirical Software Engineering},
volume = {23},
number = {6},
pages = {3394--3441},
abstract = {Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes.},
keywords = {DICE, Experience Report, Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Process Mining, Simulation, Software Perfomance, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {article}
}
Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes. |
2016
|
ConferenceAbel Gómez, José Merseguer Una herramienta para evaluar el rendimiento de aplicaciones intensivas en datos Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), SISTEDES, Salamanca, Spain, 2016. Abstract | Links | BibTeX | Tags: Computer Aided Design (CASE), Data-Intensive Applications (DIA), DICE, Model-Driven Engineering (MDE), Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Simulation, UML Profiles, Unified Modeling Language (UML) @conference{Gomez:JISBD:2016,
title = {Una herramienta para evaluar el rendimiento de aplicaciones intensivas en datos},
author = {Abel G\'{o}mez and Jos\'{e} Merseguer},
editor = {Jes\'{u}s Garc\'{i}a Molina},
url = {http://hdl.handle.net/11705/JISBD/2016/026},
year = {2016},
date = {2016-09-13},
booktitle = {Actas de las XXI Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2016)},
publisher = {SISTEDES},
address = {Salamanca, Spain},
abstract = {Las aplicaciones intensivas en datos (AID) que usan tecnolog\'{i}as de Big Data se est\'{a}n convirtiendo en una parte importante del mercado de desarrollo de software. Sin embargo, las t\'{e}cnicas --y su automatizaci\'{o}n-- para el asesoramiento de la calidad para este tipo de aplicaciones es claramente insuficiente. El proyecto DICE H2020 tiene como objetivo definir metodolog\'{i}as y crear herramientas para desarrollar y monitorizar AID mediante t\'{e}cnicas de ingenier\'{i}a dirigida por modelos. En este art\'{i}culo presentamos un componente clave del proyecto DICE: su herramienta de simulaci\'{o}n. Esta herramienta es capaz de evaluar el rendimiento de AID simulando su comportamiento mediante modelos de redes de Petri. Como complemento, existe a disposici\'{o}n un v\'{i}deo mostrando la herramienta en http://tiny.cc/z1qzay.},
keywords = {Computer Aided Design (CASE), Data-Intensive Applications (DIA), DICE, Model-Driven Engineering (MDE), Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Simulation, UML Profiles, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Las aplicaciones intensivas en datos (AID) que usan tecnologías de Big Data se están convirtiendo en una parte importante del mercado de desarrollo de software. Sin embargo, las técnicas --y su automatización-- para el asesoramiento de la calidad para este tipo de aplicaciones es claramente insuficiente. El proyecto DICE H2020 tiene como objetivo definir metodologías y crear herramientas para desarrollar y monitorizar AID mediante técnicas de ingeniería dirigida por modelos. En este artículo presentamos un componente clave del proyecto DICE: su herramienta de simulación. Esta herramienta es capaz de evaluar el rendimiento de AID simulando su comportamiento mediante modelos de redes de Petri. Como complemento, existe a disposición un vídeo mostrando la herramienta en http://tiny.cc/z1qzay. Open AccessSpanish |
ConferenceAbel Gómez, Christophe Joubert, José Merseguer A Tool for Assessing Performance Requirements of Data-Intensive Applications Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Godel S. L., Granada, Spain, 2016, ISBN: 978-84-16478-90-3. Abstract | Links | BibTeX | Tags: Computer Aided Design (CASE), Data-Intensive Applications (DIA), DICE, Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Posidonia Operations, UML Profiles, Unified Modeling Language (UML) @conference{Gomez:JCSD:2016,
title = {A Tool for Assessing Performance Requirements of Data-Intensive Applications},
author = {Abel G\'{o}mez and Christophe Joubert and Jos\'{e} Merseguer },
editor = {Miguel J. Hornos Barranco},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jcsd-2016.pdf},
isbn = {978-84-16478-90-3},
year = {2016},
date = {2016-06-15},
booktitle = {Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016)},
pages = {159--169},
publisher = {Godel S. L.},
address = {Granada, Spain},
abstract = {Big Data is becoming a core asset for present economy and businesses, and as such, Data-Intensive Applications (DIA) that use Big Data technologies are becoming crucial products in the software development market. However, quality assurance of such applications is still an open issue. The H2020 DICE project aims to define a quality-driven framework for developing DIA based on model-driven engineering (MDE) techniques. In this paper we present a key component of the DICE Framework, the DICE Simulation Tool. The tool is able to simulate the behavior of a DIA to assess its performance using a Petri net model. To showcase its capabilities we use the Posidonia Operations case study, a real-world scenario brought from one of our industrial partners. In addition to this paper, a video demonstrating the tool is available at http://tiny.cc/z1qzay.
},
keywords = {Computer Aided Design (CASE), Data-Intensive Applications (DIA), DICE, Modeling and Analysis of Real Time and Embedded systems (MARTE), Petri net (PN), Posidonia Operations, UML Profiles, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Big Data is becoming a core asset for present economy and businesses, and as such, Data-Intensive Applications (DIA) that use Big Data technologies are becoming crucial products in the software development market. However, quality assurance of such applications is still an open issue. The H2020 DICE project aims to define a quality-driven framework for developing DIA based on model-driven engineering (MDE) techniques. In this paper we present a key component of the DICE Framework, the DICE Simulation Tool. The tool is able to simulate the behavior of a DIA to assess its performance using a Petri net model. To showcase its capabilities we use the Posidonia Operations case study, a real-world scenario brought from one of our industrial partners. In addition to this paper, a video demonstrating the tool is available at http://tiny.cc/z1qzay.
Open Access |
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 |
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 |
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 |