2012
|
Journal ArticleMaría Eugenia Cabello, Isidro Ramos, Jorge Rafael Gutiérrez, Abel Gómez, Rogelio Limón SPL variability management, cardinality and types: an MDA approach In: International Journal of Intelligent Information and Database Systems (IJIIDS), vol. 6, no. 2, pp. 129-153, 2012, ISSN: 1751-5866. Abstract | Links | BibTeX | Tags: Expert Systems, Feature Modeling (FM), Intelligent Information, Metamodels, Model Transformation (MT), Model-Driven Architecture (MDA), Models, Query/View/Transformation (QVT), Software Product Line Production Plan, Software Product Lines (SPL), Variability Management @article{Cabello:IJIIDS:2012,
title = {SPL variability management, cardinality and types: an MDA approach},
author = {Mar\'{i}a Eugenia Cabello and Isidro Ramos and Jorge Rafael Guti\'{e}rrez and Abel G\'{o}mez and Rogelio Lim\'{o}n},
doi = {10.1504/IJIIDS.2012.045848},
issn = {1751-5866},
year = {2012},
date = {2012-03-14},
journal = {International Journal of Intelligent Information and Database Systems (IJIIDS)},
volume = {6},
number = {2},
pages = {129-153},
abstract = {This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan.},
keywords = {Expert Systems, Feature Modeling (FM), Intelligent Information, Metamodels, Model Transformation (MT), Model-Driven Architecture (MDA), Models, Query/View/Transformation (QVT), Software Product Line Production Plan, Software Product Lines (SPL), Variability Management},
pubstate = {published},
tppubtype = {article}
}
This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan. |
2011
|
Journal ArticleBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Software Generic Measurement Framework Based on MDA In: IEEE Latin America Transactions, vol. 9, no. 1, pp. 864-871, 2011, ISSN: 1548-0992. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @article{Mora:IEEELatAm:2011,
title = {Software Generic Measurement Framework Based on MDA},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
doi = {10.1109/TLA.2011.5876432},
issn = {1548-0992},
year = {2011},
date = {2011-03-01},
journal = {IEEE Latin America Transactions},
volume = {9},
number = {1},
pages = {864-871},
abstract = {Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the Software Measurement Framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {article}
}
Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the Software Measurement Framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown. |
2010
|
ConferenceAbel Gómez, Isidro Ramos Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together Fourth International Workshop on Variability Modelling of Software-intensive Systems – Proceedings, no. 37, VaMoS 2010 Institut für Informatik und Wirtschaftsinformatik (ICB) ICB Research Reports, Essen, Germany, 2010, ISSN: 1860‐2770, (Linz, Austria). Abstract | Links | BibTeX | Tags: Feature Modeling (FM), Model-Driven Architecture (MDA), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL), Unified Modeling Language (UML) @conference{Gomez:VaMoS:2010,
title = {Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together},
author = {Abel G\'{o}mez and Isidro Ramos},
editor = {David Benavides and Don Batory and Paul Gr\"{u}nbacher},
url = {http://www.wi-inf.uni-duisburg-essen.de/FGFrank/download/icb/ICBReportNo37.pdf},
issn = {1860‐2770},
year = {2010},
date = {2010-01-01},
booktitle = {Fourth International Workshop on Variability Modelling of Software-intensive Systems \textendash Proceedings},
number = {37},
publisher = {ICB Research Reports},
address = {Essen, Germany},
organization = {Institut f\"{u}r Informatik und Wirtschaftsinformatik (ICB)},
series = {VaMoS 2010},
abstract = {Feature Modeling is a technique which uses a specific visual notation to characterize the variability of product lines by means of diagrams. In this sense, the arrival of metamodeling frameworks in the Model-Driven Engineering field has provided the necessary background to exploit these diagrams (called feature models) in complex software development processes. However, these frameworks (such as the Eclipse Modeling Framework) have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with constraints. These models are automatically translated to Domain Variability Models (DVM) by means of model-to-model transformations. Thus, such models can be instantiated, and each different instantiation is a configuration of the feature model. This appproach allows us to take advantage of existing generative programming tools, query languages and validation formalisms; and, what is more, DVMs can play a key role in MDE processes as they can be used as inputs in complex model transformations.
},
note = {Linz, Austria},
keywords = {Feature Modeling (FM), Model-Driven Architecture (MDA), Model-Driven Engineering (MDE), Object Constraint Language (OCL), Query/View/Transformation (QVT), Software Product Lines (SPL), Unified Modeling Language (UML)},
pubstate = {published},
tppubtype = {conference}
}
Feature Modeling is a technique which uses a specific visual notation to characterize the variability of product lines by means of diagrams. In this sense, the arrival of metamodeling frameworks in the Model-Driven Engineering field has provided the necessary background to exploit these diagrams (called feature models) in complex software development processes. However, these frameworks (such as the Eclipse Modeling Framework) have some limitations when they must deal with software artifacts at several abstraction layers. This paper presents a prototype that allows the developers to define cardinality-based feature models with constraints. These models are automatically translated to Domain Variability Models (DVM) by means of model-to-model transformations. Thus, such models can be instantiated, and each different instantiation is a configuration of the feature model. This appproach allows us to take advantage of existing generative programming tools, query languages and validation formalisms; and, what is more, DVMs can play a key role in MDE processes as they can be used as inputs in complex model transformations.
Open Access |
2009
|
ConferenceMaría Gómez, Abel Gómez, María Eugenia Cabello, Isidro Ramos BOM–Lazy: gestión de la variabilidad en el desarrollo de Sistemas Expertos mediante técnicas de MDA Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2009), junto a XIV Jornadas de Ingeniería de Software y Bases de Datos (JISBD 2009), vol. 3, no. 9, SISTEDES, 2009, ISSN: 1988–3455, (San Sebastián, Spain). Abstract | Links | BibTeX | Tags: BOM-Lazy, Expert Systems, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Model-Driven Architecture (MDA), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management @conference{Gomez:DSDM:2009,
title = {BOM\textendashLazy: gesti\'{o}n de la variabilidad en el desarrollo de Sistemas Expertos mediante t\'{e}cnicas de MDA},
author = {Mar\'{i}a G\'{o}mez and Abel G\'{o}mez and Mar\'{i}a Eugenia Cabello and Isidro Ramos},
editor = {Orlando Avila-Garc\'{i}a and Vicente Pelechano and Jos\'{e} Ra\'{u}l Romero},
url = {https://www.sistedes.es/files/actas-talleres-JISBD/Vol-3/No-2/DSDM09.pdf},
issn = {1988\textendash3455},
year = {2009},
date = {2009-09-08},
booktitle = {Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2009), junto a XIV Jornadas de Ingenier\'{i}a de Software y Bases de Datos (JISBD 2009)},
volume = {3},
number = {9},
pages = {91--100},
publisher = {SISTEDES},
abstract = {Este documento presenta BOM\textendashLazy, una aproximaci\'{o}n para desarrollar Sistemas Expertos mediante la utilizaci\'{o}n de t\'{e}cnicas de Desarrollo de Software Dirigido por Modelos y L\'{i}neas de Producto Software. Se ha realizado un estudio sobre la variabilidad de los Sistemas Expertos para determinar las caracter\'{i}sticas generales y particulares de dicho dominio. La variabilidad de tal dominio se gestiona mediante una transformaci\'{o}n de modelos que permite obtener autom\'{a}ticamente diferentes arquitecturas base a partir de la arquitectura gen\'{e}rica de la L\'{i}nea de Productos Software. },
note = {San Sebasti\'{a}n, Spain},
keywords = {BOM-Lazy, Expert Systems, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Model-Driven Architecture (MDA), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management},
pubstate = {published},
tppubtype = {conference}
}
Este documento presenta BOM–Lazy, una aproximación para desarrollar Sistemas Expertos mediante la utilización de técnicas de Desarrollo de Software Dirigido por Modelos y Líneas de Producto Software. Se ha realizado un estudio sobre la variabilidad de los Sistemas Expertos para determinar las características generales y particulares de dicho dominio. La variabilidad de tal dominio se gestiona mediante una transformación de modelos que permite obtener automáticamente diferentes arquitecturas base a partir de la arquitectura genérica de la Línea de Productos Software. Open AccessSpanish |
2008
|
Journal ArticleBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos JISBD2007-08: Software generic measurement framework based on MDA In: IEEE Latin America Transactions, vol. 6, no. 4, pp. 363-370, 2008, ISSN: 1548-0992. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @article{Mora:IEEELatAm:2008,
title = {JISBD2007-08: Software generic measurement framework based on MDA},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
doi = {10.1109/TLA.2008.4815290},
issn = {1548-0992},
year = {2008},
date = {2008-08-01},
journal = {IEEE Latin America Transactions},
volume = {6},
number = {4},
pages = {363-370},
abstract = {Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the software measurement framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the software measurement framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {article}
}
Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework to integrate the different entities in the measurement process is required. In this paper the software measurement framework (SMF) is presented, which supports the measurement of any type of software entity through the metamodels which depict them. In this framework, any software entity in any domain could be measured with a common software Measurement metamodel and by means of QVT transformations. This work explains the three fundamental elements of the software measurement framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework's application to a concrete domain is furthermore shown. Spanish |
ConferenceBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Software Measurement by Using QVT Transformations in an MDA Context Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), vol. 1, INSTICC SciTePress, 2008, ISBN: 978-989-8111-36-4, (Barcelona, Spain). Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @conference{Mora:ICEIS:2008,
title = {Software Measurement by Using QVT Transformations in an MDA Context},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jos\'{e} Cordeiro and Joaquim Filipe},
doi = {10.5220/0001677901170124},
isbn = {978-989-8111-36-4},
year = {2008},
date = {2008-01-01},
booktitle = {Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008)},
volume = {1},
pages = {117--124},
publisher = {SciTePress},
organization = {INSTICC},
abstract = {At present the objective of obtaining quality software products has led to the necessity of carrying out good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework is necessary to integrate the different entities in the measurement process. In this work a Software Measurement Framework (SMF) is presented to measure any type of software entity. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework’s application to a concrete domai n is furthermore shown. },
note = {Barcelona, Spain},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
At present the objective of obtaining quality software products has led to the necessity of carrying out good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities involved in software measurement, a consistent framework is necessary to integrate the different entities in the measurement process. In this work a Software Measurement Framework (SMF) is presented to measure any type of software entity. In this framework, any software entity in any domain could be measured with a common Software Measurement metamodel and QVT transformations. This work explains the three fundamental elements of the Software Measurement Framework (conceptual architecture, technological aspects and method). These elements have all been adapted to the MDE paradigm and to MDA technology, taking advantage of their benefits within the field of software measurement. Furthermore an example which illustrates the framework’s application to a concrete domai n is furthermore shown. Open Access |
2007
|
ConferenceBeatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José Á. Carsí, Isidro Ramos Marco de Trabajo basado en MDA para la medición Genérica del Software Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007., Thomson Editorial, 2007, ISBN: 978-84-9732-595-0. Abstract | Links | BibTeX | Tags: Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT) @conference{Mora:JISBD:2007,
title = {Marco de Trabajo basado en MDA para la medici\'{o}n Gen\'{e}rica del Software},
author = {Beatriz Mora and F\'{e}lix Garc\'{i}a and Francisco Ruiz and Mario Piattini and Artur Boronat and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Xavier Franch},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/mora-jisbd-2007.pdf},
isbn = {978-84-9732-595-0},
year = {2007},
date = {2007-09-11},
booktitle = {Actas de las XII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007.},
pages = {211--220},
publisher = {Thomson Editorial},
abstract = {Actualmente, con el objetivo de obtener productos software de calidad es necesario llevar a cabo una buena gesti\'{o}n de los procesos software donde la medici\'{o}n de los procesos se convierte en un factor fundamental. Debido a la gran variedad de entidades candidatas para la medici\'{o}n, se considera necesario un marco consistente para integrar la medici\'{o}n de los distintos tipos de entidades. En este trabajo se presenta la propuesta de un entorno gen\'{e}rico para la medici\'{o}n de cualquier entidad software a partir de los metamodelos que las representan. Partiendo de un metamodelo com\'{u}n de medici\'{o}n, y mediante transformaciones QVT, se puede llevar a cabo la medici\'{o}n de un modelo de dominio cualquiera. En el trabajo se explica como se ha llevado a cabo la propuesta: por un lado, se ha trabajado con la herramienta MOMENT, que proporciona el soporte necesario para la gesti\'{o}n autom\'{a}tica de modelos de acuerdo a MDE y a la arquitectura MDA, por otro lado, se ha adaptado FMESP a MDA. FMESP es un marco de trabajo para la integraci\'{o}n del modelado y de la medici\'{o}n de procesos software, que sirve de base conceptual y tecnol\'{o}gica para su mejora. Adem\'{a}s, se muestran las etapas a seguir para conseguir la medici\'{o}n gen\'{e}rica basada en MDA, y un caso de ejemplo en el dominio de bases de datos relacionales.},
keywords = {Framework for the Modeling and Evaluation of Software Processes (FMESP), Measurement, Model-Driven Architecture (MDA), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
Actualmente, con el objetivo de obtener productos software de calidad es necesario llevar a cabo una buena gestión de los procesos software donde la medición de los procesos se convierte en un factor fundamental. Debido a la gran variedad de entidades candidatas para la medición, se considera necesario un marco consistente para integrar la medición de los distintos tipos de entidades. En este trabajo se presenta la propuesta de un entorno genérico para la medición de cualquier entidad software a partir de los metamodelos que las representan. Partiendo de un metamodelo común de medición, y mediante transformaciones QVT, se puede llevar a cabo la medición de un modelo de dominio cualquiera. En el trabajo se explica como se ha llevado a cabo la propuesta: por un lado, se ha trabajado con la herramienta MOMENT, que proporciona el soporte necesario para la gestión automática de modelos de acuerdo a MDE y a la arquitectura MDA, por otro lado, se ha adaptado FMESP a MDA. FMESP es un marco de trabajo para la integración del modelado y de la medición de procesos software, que sirve de base conceptual y tecnológica para su mejora. Además, se muestran las etapas a seguir para conseguir la medición genérica basada en MDA, y un caso de ejemplo en el dominio de bases de datos relacionales. Full Text AvailablePreprintSpanish |
2006
|
ConferenceArtur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José Á. Carsí An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework Model Driven Architecture -- Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings, vol. 4066, Lecture Notes in Computer Science Springer, Berlin, Heidelberg, 2006, ISBN: 978-3-540-35910-4. Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model-Driven Architecture (MDA), MOMENT, Object Constraint Language (OCL) @conference{Boronat:ECMDA-FA:2006,
title = {An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework},
author = {Artur Boronat and Joaqu\'{i}n Oriente and Abel G\'{o}mez and Isidro Ramos and Jos\'{e} \'{A}. Cars\'{i}},
editor = {Arend Rensink and Jos Warmer},
doi = {10.1007/11787044_24},
isbn = {978-3-540-35910-4},
year = {2006},
date = {2006-07-10},
booktitle = {Model Driven Architecture -- Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings},
volume = {4066},
pages = {316--330},
publisher = {Springer},
address = {Berlin, Heidelberg},
series = {Lecture Notes in Computer Science},
abstract = {In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which runs on the term rewriting system Maude.},
keywords = {Algebraic Specifications, Maude, Model-Driven Architecture (MDA), MOMENT, Object Constraint Language (OCL)},
pubstate = {published},
tppubtype = {conference}
}
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which runs on the term rewriting system Maude. |