Industrial application of formal models generated from domain specific languages

conference paper
Hooman, J.
Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the initial modelling effort. Since DSLs can be used to capture essential domain information at a high level of abstraction, this supports formal verification early in the development process. We discuss our experiences with this approach in a number of real industrial development projects. cop. Springer International Publishing Switzerland 2016.
Topics






Computer programming languagesDevelopment processDomain informationsDomain specific languagesDSLFormal modelIndustrial workflow
TNO Identifier
534872
Repository link
https://resolver.tno.nl/uuid:ae08c7ae-dd57-410a-ab13-58a22fc47723
DOI
https://dx.doi.org/10.1007/978-3-319-30734-3_19
ISSN
03029743
ISBN
9783319307336
Publisher
Springer Verlag
Source title
Frank de Boer on the Occasion of His 60th Birthday, 2016, 5 July 2016 through 5 July 2016
Editor(s)
Abraham E.
Bonsangue M.
Johnsen E.B.
Pages
277-293
Files
To receive the publication files, please send an e-mail request to TNO Repository.