DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering

Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (DSLs) tailored to match the stakeholders’ mindsets. The interplay between the involved DSLs is realized in a service-oriented fashion, with corresponding Mindset-Supporting Integrated Development Environments (mIDEs). This organization eases product line and system evolution, because one can introduce and exchange entire DSLs as if they were services. Using as example a smart email classification system that highlights important emails in the inbox, we model its decision procedure in a tailored graphical domain-specific language based on Binary Decision Diagrams. BDDs are a compact form of the popular decision trees and thus a mindset natural to many application experts. We then evolve this language and its mIDE to meet the new users’ wish to model some uncertainty in the classification. To evolve the language, we first manually adapt its metamodel and code generator. Subsequently we show, how this step can be automated by refining the BDD DSL with a dedicated DSL for defining algebraic structures. As this exchange happens in a service-oriented fashion, it does not impair the optimization potential and nicely follows the successive refinement of the users’ mindset.

[1]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[2]  Tiziana Margaria,et al.  From the How to the What , 2005, VSTTE.

[3]  Stefan Naujokat.  Heavy meta: Model-driven domain-specific generation of generative domain-specific modeling tools , 2017 .

[4]  Tiziana Margaria,et al.  Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages , 2019, Computing and Software Science.

[5]  Bernhard Steffen,et al.  Archimedean Points: The Essence for Mastering Change , 2016, LNCS Trans. Found. Mastering Chang..

[6]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[7]  Aruna Raja,et al.  Domain Specific Languages , 2010 .

[8]  B. Randell,et al.  Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO , 1969 .

[9]  D C Plaut,et al.  Simulating brain damage. , 1993, Scientific American.

[10]  Tiziana Margaria,et al.  Meta-Level Reuse for Mastering Domain Specialization , 2016, ISoLA.

[11]  Enrico Macii,et al.  Algebric Decision Diagrams and Their Applications , 1997, ICCAD '93.

[12]  Bernhard Steffen,et al.  On the Difficulty of Drawing the Line , 2018, ISoLA.

[13]  Bernhard Steffen,et al.  CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools , 2018, International Journal on Software Tools for Technology Transfer.

[14]  Fabio Somenzi,et al.  Efficient manipulation of decision diagrams , 2001, International Journal on Software Tools for Technology Transfer.

[15]  Lotfi A. Zadeh,et al.  Fuzzy Logic , 2009, Encyclopedia of Complexity and Systems Science.

[16]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[17]  Rolf Drechsler,et al.  Binary decision diagrams in theory and practice , 2001, International Journal on Software Tools for Technology Transfer.