Transformation and Validation with SWRL and OWL of ODM-Based Models

  • Jesús M. Almendros-Jiménez
  • Luis Iribarne
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7602)


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.


Source Model Model Transformation Target Model Object Constraint Language Cardinality Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Almendros-Jiménez, J.M., Iribarne, L.: An Extension of UML for the Modeling of WIMP User Interfaces. Journal of Visual Languages and Computing 19, 695–720 (2008)CrossRefGoogle Scholar
  2. 2.
    Almendros-Jiménez, J.M., Iribarne, L.: UML Modeling of User and Database Interaction. The Computer Journal 52(3), 348–367 (2009)CrossRefGoogle Scholar
  3. 3.
    Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 32–46. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Büttner, F., Cabot, J., Gogolla, M.: On validation of ATL transformation rules by transformation models. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, pp. 1–8. ACM, New York (2011), CrossRefGoogle Scholar
  5. 5.
    Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and Validation of Declarative Model-to-Model Transformations. Systems and Software 2(83), 283–302 (2010)CrossRefGoogle Scholar
  6. 6.
    Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: IEEE International Conference on Software Testing Verification and Validation, ICSTW 2008, pp. 73–80. IEEE (2008)Google Scholar
  7. 7.
    Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–645 (2006)CrossRefGoogle Scholar
  8. 8.
    Hillairet, G.: ATL Use Case - ODM Implementation (Bridging UML and OWL). Tech. rep. (2007),
  9. 9.
    Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M., et al.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member submission 21, 79 (2004)Google Scholar
  10. 10.
    Jouault, F., Kurtev, I.: On the architectural alignment of ATL and QVT. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1188–1195. ACM, New York (2006)Google Scholar
  11. 11.
    Jouault, F., Kurtev, I.: On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68(3), 114–137 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Le Noir, J., Delande, O., Exertier, D., da Silva, M.A.A., Blanc, X.: Operation Based Model Representation: Experiences on Inconsistency Detection. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 85–96. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    O’Connor, M.J., Das, A.K.: SQWRL: a query language for OWL. In: Fifth International Workshop on OWL: Experiences and Directions (OWLED) (2009)Google Scholar
  15. 15.
    OMG: MDA Spec. Tech. rep. (2003),
  16. 16.
    OMG: MOF 2.0 Query/Views/Transformations RFP. Tech. rep. (2008),
  17. 17.
    OMG: Object Constraint Language (OCL). Tech. rep. (2008),
  18. 18.
    OMG: Ontology Definition Metamodel (ODM). Tech. rep. (2009),
  19. 19.
    Schätz, B.: Verification of model transformations. Electronic Communications of the EASST 29 (2010)Google Scholar
  20. 20.
    TopCased: Topcased: The open-source tool kit for critical systems. Tech. rep. (2010),
  21. 21.
    Tratt, L.: Model transformations and tool integration. Software and System Modeling 4(2), 112–122 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jesús M. Almendros-Jiménez
    • 1
  • Luis Iribarne
    • 1
  1. 1.Dpto. de Lenguajes y ComputaciónUniversity of AlmeríaSpain

Personalised recommendations