2023
|
Journal ArticleJoan Giner-Miguelez, Abel Gómez, Jordi Cabot DescribeML: A dataset description tool for machine learning In: Science of Computer Programming, vol. 231, pp. 103030, 2023, ISSN: 0167-6423. Abstract | Links | BibTeX | Tags: Datasets, Domain-Specific Languages (DSLs), Fairness, Machine Learning (ML), Model-Driven Engineering (MDE), Software @article{Giner-Miguelez:SCICO:2024,
title = {DescribeML: A dataset description tool for machine learning},
author = {Joan Giner-Miguelez and Abel G\'{o}mez and Jordi Cabot},
doi = {10.1016/j.scico.2023.103030},
issn = {0167-6423},
year = {2023},
date = {2023-09-12},
urldate = {2024-01-01},
journal = {Science of Computer Programming},
volume = {231},
pages = {103030},
publisher = {Elsevier BV},
abstract = {Datasets are essential for training and evaluating machine learning models. However, they are also the root cause of many undesirable model behaviors, such as biased predictions. To address this issue, the machine learning community is proposing as a best practice the adoption of common guidelines for describing datasets. However, these guidelines are based on natural language descriptions of the dataset, hampering the automatic computation and analysis of such descriptions. To overcome this situation, we present DescribeML, a language engineering tool to precisely describe machine learning datasets in terms of their composition, provenance, and social concerns in a structured format. The tool is implemented as a Visual Studio Code extension.},
keywords = {Datasets, Domain-Specific Languages (DSLs), Fairness, Machine Learning (ML), Model-Driven Engineering (MDE), Software},
pubstate = {published},
tppubtype = {article}
}
Datasets are essential for training and evaluating machine learning models. However, they are also the root cause of many undesirable model behaviors, such as biased predictions. To address this issue, the machine learning community is proposing as a best practice the adoption of common guidelines for describing datasets. However, these guidelines are based on natural language descriptions of the dataset, hampering the automatic computation and analysis of such descriptions. To overcome this situation, we present DescribeML, a language engineering tool to precisely describe machine learning datasets in terms of their composition, provenance, and social concerns in a structured format. The tool is implemented as a Visual Studio Code extension. Full Text AvailableOpen Access |
2022
|
ConferenceJoan Giner-Miguelez, Abel Gómez, Jordi Cabot DescribeML: A Tool for Describing Machine Learning Datasets Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '22 Association for Computing Machinery, Montreal, Quebec, Canada, 2022, ISBN: 9781450394673. Abstract | Links | BibTeX | Tags: Datasets, DescribeML, Domain-Specific Languages (DSLs), Fairness, Model-Driven Engineering (MDE) @conference{Giner-Miguelez:MODELS:2022,
title = {DescribeML: A Tool for Describing Machine Learning Datasets},
author = {Joan Giner-Miguelez and Abel G\'{o}mez and Jordi Cabot},
doi = {10.1145/3550356.3559087},
isbn = {9781450394673},
year = {2022},
date = {2022-11-09},
urldate = {2022-01-01},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
pages = {22\textendash26},
publisher = {Association for Computing Machinery},
address = {Montreal, Quebec, Canada},
series = {MODELS '22},
abstract = {Datasets play a central role in the training and evaluation of machine learning (ML) models. But they are also the root cause of many undesired model behaviors, such as biased predictions. To overcome this situation, the ML community is proposing a data-centric cultural shift, where data issues are given the attention they deserve, for instance, proposing standard descriptions for datasets.In this sense, and inspired by these proposals, we present a model-driven tool to precisely describe machine learning datasets in terms of their structure, data provenance, and social concerns. Our tool aims to facilitate any ML initiative to leverage and benefit from this data-centric shift in ML (e.g., selecting the most appropriate dataset for a new project or better replicating other ML results). The tool is implemented with the Langium workbench as a Visual Studio Code plugin and published as an open-source.},
keywords = {Datasets, DescribeML, Domain-Specific Languages (DSLs), Fairness, Model-Driven Engineering (MDE)},
pubstate = {published},
tppubtype = {conference}
}
Datasets play a central role in the training and evaluation of machine learning (ML) models. But they are also the root cause of many undesired model behaviors, such as biased predictions. To overcome this situation, the ML community is proposing a data-centric cultural shift, where data issues are given the attention they deserve, for instance, proposing standard descriptions for datasets.In this sense, and inspired by these proposals, we present a model-driven tool to precisely describe machine learning datasets in terms of their structure, data provenance, and social concerns. Our tool aims to facilitate any ML initiative to leverage and benefit from this data-centric shift in ML (e.g., selecting the most appropriate dataset for a new project or better replicating other ML results). The tool is implemented with the Langium workbench as a Visual Studio Code plugin and published as an open-source. |
Journal ArticleSimona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José I. Requeno DICE simulation: a tool for software performance assessment at the design stage In: Automated Software Engineering, vol. 29, pp. 36, 2022, ISSN: 1573-7535. Abstract | Links | BibTeX | Tags: Data-Intensive Applications (DIA), DICE, Model-Driven Engineering (MDE), performance evaluation tools, software performance, Unified Modeling Language (UML) @article{Bernardi:AUSE:2022,
title = {DICE simulation: a tool for software performance assessment at the design stage},
author = {Simona Bernardi and Abel G\'{o}mez and Jos\'{e} Merseguer and Diego Perez-Palacin and Jos\'{e} I. Requeno},
url = {https://rdcu.be/cJ2Wt},
doi = {10.1007/s10515-022-00335-z},
issn = {1573-7535},
year = {2022},
date = {2022-03-28},
urldate = {2022-03-28},
journal = {Automated Software Engineering},
volume = {29},
pages = {36},
abstract = {In recent years, we have seen many performance fiascos in the deployment of new systems, such as the US health insurance web. This paper describes the functionality and architecture, as well as success stories, of a tool that helps address these types of issues. The tool allows assessing software designs regarding quality, in particular performance and reliability. Starting from a UML design with quality annotations, the tool applies model-transformation techniques to yield analyzable models. Such models are then leveraged by the tool to compute quality metrics. Finally, quality results, over the design, are presented to the engineer, in terms of the problem domain. Hence, the tool is an asset for the software engineer to evaluate system quality through software designs. While leveraging the Eclipse platform, the tool uses UML and the MARTE, DAM and DICE profiles for the system design and the quality modeling.},
keywords = {Data-Intensive Applications (DIA), DICE, Model-Driven Engineering (MDE), performance evaluation tools, software performance, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {article}
}
In recent years, we have seen many performance fiascos in the deployment of new systems, such as the US health insurance web. This paper describes the functionality and architecture, as well as success stories, of a tool that helps address these types of issues. The tool allows assessing software designs regarding quality, in particular performance and reliability. Starting from a UML design with quality annotations, the tool applies model-transformation techniques to yield analyzable models. Such models are then leveraged by the tool to compute quality metrics. Finally, quality results, over the design, are presented to the engineer, in terms of the problem domain. Hence, the tool is an asset for the software engineer to evaluate system quality through software designs. While leveraging the Eclipse platform, the tool uses UML and the MARTE, DAM and DICE profiles for the system design and the quality modeling. Full Text AvailableOpen Access |
2021
|
ConferenceAbel Gómez, Xabier Mendialdua, Konstantinos Barmpis, Gábor Bergmann, Jordi Cabot, Xabier de Carlos, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development (Abstract) Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), Málaga, septiembre de 2021., Sistedes Sistedes, 2021. Abstract | Links | BibTeX | Tags: Experience Report, Model-Driven Engineering (MDE), MONDO, Wind Turbine (WT) @conference{G\'{o}mez:JISBD:2021,
title = {Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development (Abstract)},
author = {Abel G\'{o}mez and Xabier Mendialdua and Konstantinos Barmpis and G\'{a}bor Bergmann and Jordi Cabot and Xabier de Carlos and Csaba Debreceni and Antonio Garmendia and Dimitrios S. Kolovos and Juan de Lara},
editor = {Silvia Abrah\~{a}o},
url = {http://hdl.handle.net/11705/JISBD/2021/075},
year = {2021},
date = {2021-09-22},
urldate = {2021-09-22},
booktitle = {Actas de las XXV Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2021), M\'{a}laga, septiembre de 2021.},
publisher = {Sistedes},
organization = {Sistedes},
abstract = {Scalability in modeling has many facets, including the ability to build larger models and domain-specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in model-based engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large graphical DSLs, for splitting large models into sets of smaller interrelated fragments, to index large collections of models to speed-up their querying, and to enable the collaborative construction and refinement of complex models, among other features. This paper reports on the tools provided by MONDO that Ikerlan, a medium-sized technology center which in the last decade has embraced the MBE paradigm, adopted in order to improve their processes. This experience produced as a result a set of model editors and related technologies that fostered collaboration and scalability in the development of wind turbine control applications. In order to evaluate the benefits obtained, an on-site evaluation of the tools was performed. This evaluation shows that scalable MBE technologies give new growth opportunities to small- and medium-sized organizations.},
keywords = {Experience Report, Model-Driven Engineering (MDE), MONDO, Wind Turbine (WT)},
pubstate = {published},
tppubtype = {conference}
}
Scalability in modeling has many facets, including the ability to build larger models and domain-specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in model-based engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large graphical DSLs, for splitting large models into sets of smaller interrelated fragments, to index large collections of models to speed-up their querying, and to enable the collaborative construction and refinement of complex models, among other features. This paper reports on the tools provided by MONDO that Ikerlan, a medium-sized technology center which in the last decade has embraced the MBE paradigm, adopted in order to improve their processes. This experience produced as a result a set of model editors and related technologies that fostered collaboration and scalability in the development of wind turbine control applications. In order to evaluate the benefits obtained, an on-site evaluation of the tools was performed. This evaluation shows that scalable MBE technologies give new growth opportunities to small- and medium-sized organizations. Abstract |
2020
|
ConferenceAbel Gómez, Markel Iglesias-Urkia, Aitor Urbieta, Jordi Cabot A model-based approach for developing event-driven architectures with AsyncAPI Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery, Virtual Event, Canada, 2020, ISBN: 9781450370196. Abstract | Links | BibTeX | Tags: AsyncAPI, Asynchronous Architechtures, Model-Driven Engineering (MDE) @conference{Gomez:MODELS:2020,
title = {A model-based approach for developing event-driven architectures with AsyncAPI},
author = {Abel G\'{o}mez and Markel Iglesias-Urkia and Aitor Urbieta and Jordi Cabot },
url = {https://abel.gomez.llana.me/wp-content/uploads/2020/10/gomez-models-2020.pdf},
doi = {10.1145/3365438.3410948},
isbn = {9781450370196},
year = {2020},
date = {2020-10-01},
booktitle = {Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
pages = {121-131},
publisher = {Association for Computing Machinery},
address = {Virtual Event, Canada},
abstract = {In this Internet of Things (IoT) era, our everyday objects have evolved into the so-called cyber-physical systems (CPS). The use and deployment of CPS has especially penetrated the industry, giving rise to the Industry 4.0 or Industrial IoT (IIoT). Typically, architectures in IIoT environments are distributed and asynchronous, communication being guided by events such as the publication of (and corresponding subscription to) messages.While these architectures have some clear advantages (such as scalability and flexibility), they also raise interoperability challenges among the agents in the network. Indeed, the knowledge about the message content and its categorization (topics) gets diluted, leading to consistency problems, potential losses of information and complex processing requirements on the subscriber side to try to understand the received messages.In this paper, we present our proposal relying on AsyncAPI to automate the design and implementation of these architectures using model-based techniques for the generation of (part of) event-driven infrastructures. We have implemented our proposal as an open-source tool freely available online.},
keywords = {AsyncAPI, Asynchronous Architechtures, Model-Driven Engineering (MDE)},
pubstate = {published},
tppubtype = {conference}
}
In this Internet of Things (IoT) era, our everyday objects have evolved into the so-called cyber-physical systems (CPS). The use and deployment of CPS has especially penetrated the industry, giving rise to the Industry 4.0 or Industrial IoT (IIoT). Typically, architectures in IIoT environments are distributed and asynchronous, communication being guided by events such as the publication of (and corresponding subscription to) messages.While these architectures have some clear advantages (such as scalability and flexibility), they also raise interoperability challenges among the agents in the network. Indeed, the knowledge about the message content and its categorization (topics) gets diluted, leading to consistency problems, potential losses of information and complex processing requirements on the subscriber side to try to understand the received messages.In this paper, we present our proposal relying on AsyncAPI to automate the design and implementation of these architectures using model-based techniques for the generation of (part of) event-driven infrastructures. We have implemented our proposal as an open-source tool freely available online. Full Text AvailablePreprint |
Journal ArticleMarkel Iglesias-Urkia, Abel Gómez, Diego Casado-Mansilla, Aitor Urbieta Automatic generation of Web of Things servients using Thing Descriptions In: Personal and Ubiquitous Computing, 2020, ISSN: 1617-4917. Abstract | Links | BibTeX | Tags: Domain-Specific Languages (DSLs), Internet of Things (IoT), Model-Driven Engineering (MDE), Web of Things (WoT) @article{PAUC:Iglesias-Urkia:2020,
title = {Automatic generation of Web of Things servients using Thing Descriptions},
author = {Markel Iglesias-Urkia and Abel G\'{o}mez and Diego Casado-Mansilla and Aitor Urbieta},
url = {https://rdcu.be/b5GHq},
doi = {10.1007/s00779-020-01413-3},
issn = {1617-4917},
year = {2020},
date = {2020-07-18},
journal = {Personal and Ubiquitous Computing},
abstract = {Similarly to the standardization effort initiated for the World Wide Web in the 1990s, the World Wide Web Consortium is currently working on the Web of Things (WoT) specification. This initiative aims to tackle current fragmentation in the so-called Internet of Things by using existing Web standards. The ultimate goal is to cope with the increasing number of devices that are being connected to the Internet and to enable interoperability among them. On the other hand, Model-Driven Engineering (MDE) approaches make use of models to raise the abstraction level with the objective of accelerating the software development process, enabling design and code reuse, and increasing software quality.This work proposes to apply MDE techniques to enable the efficient development of WoT servients. Based on the WoT Thing Description specification, this work proposes both a textual-based concrete syntax and a model-based abstract syntax\textemdashboth fully compliant with the WoT specification\textemdashthat enable the generation of WoT servients in C++ with CoAP communication capabilities. This proposal is implemented by a tool that covers the whole development process, which is publicly available under an open source license.},
keywords = {Domain-Specific Languages (DSLs), Internet of Things (IoT), Model-Driven Engineering (MDE), Web of Things (WoT)},
pubstate = {published},
tppubtype = {article}
}
Similarly to the standardization effort initiated for the World Wide Web in the 1990s, the World Wide Web Consortium is currently working on the Web of Things (WoT) specification. This initiative aims to tackle current fragmentation in the so-called Internet of Things by using existing Web standards. The ultimate goal is to cope with the increasing number of devices that are being connected to the Internet and to enable interoperability among them. On the other hand, Model-Driven Engineering (MDE) approaches make use of models to raise the abstraction level with the objective of accelerating the software development process, enabling design and code reuse, and increasing software quality.This work proposes to apply MDE techniques to enable the efficient development of WoT servients. Based on the WoT Thing Description specification, this work proposes both a textual-based concrete syntax and a model-based abstract syntax—both fully compliant with the WoT specification—that enable the generation of WoT servients in C++ with CoAP communication capabilities. This proposal is implemented by a tool that covers the whole development process, which is publicly available under an open source license. Full Text Available |
Journal ArticleAbel Gómez, Xabier Mendialdua, Konstantinos Barmpis, Gábor Bergmann, Jordi Cabot, Xabier de Carlos, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara Scalable modeling technologies in the wild: an experience report on wind turbines control applications development In: Software and Systems Modeling, vol. 19, no. 5, pp. 1229–1261, 2020, ISSN: 1619-1374. Abstract | Links | BibTeX | Tags: Experience Report, Model-Driven Engineering (MDE), MONDO, Wind Turbine (WT) @article{Gomez:SoSym:2020,
title = {Scalable modeling technologies in the wild: an experience report on wind turbines control applications development},
author = {Abel G\'{o}mez and Xabier Mendialdua and Konstantinos Barmpis and G\'{a}bor Bergmann and Jordi Cabot and Xabier de Carlos and Csaba Debreceni and Antonio Garmendia and Dimitrios S. Kolovos and Juan de Lara},
url = {https://rdcu.be/b0E0T},
doi = {10.1007/s10270-020-00776-8},
issn = {1619-1374},
year = {2020},
date = {2020-01-22},
journal = {Software and Systems Modeling},
volume = {19},
number = {5},
pages = {1229\textendash1261},
abstract = {Scalability in modeling has many facets, including the ability to build larger models and domain-specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in model-based engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large graphical DSLs, for splitting large models into sets of smaller interrelated fragments, to index large collections of models to speed-up their querying, and to enable the collaborative construction and refinement of complex models, among other features. This paper reports on the tools provided by MONDO that Ikerlan, a medium-sized technology center which in the last decade has embraced the MBE paradigm, adopted in order to improve their processes. This experience produced as a result a set of model editors and related technologies that fostered collaboration and scalability in the development of wind turbine control applications. In order to evaluate the benefits obtained, an on-site evaluation of the tools was performed. This evaluation shows that scalable MBE technologies give new growth opportunities to small- and medium-sized organizations.},
keywords = {Experience Report, Model-Driven Engineering (MDE), MONDO, Wind Turbine (WT)},
pubstate = {published},
tppubtype = {article}
}
Scalability in modeling has many facets, including the ability to build larger models and domain-specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in model-based engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large graphical DSLs, for splitting large models into sets of smaller interrelated fragments, to index large collections of models to speed-up their querying, and to enable the collaborative construction and refinement of complex models, among other features. This paper reports on the tools provided by MONDO that Ikerlan, a medium-sized technology center which in the last decade has embraced the MBE paradigm, adopted in order to improve their processes. This experience produced as a result a set of model editors and related technologies that fostered collaboration and scalability in the development of wind turbine control applications. In order to evaluate the benefits obtained, an on-site evaluation of the tools was performed. This evaluation shows that scalable MBE technologies give new growth opportunities to small- and medium-sized organizations. Full Text Available |
Journal ArticleAlexandra Mazak, Sabine Wolny, Abel Gómez, Jordi Cabot, Manuel Wimmer, Gerti Kappel Temporal Models on Time Series Databases In: Journal of Object Technology, vol. 19, no. 3, pp. 3:1-15, 2020, ISSN: 1660-1769, (Special Issue dedicated to Martin Gogolla on his 65th Birthday). Links | BibTeX | Tags: Model-Driven Engineering (MDE), Temporal Models @article{Mazak:JOT:2020,
title = {Temporal Models on Time Series Databases},
author = {Alexandra Mazak and Sabine Wolny and Abel G\'{o}mez and Jordi Cabot and Manuel Wimmer and Gerti Kappel},
editor = {Lars Hamann and Richard Paige and Alfonso Pierantonio and Bernhard Rumpe and Antonio Vallecillo},
doi = {10.5381/jot.2020.19.3.a14},
issn = {1660-1769},
year = {2020},
date = {2020-01-01},
journal = {Journal of Object Technology},
volume = {19},
number = {3},
pages = {3:1-15},
note = {Special Issue dedicated to Martin Gogolla on his 65th Birthday},
keywords = {Model-Driven Engineering (MDE), Temporal Models},
pubstate = {published},
tppubtype = {article}
}
Full Text AvailableOpen Access |
2019
|
ConferenceMarkel Iglesias-Urkia, Abel Gómez, Diego Casado-Mansilla, Aitor Urbieta Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach Proceedings of the 9th International Conference on the Internet of Things, IoT 2019 ACM, New York, 2019, ISBN: 978-1-4503-7207-7. Abstract | Links | BibTeX | Tags: Code Generation, Domain-Specific Languages (DSLs), Internet of Things (IoT), Model-Driven Engineering (MDE), Web of Things (WoT) @conference{Iglesias-Urkia:IoT:2019,
title = {Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach},
author = {Markel Iglesias-Urkia and Abel G\'{o}mez and Diego Casado-Mansilla and Aitor Urbieta},
doi = {10.1145/3365871.3365898},
isbn = {978-1-4503-7207-7},
year = {2019},
date = {2019-10-22},
booktitle = {Proceedings of the 9th International Conference on the Internet of Things},
pages = {25:1--25:8},
publisher = {ACM},
address = {New York},
series = {IoT 2019},
abstract = {One of the main ongoing standardization efforts of the Internet of Things (IoT) at the application layer is the Web of Things (WoT), which aims to enable interoperability using already existing standards. However, keeping up the design and implementation of IoT applications with the exponentially increasing number of devices being interconnected is costly in workforce resources. Model-Driven Engineering (MDE) approaches increase the level of abstraction using models, and allowing to reuse design and code. This lowers the use of resources for implementing solutions seamlessly. This is why in this work we implement a MDE approach based on the WoT, allowing easy WoT-based device generation. Besides, automated code generation is applied to reduce manual tasks even further. Using the Eclipse Modelling Framework (EMF) and its associated plugins, we provide a way of describing models graphically and generate the code automatically, reducing development and testing time.},
keywords = {Code Generation, Domain-Specific Languages (DSLs), Internet of Things (IoT), Model-Driven Engineering (MDE), Web of Things (WoT)},
pubstate = {published},
tppubtype = {conference}
}
One of the main ongoing standardization efforts of the Internet of Things (IoT) at the application layer is the Web of Things (WoT), which aims to enable interoperability using already existing standards. However, keeping up the design and implementation of IoT applications with the exponentially increasing number of devices being interconnected is costly in workforce resources. Model-Driven Engineering (MDE) approaches increase the level of abstraction using models, and allowing to reuse design and code. This lowers the use of resources for implementing solutions seamlessly. This is why in this work we implement a MDE approach based on the WoT, allowing easy WoT-based device generation. Besides, automated code generation is applied to reduce manual tasks even further. Using the Eclipse Modelling Framework (EMF) and its associated plugins, we provide a way of describing models graphically and generate the code automatically, reducing development and testing time. |
ConferenceAndrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Bruneliere, Adnan Ashraf, Abel Gómez, Alexandra Espinosa, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges Software Technology: Methods and Tools. TOOLS 2019, vol. 11771, Lecture Notes in Computer Science Springer International Publishing, Cham, 2019, ISBN: 978-3-030-29852-4. Abstract | Links | BibTeX | Tags: Cyber-Physical Systems (CPS), MegaM@Rt2, Megamodelling, Model-Driven Engineering (MDE), Runtime, Traceability @conference{Sadovykh:TOOLS:2019,
title = {MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges},
author = {Andrey Sadovykh and Dragos Truscan and Wasif Afzal and Hugo Bruneliere and Adnan Ashraf and Abel G\'{o}mez and Alexandra Espinosa and Gunnar Widforss and Pierluigi Pierini and Elizabeta Fourneret and Alessandra Bagnato},
editor = {Manuel Mazzara and Jean-Michel Bruel and Bertrand Meyer and Alexander Petrenko},
doi = {10.1007/978-3-030-29852-4_33},
isbn = {978-3-030-29852-4},
year = {2019},
date = {2019-10-08},
booktitle = {Software Technology: Methods and Tools. TOOLS 2019},
volume = {11771},
pages = {393--405},
publisher = {Springer International Publishing},
address = {Cham},
series = {Lecture Notes in Computer Science},
abstract = {MegaM@Rt2 Project is a major European effort towards the model-driven engineering of complex Cyber-Physical systems combined with runtime analysis. Both areas are dealt within the same methodology to enjoy the mutual benefits through sharing and tracking various engineering artifacts. The project involves 27 partners that contribute with diverse research and industrial practices addressing real-life case study challenges stemming from 9 application domains. These partners jointly progress towards a common framework to support those application domains with model-driven engineering, verification, and runtime analysis methods. In this paper, we present the motivation for the project, the current approach and the intermediate results in terms of tools, research work and practical evaluation on use cases from the project. We also discuss outstanding challenges and proposed approaches to address them.},
keywords = {Cyber-Physical Systems (CPS), MegaM@Rt2, Megamodelling, Model-Driven Engineering (MDE), Runtime, Traceability},
pubstate = {published},
tppubtype = {conference}
}
MegaM@Rt2 Project is a major European effort towards the model-driven engineering of complex Cyber-Physical systems combined with runtime analysis. Both areas are dealt within the same methodology to enjoy the mutual benefits through sharing and tracking various engineering artifacts. The project involves 27 partners that contribute with diverse research and industrial practices addressing real-life case study challenges stemming from 9 application domains. These partners jointly progress towards a common framework to support those application domains with model-driven engineering, verification, and runtime analysis methods. In this paper, we present the motivation for the project, the current approach and the intermediate results in terms of tools, research work and practical evaluation on use cases from the project. We also discuss outstanding challenges and proposed approaches to address them. |
Journal ArticleAndrey Sadovykh, Wasif Afzal, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Alessandra Bagnato, Abel Gómez, Jordi Cabot, Orlando Avila-García On a Tool-Supported Model-Based Approach for Building Architectures and Roadmaps: The MegaM@Rt2 Project Experience In: Microprocessors and Microsystems, vol. 71, pp. 102848, 2019, ISSN: 0141-9331. Abstract | Links | BibTeX | Tags: Document Generation, MegaM@Rt2, Model-Driven Engineering (MDE), Modelio, Requirements Engineering (RE), SysML @article{Sadovykh:MICPRO:2019,
title = {On a Tool-Supported Model-Based Approach for Building Architectures and Roadmaps: The MegaM@Rt2 Project Experience},
author = {Andrey Sadovykh and Wasif Afzal and Dragos Truscan and Pierluigi Pierini and Hugo Bruneliere and Alessandra Bagnato and Abel G\'{o}mez and Jordi Cabot and Orlando Avila-Garc\'{i}a},
doi = {10.1016/j.micpro.2019.102848},
issn = {0141-9331},
year = {2019},
date = {2019-07-22},
journal = {Microprocessors and Microsystems},
volume = {71},
pages = {102848},
abstract = {MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing a framework addressing a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different software tools from project partners (and others). In the context of the MegaM@Rt2 project, we elaborated on a pragmatic model-driven approach to specify the case study requirements, design the high-level architecture of a framework, perform the gap analysis between the industrial needs and current state-of-the-art, and plan a first framework development roadmap accordingly. The present paper describes the generic tool-supported approach that came out as a result. It also details its concrete application in the MegaM@Rt2 project. In particular, we discuss the collaborative modeling process, the requirement definition tooling, the approach for components modeling, as well as the traceability and document generation. In addition, we show how we used the proposed solution to specify the MegaM@Rt2 framework’s conceptual tool components centered around three complementary tool sets: the MegaM@Rt2 System Engineering Tool Set, the MegaM@Rt2 Runtime Analysis Tool Set and the MegaM@Rt2 Model \& Traceability Management Tool Set. The paper ends with a discussion on the practical lessons we have learned from this work so far.},
keywords = {Document Generation, MegaM@Rt2, Model-Driven Engineering (MDE), Modelio, Requirements Engineering (RE), SysML},
pubstate = {published},
tppubtype = {article}
}
MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing a framework addressing a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different software tools from project partners (and others). In the context of the MegaM@Rt2 project, we elaborated on a pragmatic model-driven approach to specify the case study requirements, design the high-level architecture of a framework, perform the gap analysis between the industrial needs and current state-of-the-art, and plan a first framework development roadmap accordingly. The present paper describes the generic tool-supported approach that came out as a result. It also details its concrete application in the MegaM@Rt2 project. In particular, we discuss the collaborative modeling process, the requirement definition tooling, the approach for components modeling, as well as the traceability and document generation. In addition, we show how we used the proposed solution to specify the MegaM@Rt2 framework’s conceptual tool components centered around three complementary tool sets: the MegaM@Rt2 System Engineering Tool Set, the MegaM@Rt2 Runtime Analysis Tool Set and the MegaM@Rt2 Model & Traceability Management Tool Set. The paper ends with a discussion on the practical lessons we have learned from this work so far. |
ConferenceGwendal Daniel, Abel Gómez, Jordi Cabot UMLto[No]SQL: Mapping Conceptual Schemas to Heterogeneous Datastores 2019 13th International Conference on Research Challenges in Information Science (RCIS), IEEE, 2019, ISBN: 978-1-7281-4844-1. Abstract | Links | BibTeX | Tags: Model Partitioning, Model Persistence, Model-Driven Engineering (MDE), NoSQL, RDBMS, Unified Modeling Language (UML) @conference{Daniel:RCIS:2019,
title = {UMLto[No]SQL: Mapping Conceptual Schemas to Heterogeneous Datastores},
author = {Gwendal Daniel and Abel G\'{o}mez and Jordi Cabot},
editor = {Manuel Kolp and Jean Vanderdonckt and Monique Snoeck and Yves Wautelet},
doi = {10.1109/RCIS.2019.8877094},
isbn = {978-1-7281-4844-1},
year = {2019},
date = {2019-05-29},
booktitle = {2019 13th International Conference on Research Challenges in Information Science (RCIS)},
pages = {215--227},
publisher = {IEEE},
abstract = {The growing need to store and manipulate large volumes of data has led to the blossoming of various families of data storage solutions. Software modelers can benefit from this growing diversity to improve critical parts of their applications, using a combination of different databases to store the data based on access, availability, and performance requirements. However, while the mapping of conceptual schemas to relational databases is a well-studied field of research, there are few works that target the role of conceptual modeling in a multiple and diverse data storage settings. This is particularly true when dealing with the mapping of constraints in the conceptual schema. In this paper we present the UMLto[No]SQL approach that maps conceptual schemas expressed in UML/OCL into a set of logical schemas (either relational or NoSQL ones) to be used to store the application data according to the data partition envisaged by the designer. Our mapping covers as well the database queries required to implement and check the model’s constraints. UMLto[No]SQL takes care of integrating the different data storages, and provides a modeling layer that enables a transparent manipulation of the data using conceptual level information.},
keywords = {Model Partitioning, Model Persistence, Model-Driven Engineering (MDE), NoSQL, RDBMS, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
The growing need to store and manipulate large volumes of data has led to the blossoming of various families of data storage solutions. Software modelers can benefit from this growing diversity to improve critical parts of their applications, using a combination of different databases to store the data based on access, availability, and performance requirements. However, while the mapping of conceptual schemas to relational databases is a well-studied field of research, there are few works that target the role of conceptual modeling in a multiple and diverse data storage settings. This is particularly true when dealing with the mapping of constraints in the conceptual schema. In this paper we present the UMLto[No]SQL approach that maps conceptual schemas expressed in UML/OCL into a set of logical schemas (either relational or NoSQL ones) to be used to store the application data according to the data partition envisaged by the designer. Our mapping covers as well the database queries required to implement and check the model’s constraints. UMLto[No]SQL takes care of integrating the different data storages, and provides a modeling layer that enables a transparent manipulation of the data using conceptual level information. |
ConferenceAndrey Sadovykh, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Abel Gómez, Jordi Cabot, Orlando Avila-García, Wasif Afzal A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project Proceedings of 6th International Conference in Software Engineering for Defence Applications, vol. 925, Advances in Intelligent Systems and Computing Springer International Publishing, Cham, 2019, ISBN: 978-3-030-14687-0. Abstract | Links | BibTeX | Tags: Document Generation, MegaM@Rt2, Model-Driven Engineering (MDE), Modelio, Requirements Engineering (RE) @conference{Sadovykh:SEDA:2018,
title = {A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project},
author = {Andrey Sadovykh and Alessandra Bagnato and Dragos Truscan and Pierluigi Pierini and Hugo Bruneliere and Abel G\'{o}mez and Jordi Cabot and Orlando Avila-Garc\'{i}a and Wasif Afzal},
editor = {Paolo Ciancarini and Manuel Mazzara and Angelo Messina and Alberto Sillitti and Giancarlo Succi},
doi = {10.1007/978-3-030-14687-0_24},
isbn = {978-3-030-14687-0},
year = {2019},
date = {2019-03-19},
booktitle = {Proceedings of 6th International Conference in Software Engineering for Defence Applications},
volume = {925},
pages = {265--274},
publisher = {Springer International Publishing},
address = {Cham},
series = {Advances in Intelligent Systems and Computing},
abstract = {MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing the MegaM@Rt2 framework to address a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different tools from project partners (and others). In the context of the project, we opted for a pragmatic model-driven approach in order to specify the case study requirements, design the high-level architecture of the MegaM@Rt2 framework, perform the gap analysis between the industrial needs and current state-of-the-art, and to plan a first framework development roadmap accordingly. The present paper concentrates on the concrete examples of the tooling approach for building the framework architecture. In particular, we discuss the collaborative modeling, requirements definition tooling, approach for components modeling, traceability and document generation. The paper also provides a brief discussion of the practical lessons we have learned from it so far.},
keywords = {Document Generation, MegaM@Rt2, Model-Driven Engineering (MDE), Modelio, Requirements Engineering (RE)},
pubstate = {published},
tppubtype = {conference}
}
MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing the MegaM@Rt2 framework to address a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different tools from project partners (and others). In the context of the project, we opted for a pragmatic model-driven approach in order to specify the case study requirements, design the high-level architecture of the MegaM@Rt2 framework, perform the gap analysis between the industrial needs and current state-of-the-art, and to plan a first framework development roadmap accordingly. The present paper concentrates on the concrete examples of the tooling approach for building the framework architecture. In particular, we discuss the collaborative modeling, requirements definition tooling, approach for components modeling, traceability and document generation. The paper also provides a brief discussion of the practical lessons we have learned from it so far. |
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
|
ConferenceHugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap Software Technologies: Applications and Foundations, vol. 11176, Springer International Publishing, Cham, 2018, ISBN: 978-3-030-04771-9. Abstract | Links | BibTeX | Tags: Design Time, Model-Driven Engineering (MDE), Runtime, Traceability @conference{Bruneliere:MDEDeRun:2018,
title = {Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap},
author = {Hugo Bruneliere and Romina Eramo and Abel G\'{o}mez and Valentin Besnard and Jean Michel Bruel and Martin Gogolla and Andreas K\"{a}stner and Adrian Rutle},
editor = {Manuel Mazzara and Iulian Ober and Gwen Sala\"{u}n},
doi = {10.1007/978-3-030-04771-9_40},
isbn = {978-3-030-04771-9},
year = {2018},
date = {2018-12-06},
booktitle = {Software Technologies: Applications and Foundations},
volume = {11176},
pages = {536--543},
publisher = {Springer International Publishing},
address = {Cham},
abstract = {This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week. It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area.},
keywords = {Design Time, Model-Driven Engineering (MDE), Runtime, Traceability},
pubstate = {published},
tppubtype = {conference}
}
This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week. It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area. |
ConferenceAbel Gómez, Jordi Cabot, Manuel Wimmer TemporalEMF: A Temporal Metamodeling Framework Conceptual Modeling, vol. 11157, Springer International Publishing, Cham, 2018, ISBN: 978-3-030-00847-5. Abstract | Links | BibTeX | Tags: Model Persistence, Model-Driven Engineering (MDE), Temporal Models @conference{Gomez:RE:2018,
title = {TemporalEMF: A Temporal Metamodeling Framework},
author = {Abel G\'{o}mez and Jordi Cabot and Manuel Wimmer},
editor = {Juan C. Trujillo and Karen C. Davis and Xiaoyong Du and Zhanhuai Li and Tok Wang Ling and Guoliang Li and Li Lee Mong},
doi = {10.1007/978-3-030-00847-5_26},
isbn = {978-3-030-00847-5},
year = {2018},
date = {2018-09-26},
booktitle = {Conceptual Modeling},
volume = {11157},
pages = {365--381},
publisher = {Springer International Publishing},
address = {Cham},
abstract = {Existing modeling tools provide direct access to the most current version of a model but very limited support to inspect the model state in the past. This typically requires looking for a model version (usually stored in some kind of external versioning system like Git) roughly corresponding to the desired period and using it to manually retrieve the required data. This approximate answer is not enough in scenarios that require a more precise and immediate response to temporal queries like complex collaborative co-engineering processes or runtime models.
In this paper, we reuse well-known concepts from temporal languages to propose a temporal metamodeling framework, called TemporalEMF, that adds native temporal support for models. In our framework, models are automatically treated as temporal models and can be subjected to temporal queries to retrieve the model contents at different points in time. We have built our framework on top of the Eclipse Modeling Framework (EMF). Behind the scenes, the history of a model is transparently stored in a NoSQL database. We evaluate the resulting TemporalEMF framework with an Industry 4.0 case study about a production system simulator. The results show good scalability for storing and accessing temporal models without requiring changes to the syntax and semantics of the simulator.},
keywords = {Model Persistence, Model-Driven Engineering (MDE), Temporal Models},
pubstate = {published},
tppubtype = {conference}
}
Existing modeling tools provide direct access to the most current version of a model but very limited support to inspect the model state in the past. This typically requires looking for a model version (usually stored in some kind of external versioning system like Git) roughly corresponding to the desired period and using it to manually retrieve the required data. This approximate answer is not enough in scenarios that require a more precise and immediate response to temporal queries like complex collaborative co-engineering processes or runtime models.
In this paper, we reuse well-known concepts from temporal languages to propose a temporal metamodeling framework, called TemporalEMF, that adds native temporal support for models. In our framework, models are automatically treated as temporal models and can be subjected to temporal queries to retrieve the model contents at different points in time. We have built our framework on top of the Eclipse Modeling Framework (EMF). Behind the scenes, the history of a model is transparently stored in a NoSQL database. We evaluate the resulting TemporalEMF framework with an Industry 4.0 case study about a production system simulator. The results show good scalability for storing and accessing temporal models without requiring changes to the syntax and semantics of the simulator. |
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. |
ConferenceAbel Gómez, Orlando Avila-García, Jordi Cabot, José Ramón Juárez, Aitor Urbieta, Eugenio Villar The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), Sistedes, 2018. Abstract | Links | BibTeX | Tags: Design Time, MegaM@Rt2, Model-Driven Engineering (MDE), Runtime @conference{Gomez:JISBD:2018,
title = {The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime \textemdash Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems},
author = {Abel G\'{o}mez and Orlando Avila-Garc\'{i}a and Jordi Cabot and Jos\'{e} Ram\'{o}n Ju\'{a}rez and Aitor Urbieta and Eugenio Villar},
editor = {Fernando S\'{a}nchez-Figueroa},
url = {http://hdl.handle.net/11705/JISBD/2018/023},
year = {2018},
date = {2018-09-17},
booktitle = {Actas de las XXIII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2018)},
publisher = {Sistedes},
abstract = {A major challenge for the European electronic components and systems (ECS) industry is to increase productivity and reduce costs while ensuring safety and quality. Model-Driven Engineering (MDE) principles have already shown valuable capabilities for the development of ECSs but still need to scale to support real-world scenarios implied by the full deployment and use of complex electronic systems, such as Cyber-Physical Systems, and real-time systems. Moreover, maintaining efficient traceability, integration and communication between fundamental stages of the development lifecycle (i.e., design time and runtime) is another challenge to the scalability of MDE tools and techniques. This paper presents “MegaModelling at runtime \textemdash Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), an ECSEL\textendashJU project whose main goal is to address the above mentioned challenges. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: (i) system engineering/design and continuous development,(ii) related runtime analysis, and (iii) global model and traceability management.},
keywords = {Design Time, MegaM@Rt2, Model-Driven Engineering (MDE), Runtime},
pubstate = {published},
tppubtype = {conference}
}
A major challenge for the European electronic components and systems (ECS) industry is to increase productivity and reduce costs while ensuring safety and quality. Model-Driven Engineering (MDE) principles have already shown valuable capabilities for the development of ECSs but still need to scale to support real-world scenarios implied by the full deployment and use of complex electronic systems, such as Cyber-Physical Systems, and real-time systems. Moreover, maintaining efficient traceability, integration and communication between fundamental stages of the development lifecycle (i.e., design time and runtime) is another challenge to the scalability of MDE tools and techniques. This paper presents “MegaModelling at runtime — Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), an ECSEL–JU project whose main goal is to address the above mentioned challenges. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: (i) system engineering/design and continuous development,(ii) related runtime analysis, and (iii) global model and traceability management. Open Access |
Journal ArticleWasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems In: Microprocessors and Microsystems, vol. 61, pp. 86 - 95, 2018, ISSN: 0141-9331. Abstract | Links | BibTeX | Tags: Design Time, MegaM@Rt2, Megamodelling, Model-Driven Engineering (MDE), Runtime @article{Afzal:MICPRO:2018,
title = {The MegaM@Rt2 ECSEL project: MegaModelling at Runtime \textendash Scalable model-based framework for continuous development and runtime validation of complex systems},
author = {Wasif Afzal and Hugo Bruneliere and Davide Di Ruscio and Andrey Sadovykh and Silvia Mazzini and Eric Cariou and Dragos Truscan and Jordi Cabot and Abel G\'{o}mez and Jes\'{u}s Gorro\~{n}ogoitia and Luigi Pomante and Pavel Smrz},
url = {https://abel.gomez.llana.me/wp-content/uploads/2018/06/afzal-2018-megamart2.pdf},
doi = {10.1016/j.micpro.2018.05.010},
issn = {0141-9331},
year = {2018},
date = {2018-01-01},
journal = {Microprocessors and Microsystems},
volume = {61},
pages = {86 - 95},
abstract = {A major challenge for the European electronic industry is to enhance productivity by ensuring quality of development, integration and maintenance while reducing the associated costs. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities, but they still need to scale up to support real-world scenarios implied by the full deployment and use of complex electronic components and systems. Moreover, maintaining efficient traceability, integration, and communication between two fundamental system life cycle phases (design time and runtime) is another challenge requiring the scalability of MDE. This paper presents an overview of the ECSEL1 project entitled “MegaModelling at runtime \textendash Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), whose aim is to address the above mentioned challenges facing MDE. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: 1) system engineering/design and continuous development, 2) related runtime analysis and 3) global models and traceability management. Diverse industrial use cases (covering strategic domains such as aeronautics, railway, construction and telecommunications) will integrate and demonstrate the validity of the MegaM@Rt2 solution. This paper provides an overview of the MegaM@Rt2 project with respect to its approach, mission, objectives as well as to its implementation details. It further introduces the consortium as well as describes the work packages and few already produced deliverables.},
keywords = {Design Time, MegaM@Rt2, Megamodelling, Model-Driven Engineering (MDE), Runtime},
pubstate = {published},
tppubtype = {article}
}
A major challenge for the European electronic industry is to enhance productivity by ensuring quality of development, integration and maintenance while reducing the associated costs. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities, but they still need to scale up to support real-world scenarios implied by the full deployment and use of complex electronic components and systems. Moreover, maintaining efficient traceability, integration, and communication between two fundamental system life cycle phases (design time and runtime) is another challenge requiring the scalability of MDE. This paper presents an overview of the ECSEL1 project entitled “MegaModelling at runtime – Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), whose aim is to address the above mentioned challenges facing MDE. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: 1) system engineering/design and continuous development, 2) related runtime analysis and 3) global models and traceability management. Diverse industrial use cases (covering strategic domains such as aeronautics, railway, construction and telecommunications) will integrate and demonstrate the validity of the MegaM@Rt2 solution. This paper provides an overview of the MegaM@Rt2 project with respect to its approach, mission, objectives as well as to its implementation details. It further introduces the consortium as well as describes the work packages and few already produced deliverables. Full Text AvailablePreprint |
2017
|
ConferenceAbel Gómez, Xabier Mendialdua, Gábor Bergmann, Jordi Cabot, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara, Salvador Trujillo On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, vol. 10376, Lecture Notes in Computer Science Springer International Publishing, 2017, ISBN: 978-3-319-61482-3. Abstract | Links | BibTeX | Tags: Experience Report, Model-Driven Engineering (MDE), MONDO, Scalability @conference{Gomez:ECMFA:2017,
title = {On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development},
author = {Abel G\'{o}mez and Xabier Mendialdua and G\'{a}bor Bergmann and Jordi Cabot and Csaba Debreceni and Antonio Garmendia and Dimitrios S. Kolovos and Juan de Lara and Salvador Trujillo},
editor = {Anthony Anjorin and Hu\'{a}scar Espinoza},
doi = {10.1007/978-3-319-61482-3_18},
isbn = {978-3-319-61482-3},
year = {2017},
date = {2017-06-20},
booktitle = {Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings},
volume = {10376},
pages = {300--315},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
abstract = {Scalability in modeling has many facets, including the ability to build larger models and domain specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in Model-based Engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large DSLs, for splitting large models into sets of smaller interrelated fragments, and enables modelers to construct and refine complex models collaboratively, among other features.},
keywords = {Experience Report, Model-Driven Engineering (MDE), MONDO, Scalability},
pubstate = {published},
tppubtype = {conference}
}
Scalability in modeling has many facets, including the ability to build larger models and domain specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in Model-based Engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large DSLs, for splitting large models into sets of smaller interrelated fragments, and enables modelers to construct and refine complex models collaboratively, among other features. |
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, José Merseguer, Elisabetta Di Nitto, Damian A. Tamburri Towards a UML Profile for Data Intensive Applications Proceedings of the 2nd International Workshop on Quality-Aware DevOps, co-located with ACM SIGSOFT International Symposium on Software Testing and Analysis 2016 (ISSTA'16), QUDOS 2016 ACM, New York, NY, USA, 2016, ISBN: 978-1-4503-4411-1, (Saarbrücken, Germany). 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), UML Profiles, Unified Modeling Language (UML) @conference{Gomez:QUDOS:2016,
title = {Towards a UML Profile for Data Intensive Applications},
author = {Abel G\'{o}mez and Jos\'{e} Merseguer and Elisabetta Di Nitto and Damian A. Tamburri},
doi = {10.1145/2945408.2945412},
isbn = {978-1-4503-4411-1},
year = {2016},
date = {2016-07-21},
booktitle = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps, co-located with ACM SIGSOFT International Symposium on Software Testing and Analysis 2016 (ISSTA'16)},
pages = {18--23},
publisher = {ACM},
address = {New York, NY, USA},
series = {QUDOS 2016},
abstract = {Data intensive applications that leverage Big Data technologies are rapidly gaining market trend. However, their design and quality assurance are far from satisfying software engineers needs. In fact, a CapGemini research shows that only 13% of organizations have achieved full-scale production for their Big Data implementations. We aim at addressing an early design and a quality evaluation of data intensive applications,being our goal to help software engineers on assessing quality metrics, such as the response time of theapplication. We address this goal by means of a quality analysis tool-chain.At the core of the tool, we are developing a Profile that converts the Unified Modeling Language into a domain specific modeling language for quality evaluation of data intensive applications. },
note = {Saarbr\"{u}cken, Germany},
keywords = {Computer Aided Design (CASE), Data-Intensive Applications (DIA), DICE, Model-Driven Engineering (MDE), Modeling and Analysis of Real Time and Embedded systems (MARTE), UML Profiles, Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Data intensive applications that leverage Big Data technologies are rapidly gaining market trend. However, their design and quality assurance are far from satisfying software engineers needs. In fact, a CapGemini research shows that only 13% of organizations have achieved full-scale production for their Big Data implementations. We aim at addressing an early design and a quality evaluation of data intensive applications,being our goal to help software engineers on assessing quality metrics, such as the response time of theapplication. We address this goal by means of a quality analysis tool-chain.At the core of the tool, we are developing a Profile that converts the Unified Modeling Language into a domain specific modeling language for quality evaluation of data intensive applications. |
ConferenceHamza Ed-douibi, Javier Luis Cánovas Izquierdo, Abel Gómez, Massimo Tisi, Jordi Cabot EMF-REST: Generation of RESTful APIs from Models Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC '16 ACM, New York, NY, USA, 2016, ISBN: 978-1-4503-3739-7, (Pisa, Italia). Abstract | Links | BibTeX | Tags: Domain-Specific Languages (DSLs), Model-Driven Engineering (MDE), Model-Driven Web Engineering (MDWE), REST @conference{Ed-douibi:SAC:2016,
title = {EMF-REST: Generation of RESTful APIs from Models},
author = {Hamza Ed-douibi and Javier Luis C\'{a}novas Izquierdo and Abel G\'{o}mez and Massimo Tisi and Jordi Cabot},
doi = {10.1145/2851613.2851782},
isbn = {978-1-4503-3739-7},
year = {2016},
date = {2016-04-04},
booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing},
pages = {1446--1453},
publisher = {ACM},
address = {New York, NY, USA},
series = {SAC '16},
abstract = {In the last years, there has been an increasing interest for Model-Driven Engineering (MDE) solutions in the Web. Web-based modeling solutions can leverage on better support for distributed management (i.e., the Cloud) and collaboration. However, current modeling environments and frameworks are usually restricted to desktop-based scenarios and therefore their capabilities to move to the Web are still very limited. In this paper we present an approach to generate Web APIs out of models, thus paving the way for managing models and collaborating on them online. The approach, called EMF-REST, takes Eclipse Modeling Framework (EMF) data models as input and generates Web APIs following the REST principles and relying on well-known libraries and standards, thus facilitating its comprehension and maintainability. Also, EMF-REST integrates model and Web-specific features to provide model validation and security capabilities, respectively, to the generated API.},
note = {Pisa, Italia},
keywords = {Domain-Specific Languages (DSLs), Model-Driven Engineering (MDE), Model-Driven Web Engineering (MDWE), REST},
pubstate = {published},
tppubtype = {conference}
}
In the last years, there has been an increasing interest for Model-Driven Engineering (MDE) solutions in the Web. Web-based modeling solutions can leverage on better support for distributed management (i.e., the Cloud) and collaboration. However, current modeling environments and frameworks are usually restricted to desktop-based scenarios and therefore their capabilities to move to the Web are still very limited. In this paper we present an approach to generate Web APIs out of models, thus paving the way for managing models and collaborating on them online. The approach, called EMF-REST, takes Eclipse Modeling Framework (EMF) data models as input and generates Web APIs following the REST principles and relying on well-known libraries and standards, thus facilitating its comprehension and maintainability. Also, EMF-REST integrates model and Web-specific features to provide model validation and security capabilities, respectively, to the generated API. |
2015
|
ConferenceAbel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot Map-Based Transparent Persistence for Very Large Models Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, vol. 9033, Lecture Notes in Computer Science Springer Berlin Heidelberg, 2015, ISBN: 978-3-662-46675-9. Abstract | Links | BibTeX | Tags: Key-Value Stores, Model Persistence, Model-Driven Engineering (MDE), NeoEMF, Very Large Models (VLMs) @conference{Gomez:FASE:2015,
title = {Map-Based Transparent Persistence for Very Large Models},
author = {Abel G\'{o}mez and Massimo Tisi and Gerson Suny\'{e} and Jordi Cabot},
editor = {Alexander Egyed and Ina Schaefer },
doi = {10.1007/978-3-662-46675-9_2},
isbn = {978-3-662-46675-9},
year = {2015},
date = {2015-04-11},
booktitle = {Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings},
volume = {9033},
pages = {19--34},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
abstract = {The progressive industrial adoption of Model-Driven Engineering (MDE) is fostering the development of large tool ecosystems like the Eclipse Modeling project. These tools are built on top of a set of base technologies that have been primarily designed for small-scale scenarios, where models are manually developed. In particular, efficient runtime manipulation for large-scale models is an under-studied problem and this is hampering the application of MDE to several industrial scenarios.
In this paper we introduce and evaluate a map-based persistence model for MDE tools. We use this model to build a transparent persistence layer for modeling tools, on top of a map-based database engine. The layer can be plugged into the Eclipse Modeling Framework, lowering execution times and memory consumption levels of other existing approaches. Empirical tests are performed based on a typical industrial scenario, model-driven reverse engineering, where very large software models originate from the analysis of massive code bases. The layer is freely distributed and can be immediately used for enhancing the scalability of any existing Eclipse Modeling tool.},
keywords = {Key-Value Stores, Model Persistence, Model-Driven Engineering (MDE), NeoEMF, Very Large Models (VLMs)},
pubstate = {published},
tppubtype = {conference}
}
The progressive industrial adoption of Model-Driven Engineering (MDE) is fostering the development of large tool ecosystems like the Eclipse Modeling project. These tools are built on top of a set of base technologies that have been primarily designed for small-scale scenarios, where models are manually developed. In particular, efficient runtime manipulation for large-scale models is an under-studied problem and this is hampering the application of MDE to several industrial scenarios.
In this paper we introduce and evaluate a map-based persistence model for MDE tools. We use this model to build a transparent persistence layer for modeling tools, on top of a map-based database engine. The layer can be plugged into the Eclipse Modeling Framework, lowering execution times and memory consumption levels of other existing approaches. Empirical tests are performed based on a typical industrial scenario, model-driven reverse engineering, where very large software models originate from the analysis of massive code bases. The layer is freely distributed and can be immediately used for enhancing the scalability of any existing Eclipse Modeling tool. |
2014
|
Journal ArticleAbel Gómez, M. Carmen Penadés, José H. Canós, Marcos R.S. Borges, Manuel Llavador A framework for variable content document generation with multiple actors In: Information and Software Technology, vol. 56, no. 9, pp. 1101 - 1121, 2014, ISSN: 0950-5849, (Special Sections from “Asia-Pacific Software Engineering Conference (APSEC), 2012” and “ Software Product Line conference (SPLC), 2012”). Abstract | Links | BibTeX | Tags: Document Generation, Document Product Line (DPL), Document Workflow, DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP) @article{Gomez:IST:2014,
title = {A framework for variable content document generation with multiple actors},
author = {Abel G\'{o}mez and M. Carmen Penad\'{e}s and Jos\'{e} H. Can\'{o}s and Marcos R.S. Borges and Manuel Llavador},
doi = {10.1016/j.infsof.2013.12.006},
issn = {0950-5849},
year = {2014},
date = {2014-01-01},
journal = {Information and Software Technology},
volume = {56},
number = {9},
pages = {1101 - 1121},
abstract = {Context
Advances in customization have highlighted the need for tools supporting variable content document management and generation in many domains. Current tools allow the generation of highly customized documents that are variable in both content and layout. However, most frameworks are technology-oriented, and their use requires advanced skills in implementation-related tools, which means their use by end users (i.e. document designers) is severely limited.
Objective
Starting from past and current trends for customized document authoring, our goal is to provide a document generation alternative in which variants are specified at a high level of abstraction and content reuse can be maximized in high variability scenarios.
Method
Based on our experience in Document Engineering, we identified areas in the variable content document management and generation field open to further improvement. We first classified the primary sources of variability in document composition processes and then developed a methodology, which we called DPL \textendash based on Software Product Lines principles \textendash to support document generation in high variability scenarios.
Results
In order to validate the applicability of our methodology we implemented a tool \textendash DPLfw \textendash to carry out DPL processes. After using this in different scenarios, we compared our proposal with other state-of-the-art tools for variable content document management and generation.
Conclusion
The DPLfw showed a good capacity for the automatic generation of variable content documents equal to or in some cases surpassing other currently available approaches. To the best of our knowledge, DPLfw is the only framework that combines variable content and document workflow facilities, easing the generation of variable content documents in which multiple actors play different roles.},
note = {Special Sections from “Asia-Pacific Software Engineering Conference (APSEC), 2012” and “ Software Product Line conference (SPLC), 2012”},
keywords = {Document Generation, Document Product Line (DPL), Document Workflow, DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP)},
pubstate = {published},
tppubtype = {article}
}
Context
Advances in customization have highlighted the need for tools supporting variable content document management and generation in many domains. Current tools allow the generation of highly customized documents that are variable in both content and layout. However, most frameworks are technology-oriented, and their use requires advanced skills in implementation-related tools, which means their use by end users (i.e. document designers) is severely limited.
Objective
Starting from past and current trends for customized document authoring, our goal is to provide a document generation alternative in which variants are specified at a high level of abstraction and content reuse can be maximized in high variability scenarios.
Method
Based on our experience in Document Engineering, we identified areas in the variable content document management and generation field open to further improvement. We first classified the primary sources of variability in document composition processes and then developed a methodology, which we called DPL – based on Software Product Lines principles – to support document generation in high variability scenarios.
Results
In order to validate the applicability of our methodology we implemented a tool – DPLfw – to carry out DPL processes. After using this in different scenarios, we compared our proposal with other state-of-the-art tools for variable content document management and generation.
Conclusion
The DPLfw showed a good capacity for the automatic generation of variable content documents equal to or in some cases surpassing other currently available approaches. To the best of our knowledge, DPLfw is the only framework that combines variable content and document workflow facilities, easing the generation of variable content documents in which multiple actors play different roles. |
2012
|
ConferenceAbel Gómez, M. Carmen Penadés, José H. Canós Generación de Documentos con Contenido Variable en DPLfw Actas de las XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2012). Almería, septiembre de 2012., SISTEDES, 2012, ISBN: 978-84-15487-28-9. Abstract | Links | BibTeX | Tags: Darwin Information Typing Architecture (DITA), Document Product Line (DPL), DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP) @conference{Gomez:JISBD:2012,
title = {Generaci\'{o}n de Documentos con Contenido Variable en DPLfw},
author = {Abel G\'{o}mez and M. Carmen Penad\'{e}s and Jos\'{e} H. Can\'{o}s},
editor = {Antonio Ru\'{i}z-Cort\'{e}s and Luis Iribarne},
url = {http://hdl.handle.net/11705/JISBD/2012/075},
isbn = {978-84-15487-28-9},
year = {2012},
date = {2012-09-17},
booktitle = {Actas de las XVII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2012). Almer\'{i}a, septiembre de 2012.},
pages = {629-642},
publisher = {SISTEDES},
abstract = {Actualmente existen soluciones tecnol\'{o}gicas para la generaci\'{o}n de documentos personalizados en cuanto a sus contenidos y apariencia. Sin embargo, todas ellas requieren de amplios conocimientos en lenguajes especializados (XML, XSLT o XPATH entre otros) y no contemplan tareas relacionadas espec\'{i}ficamente con el dominio, como es la identificaci\'{o}n de la variabilidad en el contenido de los documentos. En este trabajo presentamos DPLfw, un entorno de trabajo basado en modelos para la generaci\'{o}n de documentos con contenido variable. DPLfw es una implementaci\'{o}n de la propuesta de L\'{i}neas de Producto de Documentos, donde la variabilidad en el contenido se representa mediante caracter\'{i}sticas, y la generaci\'{o}n de documentos se soporta sobre un proceso basado en L\'{i}neas de Productos. Este art\'{i}culo describe la arquitectura de DPLfw, a la vez que muestra su uso en la generaci\'{o}n de documentaci\'{o}n de usuario.},
keywords = {Darwin Information Typing Architecture (DITA), Document Product Line (DPL), DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP)},
pubstate = {published},
tppubtype = {conference}
}
Actualmente existen soluciones tecnológicas para la generación de documentos personalizados en cuanto a sus contenidos y apariencia. Sin embargo, todas ellas requieren de amplios conocimientos en lenguajes especializados (XML, XSLT o XPATH entre otros) y no contemplan tareas relacionadas específicamente con el dominio, como es la identificación de la variabilidad en el contenido de los documentos. En este trabajo presentamos DPLfw, un entorno de trabajo basado en modelos para la generación de documentos con contenido variable. DPLfw es una implementación de la propuesta de Líneas de Producto de Documentos, donde la variabilidad en el contenido se representa mediante características, y la generación de documentos se soporta sobre un proceso basado en Líneas de Productos. Este artículo describe la arquitectura de DPLfw, a la vez que muestra su uso en la generación de documentación de usuario. Open AccessSpanish |
ConferenceAbel Gómez, M. Carmen Penadés, José H. Canós, Marcos R.S. Borges, Manuel Llavador DPLfw: A Framework for Variable Content Document Generation Proceedings of the 16th International Software Product Line Conference - Volume 1, SPLC '12 ACM, New York, NY, USA, 2012, ISBN: 978-1-4503-1094-9, (Salvador, Brazil). Abstract | Links | BibTeX | Tags: Darwin Information Typing Architecture (DITA), Document Product Line (DPL), DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP) @conference{Gomez:SPLC:2012,
title = {DPLfw: A Framework for Variable Content Document Generation},
author = {Abel G\'{o}mez and M. Carmen Penad\'{e}s and Jos\'{e} H. Can\'{o}s and Marcos R.S. Borges and Manuel Llavador},
doi = {10.1145/2362536.2362552},
isbn = {978-1-4503-1094-9},
year = {2012},
date = {2012-09-02},
booktitle = {Proceedings of the 16th International Software Product Line Conference - Volume 1},
pages = {96--105},
publisher = {ACM},
address = {New York, NY, USA},
series = {SPLC '12},
abstract = {Variable Data Printing solutions provide means to generate documents whose content varies according to some criteria. Since the early Mail Merge-like applications that generated letters with destination data taken from databases, different languages and frameworks have been developed with increasing levels of sophistication. Current tools allow the generation of highly customized documents that are variable not only in content, but also in layout. However, most frameworks are technology-oriented, and their use requires high skills in implementation-related tools (XML, XPATH, and others), which do not include support for domain-related tasks like identification of document content variability.
In this paper, we introduce DPLfw, a framework for variable content document generation based on Software Product Line Engineering principles. It is an implementation of the Document Product Lines (DPL) approach, which was defined with the aim of supporting variable content document generation from a domain-oriented point of view. DPL models document content variability in terms of features, and product line-like processes support the generation of documents. We define the DPLfw architecture, and illustrate its use in the definition of variable-content emergency plans.},
note = {Salvador, Brazil},
keywords = {Darwin Information Typing Architecture (DITA), Document Product Line (DPL), DPLfw, Feature Modeling (FM), Model-Driven Engineering (MDE), Software Product Lines (SPL), Variable Data Printing (VDP)},
pubstate = {published},
tppubtype = {conference}
}
Variable Data Printing solutions provide means to generate documents whose content varies according to some criteria. Since the early Mail Merge-like applications that generated letters with destination data taken from databases, different languages and frameworks have been developed with increasing levels of sophistication. Current tools allow the generation of highly customized documents that are variable not only in content, but also in layout. However, most frameworks are technology-oriented, and their use requires high skills in implementation-related tools (XML, XPATH, and others), which do not include support for domain-related tasks like identification of document content variability.
In this paper, we introduce DPLfw, a framework for variable content document generation based on Software Product Line Engineering principles. It is an implementation of the Document Product Lines (DPL) approach, which was defined with the aim of supporting variable content document generation from a domain-oriented point of view. DPL models document content variability in terms of features, and product line-like processes support the generation of documents. We define the DPLfw architecture, and illustrate its use in the definition of variable-content emergency plans. |
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 |
2010
|
ConferenceElena Navarro, Abel Gómez, Patricio Letelier, Isidro Ramos MORPHEUS: A Supporting Tool for MDD Information Systems Development: Asian Experiences, Springer New York, New York, NY, USA, 2010, ISBN: 978-1-4419-7355-9, (Nanchang, China). Abstract | Links | BibTeX | Tags: Model-Driven Development (MDD), Model-Driven Engineering (MDE), MORPHEUS, Requirements Engineering (RE), Software Architectures @conference{Navarro:ISD:2009,
title = {MORPHEUS: A Supporting Tool for MDD},
author = {Elena Navarro and Abel G\'{o}mez and Patricio Letelier and Isidro Ramos},
editor = {William Wei Song and Shenghua Xu and Changxuan Wan and Yuansheng Zhong and Wita Wojtkowski and Gregory Wojtkowski and Henry Linger},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/navarro-isd-2009.pdf},
doi = {10.1007/978-1-4419-7355-9_22},
isbn = {978-1-4419-7355-9},
year = {2010},
date = {2010-10-30},
booktitle = {Information Systems Development: Asian Experiences},
pages = {255--267},
publisher = {Springer New York},
address = {New York, NY, USA},
abstract = {Model-driven development (MDD) approach is gaining more and more attention both from practitioners and academics because of its positive influences in terms of reliability and productivity in the software development process. ATRIUM is one of the current proposals following the MDD principles as the development is driven by models and a tool, MORPHEUS, supports both its activities and models. This tool provides facilities for modelling, metamodelling, and analysis and integrates an engine to execute transformations. In this work, this tool is presented describing both its architecture and its capabilities.},
note = {Nanchang, China},
keywords = {Model-Driven Development (MDD), Model-Driven Engineering (MDE), MORPHEUS, Requirements Engineering (RE), Software Architectures},
pubstate = {published},
tppubtype = {conference}
}
Model-driven development (MDD) approach is gaining more and more attention both from practitioners and academics because of its positive influences in terms of reliability and productivity in the software development process. ATRIUM is one of the current proposals following the MDD principles as the development is driven by models and a tool, MORPHEUS, supports both its activities and models. This tool provides facilities for modelling, metamodelling, and analysis and integrates an engine to execute transformations. In this work, this tool is presented describing both its architecture and its capabilities. 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 |
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 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 |
2006
|
ConferenceAbel Gómez, Artur Boronat, Pascual Queralt, José Á. Carsí, Isidro Ramos MOMENT: una herramienta de Gestión de Modelos aplicada a la Ingeniería Dirigida por Modelos Actas de las V Jornadas de Trabajo DYNAMICA, Ingeniería del Software y Sistemas de Información research group Universitat Politècnica de València, Valencia, Spain, 2006, ISBN: 84-690-2623-2. Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model Management, Model Transformation (MT), Model-Driven Engineering (MDE), MOMENT @conference{Gomez:DYNAMICA:2006,
title = {MOMENT: una herramienta de Gesti\'{o}n de Modelos aplicada a la Ingenier\'{i}a Dirigida por Modelos},
author = {Abel G\'{o}mez and Artur Boronat and Pascual Queralt and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jennifer P\'{e}rez and Manuel Llavador and Crist\'{o}bal Costa and Nour Ali},
url = {http://issi.dsic.upv.es/projects/DYNAMICA/jornadas06/actas/actasDYNAMICA06.pdf},
isbn = {84-690-2623-2},
year = {2006},
date = {2006-11-23},
booktitle = {Actas de las V Jornadas de Trabajo DYNAMICA},
pages = {141--142},
publisher = {Universitat Polit\`{e}cnica de Val\`{e}ncia},
address = {Valencia, Spain},
organization = {Ingenier\'{i}a del Software y Sistemas de Informaci\'{o}n research group},
abstract = {La Ingenier\'{i}a Dirigida por modelos es un campo en la Ingenier\'{i}a del Software que, durante a\~{n}os, ha representado los artefactos software como modeles con el objetivo de incrementar la productividad, calidad, y reducir los gastos en el proceso de desarrollo de software. Los modelos proporcionan una descripci\'{o}n m\'{a}s abstracta de un artefacto software que el c\'{o}digo final de la aplicaci\'{o}n. Las compa\~{n}\'{i}as de desarrollo de software han aumentado su inter\'{e}s en este campo. Como por ejemplo encontramos las aproximaciones Model Driven Architecture, apoyada por la OMG, as\'{i} como las Software Factories, apoyadas en este caso por Microsoft.
El Desarrollo Dirigido por Modelos ha evolucionado del campo de la Ingenier\'{i}a Dirigida por Modelos. En \'{e}l, no s\'{o}lo las tareas de dise\~{n}o y generaci\'{o}n de c\'{o}digo est\'{a}n involucradas, sino que tambi\'{e}n se incluyen las capacidades de trazabilidad, gesti\'{o}n de modelos, tareas de meta-modelado, intercambio y persistencia de modelos, etc. Para poder abordar estas tareas, las operaciones entre modelos, transformaciones, y consultas sobre ellos son problemas relevantes que deben ser resueltos. En el contexto de MDA se abordan desde el punto de vista de los est\'{a}ndares abiertos. El este caso, el est\'{a}ndar Meta Object Facility (MOF), proporciona un mecanismo para definir metamodelos. Por su parte, el est\'{a}ndar Query/Views/Transformations (QVT) indica c\'{o}mo proporcionar soporte tanto para transformaciones como para consultas. A diferencia de otros lenguajes nuevos, QVT se apoya en el ya existente lenguaje Object Constraint Language (OCL) para realizar las consultas sobre los artefactos software. Adem\'{a}s, dentro de la ingenier\'{i}a dirigida por modelos se ha propuesto una nueva disciplina denominada Gesti\'{o}n de Modelos. \'{E}sta considera los modelos y las correspondencias entre ellos como entidades de primer orden, proporcionando un conjunto de operadores independientes de metamodelo y basados en teor\'{i}a de conjuntos para tratar con ellos (Merge, Cross, Diff, ModelGen, etc.). Estos operadores proporcionan una soluci\'{o}n reutilizable y componible para las tareas descritas anteriormente.
En esta demo presentamos la herramienta MOMENT, que da soporte a todas estas aproximaciones surgidas dentro de la Ingenier\'{i}a por modelos. MOMENT proporciona un soporte algebraico a los operadores de gesti\'{o}n de modelos, as\'{i} como a las tareas de transformaci\'{o}n y consulta de modelos mediante un eficiente sistema de reescritura de t\'{e}rminos \textemdashMaude\textemdash y desde un entorno de modelado industrial \textemdashEclipse Modeling Framework (EMF)\textemdash. EMF puede ser visto como una implementaci\'{o}n del est\'{a}ndar MOF, y permite la importaci\'{o}n autom\'{a}tica de artefactos software desde or\'{i}genes de datos heterog\'{e}neos: modelos UML, esquemas relacionales, esquemas XML, etc. En este sentido MOMENT aprovecha las capacidades de modularidad y parametrizaci\'{o}n de Maude para proporcionar un entorno de gesti\'{o}n, transformaci\'{o}n y consulta de modelos de forma gen\'{e}rica e independiente de metamodelo.
},
keywords = {Algebraic Specifications, Maude, Model Management, Model Transformation (MT), Model-Driven Engineering (MDE), MOMENT},
pubstate = {published},
tppubtype = {conference}
}
La Ingeniería Dirigida por modelos es un campo en la Ingeniería del Software que, durante años, ha representado los artefactos software como modeles con el objetivo de incrementar la productividad, calidad, y reducir los gastos en el proceso de desarrollo de software. Los modelos proporcionan una descripción más abstracta de un artefacto software que el código final de la aplicación. Las compañías de desarrollo de software han aumentado su interés en este campo. Como por ejemplo encontramos las aproximaciones Model Driven Architecture, apoyada por la OMG, así como las Software Factories, apoyadas en este caso por Microsoft.
El Desarrollo Dirigido por Modelos ha evolucionado del campo de la Ingeniería Dirigida por Modelos. En él, no sólo las tareas de diseño y generación de código están involucradas, sino que también se incluyen las capacidades de trazabilidad, gestión de modelos, tareas de meta-modelado, intercambio y persistencia de modelos, etc. Para poder abordar estas tareas, las operaciones entre modelos, transformaciones, y consultas sobre ellos son problemas relevantes que deben ser resueltos. En el contexto de MDA se abordan desde el punto de vista de los estándares abiertos. El este caso, el estándar Meta Object Facility (MOF), proporciona un mecanismo para definir metamodelos. Por su parte, el estándar Query/Views/Transformations (QVT) indica cómo proporcionar soporte tanto para transformaciones como para consultas. A diferencia de otros lenguajes nuevos, QVT se apoya en el ya existente lenguaje Object Constraint Language (OCL) para realizar las consultas sobre los artefactos software. Además, dentro de la ingeniería dirigida por modelos se ha propuesto una nueva disciplina denominada Gestión de Modelos. Ésta considera los modelos y las correspondencias entre ellos como entidades de primer orden, proporcionando un conjunto de operadores independientes de metamodelo y basados en teoría de conjuntos para tratar con ellos (Merge, Cross, Diff, ModelGen, etc.). Estos operadores proporcionan una solución reutilizable y componible para las tareas descritas anteriormente.
En esta demo presentamos la herramienta MOMENT, que da soporte a todas estas aproximaciones surgidas dentro de la Ingeniería por modelos. MOMENT proporciona un soporte algebraico a los operadores de gestión de modelos, así como a las tareas de transformación y consulta de modelos mediante un eficiente sistema de reescritura de términos —Maude— y desde un entorno de modelado industrial —Eclipse Modeling Framework (EMF)—. EMF puede ser visto como una implementación del estándar MOF, y permite la importación automática de artefactos software desde orígenes de datos heterogéneos: modelos UML, esquemas relacionales, esquemas XML, etc. En este sentido MOMENT aprovecha las capacidades de modularidad y parametrización de Maude para proporcionar un entorno de gestión, transformación y consulta de modelos de forma genérica e independiente de metamodelo.
Open AccessSpanish |
ConferenceAbel Gómez, Artur Boronat, Luis Hoyos, José Á. Carsí, Isidro Ramos Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain., CIMNE, Barcelona, Spain, 2006, ISBN: 84-95999-99-4, (Sitges, Barcelona, Spain). Abstract | Links | BibTeX | Tags: Domain-Specific Languages (DSLs), Maude, Model Management, Model-Driven Engineering (MDE), MOMENT @conference{DBLP:conf/jisbd/GomezBHCR06,
title = {Definici\'{o}n de operaciones complejas con un lenguaje espec\'{i}fico de dominio en Gesti\'{o}n de Modelos},
author = {Abel G\'{o}mez and Artur Boronat and Luis Hoyos and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jos\'{e} Riquelme and Pere Botella},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-2006.pdf},
isbn = {84-95999-99-4},
year = {2006},
date = {2006-10-03},
booktitle = {XI Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain.},
pages = {215--224},
publisher = {CIMNE},
address = {Barcelona, Spain},
abstract = {La Ingenier\'{i}a dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas m\'{a}s interoperables y sencillas de mantener mediante t\'{e}cnicas que elevan el nivel de abstracci\'{o}n. En esta direcci\'{o}n ha aparecido la disciplina «Gesti\'{o}n de Modelos», que proporciona un conjunto de operadores gen\'{e}ricos basados en teor\'{i}a de conjuntos para tratar con modelos. Esta aproximaci\'{o}n muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. Este art\'{i}culo describe c\'{o}mo proporciona soporte a la definici\'{o}n de operadores complejos una herramienta del marco de la Gesti\'{o}n de Modelos mediante un lenguaje espec\'{i}fico de dominio.},
note = {Sitges, Barcelona, Spain},
keywords = {Domain-Specific Languages (DSLs), Maude, Model Management, Model-Driven Engineering (MDE), MOMENT},
pubstate = {published},
tppubtype = {conference}
}
La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de abstracción. En esta dirección ha aparecido la disciplina «Gestión de Modelos», que proporciona un conjunto de operadores genéricos basados en teoría de conjuntos para tratar con modelos. Esta aproximación muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. Este artículo describe cómo proporciona soporte a la definición de operadores complejos una herramienta del marco de la Gestión de Modelos mediante un lenguaje específico de dominio. Full Text AvailableSpanish |