Model Validation in Ontology Based Transformations
Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been proposed as a profile for UML models of the W...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2012-10-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1210.6111v1 |
| _version_ | 1811226399354126336 |
|---|---|
| author | Jesús M. Almendros-Jiménez Luis Iribarne |
| author_facet | Jesús M. Almendros-Jiménez Luis Iribarne |
| author_sort | Jesús M. Almendros-Jiménez |
| collection | DOAJ |
| description | Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been proposed as a profile for UML models of the Web Ontology Language (OWL). In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions) to properties of the transformation (invariants). The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER) to Relational Model (RM) transformation. |
| first_indexed | 2024-04-12T09:24:28Z |
| format | Article |
| id | doaj.art-32df597ec98041fbabe776f3be832f95 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-12T09:24:28Z |
| publishDate | 2012-10-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-32df597ec98041fbabe776f3be832f952022-12-22T03:38:32ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-10-0198Proc. WWV 2012173010.4204/EPTCS.98.4Model Validation in Ontology Based TransformationsJesús M. Almendros-JiménezLuis IribarneModel Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been proposed as a profile for UML models of the Web Ontology Language (OWL). In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions) to properties of the transformation (invariants). The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER) to Relational Model (RM) transformation.http://arxiv.org/pdf/1210.6111v1 |
| spellingShingle | Jesús M. Almendros-Jiménez Luis Iribarne Model Validation in Ontology Based Transformations Electronic Proceedings in Theoretical Computer Science |
| title | Model Validation in Ontology Based Transformations |
| title_full | Model Validation in Ontology Based Transformations |
| title_fullStr | Model Validation in Ontology Based Transformations |
| title_full_unstemmed | Model Validation in Ontology Based Transformations |
| title_short | Model Validation in Ontology Based Transformations |
| title_sort | model validation in ontology based transformations |
| url | http://arxiv.org/pdf/1210.6111v1 |
| work_keys_str_mv | AT jesusmalmendrosjimenez modelvalidationinontologybasedtransformations AT luisiribarne modelvalidationinontologybasedtransformations |