Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See [3] for a discussion on completely loosening the meta-level classification of languages.
- 2.
We are not claiming this logic to be more or less appropriate to the email case study. Rather, we want to put the users in the focus and give them the choice of mindset among many.
References
ADD-Lib. http://add-lib.scce.info
Bahar, R., et al.: Algebric decision diagrams and their applications. Form. Methods Syst. Des. 10(2), 171–206 (1997)
Boßelmann, S., Naujokat, S., Steffen, B.: On the difficulty of drawing the line. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 340–356. Springer, Heidelberg (2018)
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
Drechsler, R., Sieling, D.: Binary decision diagrams in theory and practice. Softw. Tools Technol. Transf. (STTT) 3(2), 112–136 (2001)
Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley/ACM Press (2011)
Gossen, F., Margaria, T.: Generating optimal decision functions from rule specifications. In: Electronic Communications of the EASST, vol. 74 (2017)
Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall Inc., Upper Saddle River (1995)
Kosko, B., Isaka, S.: Fuzzy logic. Sci. Am. 269, 76–81 (1993)
Margaria, T., Steffen, B.: From the how to the what. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 448–459. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69149-5_48
Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316–344 (2005)
Naujokat, S.: Heavy Meta. Model-Driven Domain-Specific Generation of Generative Domain-Specific Modeling Tools. Dissertation, TU Dortmund, Dortmund, August 2017. http://hdl.handle.net/2003/36060
Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Softw. Tools Technol. Transf. 20(3), 327–354 (2017)
Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part II. LNCS, vol. 9953, pp. 218–237. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_16
Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, 7–11 October 1968. Scientific Affairs Division, NATO, Brussels 39 Belgium (1969)
Somenzi, F.: Efficient manipulation of decision diagrams. Int. J. Softw. Tools Technol. Transf. 3(2), 171–181 (2001)
Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000. Springer (2018, to appear)
Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: Steffen, B. (ed.) FoMaC 2016. LNCS, vol. 9960, pp. 22–46. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46508-1_3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Gossen, F., Margaria, T., Murtovi, A., Naujokat, S., Steffen, B. (2018). DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Modeling. ISoLA 2018. Lecture Notes in Computer Science(), vol 11244. Springer, Cham. https://doi.org/10.1007/978-3-030-03418-4_33
Download citation
DOI: https://doi.org/10.1007/978-3-030-03418-4_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03417-7
Online ISBN: 978-3-030-03418-4
eBook Packages: Computer ScienceComputer Science (R0)