Skip to main content
SpringerLink
Log in
Book cover

Brazilian Symposium on Programming Languages

SBLP 2015: Programming Languages pp 112–127Cite as

Model-Driven Engineering Based on Attribute Grammars

  • Conference paper
  • First Online:

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

Abstract

The Model-Driven Engineering (MDE) paradigm proposes the construction of software based on an abstraction from its complexity by defining models, and on a (semi)automatic construction process driven by model transformations. In this paper we propose the use of attribute grammars for the specification of QVT-like (Query/View/Transformation) relational model transformations. We also present how the syntax and semantics of models can be represented, and we discuss the practical implications of this approach through the development of a case study.

This is a preview of subscription content, 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   34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   44.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

Learn about institutional subscriptions

Notes

  1. 1.

    Complete source code of our running example is available at https://www.fing.edu.uy/inco/grupos/coal/field.php/Research/ANII14.

  2. 2.

    https://hackage.haskell.org/package/uuagc.

  3. 3.

    In uuagc everything that is in between brackets is considered as Haskell code.

  4. 4.

    \( RDBMS \) is the data type that represents the grammar corresponding to the metamodel of Fig. 1b.

References

  1. Kent, S.: Model driven engineering. In: Proceedings of Integrated Formal Methods, pp. 286–298 (2002)

    Google Scholar 

  2. OMG: Meta Object Facility (MOF) 2.0 Core Specification. Specification Version 2.0, Object Management Group (2003)

    Google Scholar 

  3. OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation. Final Adopted Specification Version 1.1, Object Management Group (2009)

    Google Scholar 

  4. Kurtev, I., Bézivin, J., Aksit, M.: Technological spaces: an initial appraisal. In: CoopIS, DOA 2002 Federated Conferences, Industrial Track (2002)

    Google Scholar 

  5. Paige, R.F., Kolovos, D.S., Polack, F.A.C.: A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96, 396–416 (2014)

    Article  Google Scholar 

  6. Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theor. 2(2) , 127–145 (1968). Correction: Math. Syst. Theor. 5(1), 95–96 (1971)

    Google Scholar 

  7. Dehayni, M., Féraud, L.: An approach of model transformation based on attribute grammars. In: Masood, A., Léonard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol. 2817, pp. 412–423. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Swierstra, S., Alcocer, P.A., Saraiva, J.: Designing and implementing combinator languages. In: Swierstra, S., Oliveira, J., Henriques, P. (eds.) Adv. Funct. Program. Lecture Notes in Computer Science, vol. 1608, pp. 150–206. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  9. OMG: Object Constraint Language. Formal Specification Version 2.4, Object Management Group (2014)

    Google Scholar 

  10. Vogt, H.H., Swierstra, S.D., Kuiper, M.F.: Higher order attribute grammars. SIGPLAN Not. 24(7), 131–145 (1989)

    Article  MATH  Google Scholar 

  11. Gargantini, A., Riccobene, E., Scandurra, P.: Deriving a textual notation from a metamodel. In: Proceedings of Workshop on Milestones, Models and Mappings for Model-Driven Architecture. Volume WP06-02, ISSN1574-0846 of CTITSeries. (2006)

    Google Scholar 

  12. Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels. Technical Report 606, Turku Centre for Computer Science (2003)

    Google Scholar 

  13. Grammes, R., Gotzhein, R.: Towards the harmonisation of UML and SDL. In: de Frutos-Escrig, D., Núñez, M., (eds.) Proceedings of Formal Techniques for Networked and Distributed Systems 2004, Madrid Spain, 27–30 September 2004, pp. 61–78. Springer (2004)

    Google Scholar 

  14. Zhu, H.: An institution theory of formal meta-modelling in graphically extended bnf. Front. Comput. Sci. 6(1), 40–56 (2012)

    MathSciNet  MATH  Google Scholar 

  15. Bürger, C., Karol, S., Wende, C., Aßmann, U.: Reference attribute grammars for metamodel semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 22–41. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  16. Magnusson, E., Hedin, G.: Circular reference attributed grammars - their evaluation and applications. Sci. Comput. Program. 68(1), 21–37 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  17. Calegari, D., Szasz, N.: Verification of model transformations: a survey of the state-of-the-art. Electr. Notes Theor. Comput. Sci. 292, 5–25 (2013)

    Article  Google Scholar 

  18. Baars, A.I., Swierstra, S.D., Viera, M.: Typed transformations of typed abstract syntax. In: TLDI 2009: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, pp. 15–26. ACM, New York (2009)

    Google Scholar 

Download references

Acknowledgements

This work has been partially funded by the Agencia Nacional de Investigación e Innovación (ANII, Uruguay).

Author information

Authors and Affiliations

  1. Universidad de la República, Montevideo, Uruguay

    Daniel Calegari & Marcos Viera

Authors
  1. Daniel Calegari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcos Viera
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daniel Calegari .

Editor information

Editors and Affiliations

  1. Universidad de La Republica, Montevideo, Uruguay

    Alberto Pardo

  2. Utrecht University, Utrecht, The Netherlands

    S. Doaitse Swierstra

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Calegari, D., Viera, M. (2015). Model-Driven Engineering Based on Attribute Grammars. In: Pardo, A., Swierstra, S. (eds) Programming Languages. SBLP 2015. Lecture Notes in Computer Science(), vol 9325. Springer, Cham. https://doi.org/10.1007/978-3-319-24012-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24012-1_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24011-4

  • Online ISBN: 978-3-319-24012-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation