Domain-specific languages: from design to implementation application to video device drivers generation
- 1 January 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 25 (3) , 363-377
- https://doi.org/10.1109/32.798325
Abstract
Domain-specific languages (DSL) have many potential advantages in terms of software engineering, ranging from increased productivity to the application of formal methods. Although they have been used in practice for decades, there has been little study of methodology or implementation tools for the DSL approach. We present our DSL approach and its application to a realistic domain: the generation of video display device drivers. The article focuses on the validation of our proposed framework for domain-specific languages, from design to implementation. The framework leads to a flexible design and structure, and provides automatic generation of efficient implementations of DSL programs. Additionally, we describe an example of a complete DSL for video display adaptors and the benefits of the DSL approach for this application. This demonstrates some of the generally claimed benefits of using DSLs: increased productivity, higher-level abstraction, and easier verification. This DSL has been fully implemented with our approach and is available. Compose project URL: http://www.irisa.fr/compose/gal.Keywords
This publication has 19 references indexed in Scilit:
- Adapting distributed applications using extensible networksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Safe and efficient active network programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Auditdraw: generating audits the FAST wayPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An embedded modeling language approach to interactive 3D and multimedia animationIEEE Transactions on Software Engineering, 1999
- A framework for application generator designPublished by Association for Computing Machinery (ACM) ,1997
- An introduction to partial evaluationACM Computing Surveys, 1996
- A general approach for run-time specialization and its application to CPublished by Association for Computing Machinery (ACM) ,1996
- A uniform approach for compile-time and run-time specializationPublished by Springer Nature ,1996
- Partial EvaluationPublished by Springer Nature ,1996
- Recasting algorithms to encourage reuseIEEE Software, 1994