Model-Driven engineering of machine executable code

Authors:
Michael Eichberg;Martin Monperrus;Sven Kloppenburg;Mira Mezini
Affiliations:
Technische Universität Darmstadt, Germany;Technische Universität Darmstadt, Germany;Kimeta GmbH, Germany;Technische Universität Darmstadt, Germany
Venue:
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Year:
2010

Citing 13
Cited 1

No Silver Bullet Essence and Accidents of Software Engineering

Computer
Software analysis: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Java Virtual Machine Specification

Java Virtual Machine Specification
Improving Security Using Extensible Lightweight Static Analysis

IEEE Software
Model-Driven Reverse Engineering

IEEE Software
Domain-Specific Modeling

Domain-Specific Modeling
Source Code Analysis: A Road Map

FOSE '07 2007 Future of Software Engineering
An Extensible Meta-Model for Program Analysis

IEEE Transactions on Software Engineering
Model-Driven Simulation of a Maritime Surveillance System

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
An approach for the systematic development of domain-specific languages

Software—Practice & Experience
Formalizing the well-formedness rules of EJB3QL in UML + OCL

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Encoding the Java Virtual Machine's Instruction Set

Electronic Notes in Theoretical Computer Science (ENTCS)
Model driven development of multi-agent systems

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

MDD vs. traditional software development: A practitioner's subjective perspective

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Implementing static analyses of machine-level executable code is labor intensive and complex. We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses. Further, we report on important lessons learned on the benefits and drawbacks while using the following technologies: using the Scala programming language as target of code generation, using XML-Schema to express a metamodel, and using XSLT to implement (a) transformations and (b) a lint like tool. Finally, we report on the use of Prolog for writing model transformations.