[
|
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 to ODM/OWL
transformations. OWL is equipped with the
Semantic Web Rule Language (SWRL) whose aim is
to provide a mechanism for rule based
specifications. SWRL can be used for enriching
OWL models via SWRL inferences. 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 model
is achieved with OWL and SWRL. 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
the well-known example of model transformation:
the Entity-Relationship (ER) to Relational Model
(RM) transformation.
|
