Transformation and validation with SWRL and OWL of ODM-based models

Authors:
Jesús M. Almendros-Jiménez;Luis Iribarne
Affiliations:
Dpto. de Lenguajes y Computación, University of Almería, Spain;Dpto. de Lenguajes y Computación, University of Almería, Spain
Venue:
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Year:
2012

Citing 10
Cited 0

On the architectural alignment of ATL and QVT

Proceedings of the 2006 ACM symposium on Applied computing
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
On the interoperability of model-to-model transformation languages

Science of Computer Programming
Verification of UML/OCL Class Diagrams using Constraint Programming

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
An extension of UML for the modeling of WIMP user interfaces

Journal of Visual Languages and Computing
UML Modeling of User and Database Interaction

The Computer Journal
Incremental Detection of Model Inconsistencies Based on Model Operations

CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
Operation based model representation: experiences on inconsistency detection

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
On validation of ATL transformation rules by transformation models

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an approach for the specification of transformations and validations of ODM models. Adopting a SWRL/OWL based approach we will show how transform and validate models. Model-to-model transformations are described with SWRL rules, and validation of source and target models is achieved by SWRL.