Skip to main content
SpringerLink
Log in

Typing Model Transformations Using Tracts

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2012)

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

Abstract

As the complexity of MDE artefacts grows, there is an increasing need to rely on precise and abstract mechanisms that allow system architects to reason about the systems they design, and to test their individual components. In particular, assigning types to models and model transformations is needed for realizing many key MDE activities. This paper presents a light-weight approach to type model transformations using tracts. Advantages and limitations of the proposal are discussed, as well as the applicability of the proposal in several settings.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
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. Steel, J., Jézéquel, J.-M.: Model Typing for Improving Reuse in Model-Driven Engineering. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 84–96. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9), 187–207 (2007)

    Article  Google Scholar 

  3. Steel, J., Jézéquel, J.M.: On model typing. Software and Systems Modeling 6(4), 401–413 (2007)

    Article  Google Scholar 

  4. Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221–235. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  5. Heim, M.: Exploring Indiana Highways: Trip Trivia. Exploring America’s Highway. Travel Organization Network (2007), http://en.wikipedia.org/wiki/Duck_test

  6. Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811–1841 (1994)

    Article  Google Scholar 

  7. Bruce, K.B., Vanderwaart, J.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. ENTCS 20(1), 1–26 (2004)

    Google Scholar 

  8. Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99–121. Prentice-Hall (1995)

    Google Scholar 

  9. Bézivin, J.: On the unification power of models. Software and Systems Modeling (SoSyM) 4(2), 171–188 (2005)

    Article  Google Scholar 

  10. Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing in Model Management. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 197–212. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  11. Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)

    Article  Google Scholar 

  12. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling 4(4), 386–398 (2005)

    Article  Google Scholar 

  13. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Proc. of the OCL and Model Driven Engineering Workshop (2004)

    Google Scholar 

  16. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proc. of IMDD-MDT 2006 (2006)

    Google Scholar 

  17. Poernomo, I.H.: Proofs-as-Model-Transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 214–228. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  18. Matsuda, K., Hu, Z., Takeichi, M.: Type-based specialization of xml transformations. In: Proc. of PEPM 2009, pp. 61–72. ACM (2009)

    Google Scholar 

  19. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2), 283–302 (2010)

    Article  Google Scholar 

  20. Baresi, L., Ehrig, K., Heckel, R.: Verification of Model Transformations: A Case Study with BPEL. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 183–199. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  21. Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49–63. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233–259 (2006)

    Article  Google Scholar 

  23. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via Alloy. In: Proc. of MODEVVA (2007), http://www.cs.bham.ac.uk/~bxb/Papres/Modevva07.pdf

  24. Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. Journal of Object Technology 10, 5:1–29 (2011)

    Article  Google Scholar 

  25. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM 53(6), 139–143 (2010)

    Article  Google Scholar 

  26. Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., Santos, O.: Engineering model transformations with transML. Software and Systems Modeling (2011) (in press)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GISUM/Atenea Research Group, Universidad de Málaga, Spain

    Antonio Vallecillo

  2. Database Systems Group, University of Bremen, Germany

    Martin Gogolla

Authors
  1. Antonio Vallecillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National Institute of Informatics, 2-1-2 Hitotsubashi, 101-8430, Chiyoda-ku, Tokyo, Japan

    Zhenjiang Hu

  2. Department of Computer Science, Universidad Autónoma de Madrid, Campus de Cantoblanco, 28049, Madrid, Spain

    Juan de Lara

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vallecillo, A., Gogolla, M. (2012). Typing Model Transformations Using Tracts. In: Hu, Z., de Lara, J. (eds) Theory and Practice of Model Transformations. ICMT 2012. Lecture Notes in Computer Science, vol 7307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30476-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30476-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30475-0

  • Online ISBN: 978-3-642-30476-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation