Skip to main content
SpringerLink
Log in

Language Convergence Infrastructure

  • Chapter
Generative and Transformational Techniques in Software Engineering III (GTTSE 2009)

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

Abstract

The process of grammar convergence involves grammar extraction and transformation for structural equivalence and contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper describes a DSL and the infrastructure behind it that automates the convergence process, hides negligible back-end details, aids development/debugging and enables application of grammar convergence technology to large scale projects. The necessity of having a strong framework is explained by listing case studies. Domain elements such as extractors and transformation operators are described to illustrate the issues that were successfully addressed.

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. Baxter, I.D., Pidgeon, C.W.: Software Change through Design Maintenance. In: Proceedings of the International Conference on Software Maintenance, ICSM 1997, Washington, DC, USA, p. 250. IEEE Computer Society Press, Los Alamitos (1997)

    Google Scholar 

  2. Bezivin, J., Jouault, F., Valduriez, P.: On the Need for Megamodels. In: Proceedings of Workshop on Best Practices for Model-Driven Software Development at the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, Vancouver, British Columbia, Canada (October 2004)

    Google Scholar 

  3. Cordy, J.R.: The TXL Source Transformation Language. Science of Computer Programming 61(3), 190–210 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Falleri, J.-R., Huchard, M., Lafourcade, M., Nebut, C.: Metamodel Matching for Automatic Model Transformation Generation. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 326–340. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Gao, S., Sperberg-McQueen, C.M., Thompson, H.S., Mendelsohn, N., Beech, D., Maloney, M.: W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures. In: W3C Candidate Recommendation (April 30, 2009)

    Google Scholar 

  6. Gosling, J., Joy, B., Steele, G.L.: The Java Language Specification. Addison-Wesley, Reading (1996)

    MATH  Google Scholar 

  7. Gosling, J., Joy, B., Steele, G.L., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)

    MATH  Google Scholar 

  8. Gosling, J., Joy, B., Steele, G.L., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)

    MATH  Google Scholar 

  9. Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The Syntax Definition Formalism SDF—Reference Manual. ACM SIGPLAN Notices 24(11), 43–75 (1989)

    Article  Google Scholar 

  10. JCP JSR 31. JAXB 2.0/2.1 — Java Architecture for XML Binding (2008)

    Google Scholar 

  11. Klint, P.: A Meta-Environment for Generating Programming Environments. ACM Transactions on Software Engineering and Methodology (TOSEM) 2(2), 176–201 (1993)

    Article  Google Scholar 

  12. Klusener, S., Zaytsev, V.: ISO/IEC JTC1/SC22 Document N3977—Language Standardization Needs Grammarware (2005), http://www.open-std.org/jtc1/sc22/open/n3977.pdf

  13. Kort, J., Lämmel, R., Verhoef, C.: The Grammar Deployment Kit. In: van den Brand, M.G.J., Lämmel, R. (eds.) Electronic Notes in Theoretical Computer Science, vol. 65. Elsevier Science Publishers, Amsterdam (2002)

    Google Scholar 

  14. Lämmel, R., Verhoef, C.: Semi-automatic Grammar Recovery. Software—Practice & Experience 31(15), 1395–1438 (2001)

    Article  MATH  Google Scholar 

  15. Lämmel, R., Zaytsev, V.: An Introduction to Grammar Convergence. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 246–260. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  16. Lämmel, R., Zaytsev, V.: Recovering Grammar Relationships for the Java Language Specification. In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 178–186. IEEE, Los Alamitos (September 2009); Full version for Software Quality Journal is in print

    Chapter  Google Scholar 

  17. Object Management Group: MOF 2.0/XMI Mapping, 2.1.1 edn. (December 2007)

    Google Scholar 

  18. Parr, T.: ANTLR—ANother Tool for Language Recognition (2008)

    Google Scholar 

  19. Rahm, E., Bernstein, P.A.: A Survey of Approaches to Automatic Schema Matching. VLDB Journal 10(4), 334–350 (2001)

    Article  MATH  Google Scholar 

  20. Sellink, A., Verhoef, C.: Generation of Software Renovation Factories from Compilers. In: Proceedings of 15th International Conference on Software Maintenance (ICSM 1999), pp. 245–255 (1999)

    Google Scholar 

  21. Tiarks, R., Koschke, R., Falke, R.: An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools. In: 9th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 67–76. IEEE, Los Alamitos (September 2009)

    Google Scholar 

  22. Zaytsev, V.: XBGF Manual: BGF Transformation Operator Suite v.1.0 (August 2009), http://slps.sf.net/xbgf

  23. Zaytsev, V., Lämmel, R.: Language Documentation: Survey and Synthesis of a Unified Format. Submitted for publication; online since (July 7, 2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Languages Team, Universität Koblenz-Landau, Germany

    Vadim Zaytsev

Authors
  1. Vadim Zaytsev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade do Minho, Campus de Gualtar, 4710-057, Braga, Portugal

    João M. Fernandes  & João Saraiva  & 

  2. FB 4, Institut für Informatik, Universität Koblenz-Landau, B127, Universitätsstraße 1, 56070, Koblenz, Germany

    Ralf Lämmel

  3. Software Improvement Group, A.J. Ernststraat 595-H, 1082 LD, Amsterdam, The Netherlands

    Joost Visser

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Zaytsev, V. (2011). Language Convergence Infrastructure. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds) Generative and Transformational Techniques in Software Engineering III. GTTSE 2009. Lecture Notes in Computer Science, vol 6491. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18023-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18023-1_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18022-4

  • Online ISBN: 978-3-642-18023-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation