Building code generators with genesys: a tutorial introduction

Authors:
Sven Jörges;Bernhard Steffen;Tiziana Margaria
Affiliations:
Technische Universität Dortmund, Germany;Technische Universität Dortmund, Germany;Universität Potsdam, Germany
Venue:
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Year:
2009

Citing 11
Cited 0

Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Translation validation for an optimizing compiler

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
Verification of Compilers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Overview of existing safeguarding techniques for automatically generated code

SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Service Engineering: Linking Business and IT

Computer
Extending Source Code Generators for Evidence-Based Software Certification

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets

Verified Software: Theories, Tools, Experiments
The Epsilon Generation Language

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Model-driven development with the jABC

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Toward standardised model to text transformations

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.