 Название: Domain-Specific Languages: Effective Modeling, Automation, and Reuse
Автор: Andrzej Wasowski, Thorsten Berger
Издательство: Springer
Год: 2023
Страниц: 494
Язык: английский
Формат: pdf (true)
Размер: 12.9 MB
This textbook describes the theory and the pragmatics of using and engineering high-level software languages – also known as modeling or domain-specific languages (DSLs) – for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs.
The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics – with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling.
Domain-specific languages are studied in several overlapping research communities: object-oriented programming, functional programming, dynamic languages (Racket, Smalltalk), modeling, and software-language engineering. We present key perspectives from multiple fields, unifying terminology and setup. We discuss both internal and external DSLs, using both object-oriented and functional programming languages, exploiting both model-based and grammar-based technology.
We use standard compiler construction terminology when appropriate, unifying it with vernaculars of the separate communities (for instance, relating meta-model, instance, abstract syntax, or relating meta-programming with transformation). In the interest of trustworthiness and durability, the terminology is cleaned off acronyms and buzzwords as much as possible.
Скачать Domain-Specific Languages: Effective Modeling, Automation, and Reuse
|
Разделы сайта
Авторизация
Реклама
Domain-Specific Languages: Effective Modeling, Automation, and Reuse 