Skip to main content
SpringerLink
Log in

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

  • Conference paper
Model and Data Engineering (MEDI 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7602))

Included in the following conference series:

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.

This work has been supported by the Spanish Ministry MICINN and Ingenieros Alborada IDI under grant TRA2009-0309. This work has been also supported by the EU (FEDER) and the Spanish Ministry MICINN under grants TIN2010-15588, TIN2008-06622-C03-03, and the JUNTA ANDALUCIA (proyecto de excelencia) ref. TIC-6114.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  Google Scholar 

  2. Almendros-Jiménez, J.M., Iribarne, L.: UML Modeling of User and Database Interaction. The Computer Journal 52(3), 348–367 (2009)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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), http://doi.acm.org/10.1145/2095654.2095666

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–645 (2006)

    Article  Google Scholar 

  8. Hillairet, G.: ATL Use Case - ODM Implementation (Bridging UML and OWL). Tech. rep. (2007), http://www.eclipse.org/m2m/atl/atlTransformations/

  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. 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. Jouault, F., Kurtev, I.: On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68(3), 114–137 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. OMG: MDA Spec. Tech. rep. (2003), http://www.omg.org/mda/specs.htm

  16. OMG: MOF 2.0 Query/Views/Transformations RFP. Tech. rep. (2008), http://www.omg.org/docs/ad/05-01-06.pdf

  17. OMG: Object Constraint Language (OCL). Tech. rep. (2008), http://www.omg.org/technology/documents/formal/ocl.htm

  18. OMG: Ontology Definition Metamodel (ODM). Tech. rep. (2009), http://www.omg.org/spec/ODM/1.0/

  19. Schätz, B.: Verification of model transformations. Electronic Communications of the EASST 29 (2010)

    Google Scholar 

  20. TopCased: Topcased: The open-source tool kit for critical systems. Tech. rep. (2010), http://www.topcased.org/

  21. Tratt, L.: Model transformations and tool integration. Software and System Modeling 4(2), 112–122 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Lenguajes y Computación, University of Almería, 04120, Spain

    Jesús M. Almendros-Jiménez & Luis Iribarne

Authors
  1. Jesús M. Almendros-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis Iribarne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. Enginyeria de Serveis i Sistemes d’Informació, Universitat Politecnica de Catalunya, C. Jordi Girona, 31, 08034, Barcelona, Spain

    Alberto Abelló

  2. LISI/ENSMA, Futuroscope, Poitiers University, Téléport 2 - 1 avenue, Clément Ader, BP 40109, 86961, Futuroscope Chasseneuil cedex, France

    Ladjel Bellatreche

  3. School of Computer Science and Engineering, University of New South Wales, 2052, Sydney, NSW, Australia

    Boualem Benatallah

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Almendros-Jiménez, J.M., Iribarne, L. (2012). Transformation and Validation with SWRL and OWL of ODM-Based Models. In: Abelló, A., Bellatreche, L., Benatallah, B. (eds) Model and Data Engineering. MEDI 2012. Lecture Notes in Computer Science, vol 7602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33609-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33609-6_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33608-9

  • Online ISBN: 978-3-642-33609-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation