Mathijs Schuts
Jozef Hooman
ABSTRACT
Two Domain Specific Languages (DSLs) have been developed to improve the development of a power control component of interventional X-ray systems of Philips. Configuration files and test cases are generated from instances of these DSLs. To increase the confidence in these instances and the generators, formal models have been generated to analyse DSL instances and to crosscheck the results of the generators. A DSL instance serves as a single source from which the implementation and the formal analysis models are generated. In this way, it is easy to maintain the formal support in case of changes and for new product releases. We report about our experiences with this approach in a real development project at Philips.
- J.-R. Abrial. The B-book: Assigning Programs to Meanings. Cambridge University Press, 1996. Google Scholar
Digital Library
- L. Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, 2013. Google ScholarDigital Library
- J.-P. Bodeveix, M. Filali, J. Lawall, and G. Muller. Formal methods meet domain specific languages. In Integrated Formal Methods, volume 3771 of Lecture Notes in Computer Science, pages 187--206. Springer, 2005. Google ScholarDigital Library
- K. Chandrasekaran, S. Santurkar, and A. Arora. Stormgen - a domain specific language to create ad-hoc storm topologies. In M. P. M. Ganzha, L. Maciaszek, editor, Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, volume 2 of Annals of Computer Science and Information Systems, pages 1621--1628. IEEE, 2014.Google Scholar
- G. Hamon, L. de Moura, and J. Rushby. Automated Test Generation with SAL. CSL Technical Note, SRI International, January 2005.Google Scholar
- C. Heitmeyer. On the need for practical formal methods. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of Lecture Notes in Computer Science, pages 18--26. Springer, 1998. Google ScholarDigital Library
- P. James and M. Roggenbach. Encapsulating formal methods within domain specific languages: A solution for verifying railway scheme plans. The Computing Research Repository, abs/1403.3034, 2014.Google Scholar
- C. B. Jones, D. Jackson, and J. Wing. Formal methods light. Computer, 29(4):20--22, 1996. Google ScholarDigital Library
- J. Kärnä, J.-P. Tolvanen, and S. Kelly. Evaluating the Use of Domain-Specific Modeling in Practice. In Proceedings of the 9th OOPSLA workshop on Domain-Specific Modeling, 2009.Google Scholar
- LonWorks. www.echelon.com/technology/lonworks, 2015.Google Scholar
- A. Mooij and J. Hooman. Creating a Domain Specific Language (DSL) with Xtext. http://www.cs.ru.nl/hooman/DSL/, 2015.Google Scholar
- P. D. Mosses, editor. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science. Springer, 2004.Google Scholar
- I. Nagy, L. Cleophas, M. van den Brand, L. Engelen, L. Raulea, and E. Mithun. VPDS: A DSL for Software in the Loop Simulations Covering Material Flow. In 17th Int. Conf. on Engineering of Complex Computer Systems (ICECCS), pages 318--327, 2012. Google ScholarDigital Library
- PlantUML. PlantUML in a nutshell. plantuml.com, 2015.Google Scholar
- S. Rayadurgam and M. Heimdahl. Test-sequence generation from formal requirement models. In IEEE Int. Symp. onHigh Assurance Systems Engineering, pages 23--31. 2001. Google ScholarDigital Library
- M. Schuts and J. Hooman. Formal modelling in the concept phase of product development. In Proc. Conf. on Software Engineering Research & Practice (SERP 2015), pages 3--9. WORLDCOMP'15, CSREA Press, USA, 2015.Google Scholar
- N. Shankar. Combining theorem proving and model checking through symbolic analysis. In CONCUR'00: Concurrency Theory, volume 1877 of Lecture Notes in Computer Science, pages 1--16. Springer, 2000. Google ScholarDigital Library
- N. Shankar. Symbolic analysis of transition systems. In Abstract State Machines: Theory and Applications (ASM 2000), volume 1912 of Lecture Notes in Computer Science, pages 287--302. Springer, 2000. Google ScholarDigital Library
- B. D. Theelen, O. Florescu, M. Geilen, J. Huang, P. van der Putten, and J. Voeten. Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In Proc. MEMOCODE'07, pages 139--148. IEEE, 2007. Google ScholarDigital Library
- L. van Bokhoven. Constructive tool design for formal languages; from semantics to executing models. Phd thesis, Eindhoven University of Technology, the Netherlands, 2004.Google Scholar
- Industrial Application of Domain Specific Languages Combined with Formal Techniques
Recommendations
Are there Domain Specific Languages?
RWDSL '16: Proceedings of the 1st International Workshop on Real World Domain Specific LanguagesTuring complete languages can express unbounded computations over unbounded structures, either directly or by a suitable encoding. In contrast, Domain Specific Languages (DSLs) are intended to simplify the expression of computations over structures in ...
Domain specific: a binary decision?
DSM '10: Proceedings of the 10th Workshop on Domain-Specific ModelingIt is often considered a binary decision whether something is domain specific or not. Consequently, there are domain specific languages (DSL) and general purpose languages (GPL), there are domain specific and non-domain specific modeling tools, there ...
Systematic and Formal Approach to get a Domain Specific Language
ITNG '09: Proceedings of the 2009 Sixth International Conference on Information Technology: New GenerationsThis paper presents a systematic approach applied over State Machine (since it is a wide know model and easy to be used to formal specification) to improve the domain analysis procedure, besides been out of scope of this paper, this approach can also ...
Comments