Building Code Generators with Genesys: A Tutorial Introduction

  • Sven Jörges
  • Bernhard Steffen
  • Tiziana Margaria
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6491)


Automatic code generation is a key feature of model-driven approaches to software engineering. In previous publications on this topic, we showed that constructing code generators in a model-driven way provides a lot of advantages. We presented Genesys, a code generation framework which supports the model-driven construction of code generators based on service-oriented principles. With this methodology, concepts like bootstrapping and reuse of existing components enable a fast evolution of the code generation library. Furthermore, the robustness of the code generators profits from the application of formal methods. In this paper, we will show in detail how code generators are constructed with Genesys, in a tutorial-like fashion. As an example, we will build a code generator for HTML documentation from scratch.


Code Generator Execution Context Model Branch Atomic Service Service Adapter 
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.
    Jörges, S., Margaria, T., Steffen, B.: Genesys: Service-Oriented Construction of Property Conform Code Generators. Innovations in Systems and Software Engineering 4(4), 361–384 (2008)CrossRefGoogle Scholar
  2. 2.
    Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer 39(10), 45–55 (2006)CrossRefGoogle Scholar
  4. 4.
    Technische Universität Dortmund: jABC Website (2009),
  5. 5.
    Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)CrossRefGoogle Scholar
  6. 6.
    Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Proc. ISoLA 2008. CCIS, vol. 17, pp. 493–505. Springer, Heidelberg (2008)Google Scholar
  7. 7.
    Object Management Group: Model Driven Architecture,
  8. 8.
    Technische Universität Dortmund: Common SIBs Website (2010),
  9. 9.
    Terence Parr: StringTemplate Website (2009),
  10. 10.
    Technische Universität Dortmund: jABC SIBs Website (2009),
  11. 11.
    Oracle: JAX-WS Reference Implementation (2010),
  12. 12.
    Eclipse Foundation: JET, part of Eclipses Model To Text (M2T) component (2010),
  13. 13.
    Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1–16. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Oldevik, J., Neple, T., Grønmo, R., Aagedal, J.Ø., Berre, A.J.: Toward Standardised Model to Text Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 239–253. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Apache Software Foundation: Velocity Website (2007),
  16. 16.
    openArchitecureWare Team: openArchitectureWare Website (2009),
  17. 17.
    AndroMDA Team: AndroMDA Website (2009),
  18. 18.
    Eclipse Foundation: XPand, part of Eclipses Model To Text (M2T) component (2010),
  19. 19.
    Apache Software Foundation: Apache Ant Project (2010),
  20. 20.
    Hoare, C.A.R.: The Verifying Compiler: A Grand Challenge for Computing Research. J. ACM 50(1), 63–69 (2003)CrossRefzbMATHGoogle Scholar
  21. 21.
    Necula, G.C.: Proof-Carrying Code. In: Proc. POPL 1997, pp. 106–119. ACM Press, New York (1997)Google Scholar
  22. 22.
    Denney, E., Fischer, B.: Extending Source Code Generators for Evidence-based Software Certification. In: Proc. ISOLA 2006, pp. 138–145 (2006)Google Scholar
  23. 23.
    Goos, G., Zimmermann, W.: Verification of Compilers. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 201–230. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  24. 24.
    Necula, G.C.: Translation Validation for an Optimizing Compiler. ACM SIGPLAN Notices 35(5), 83–94 (2000)CrossRefGoogle Scholar
  25. 25.
    Stürmer, I., Weinberg, D., Conrad, M.: Overview of existing safeguarding techniques for automatically generated code. In: Proc. SEAS 2005, pp. 1–6. ACM Press, New York (2005)Google Scholar
  26. 26.
    Coglio, A., Green, C.: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 57–63. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  27. 27.
    Eclipse Foundation: Eclipse Modeling Project (2009),

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Sven Jörges
    • 1
  • Bernhard Steffen
    • 1
  • Tiziana Margaria
    • 2
  1. 1.Chair of Programming SystemsTechnische Universität DortmundGermany
  2. 2.Service and Software EngineeringUniversität PotsdamGermany

Personalised recommendations