Abstract
Domain-specific languages aim to present software in the notations of domain experts and allow a straightforward mapping of application concepts to software solutions. In this paper, we present a domain-specific language for programming reactive control programs. The language differs from other approaches mainly by its hierarchical component approach, in which lower-level components provide elementary operations and upper components rely on the operations of their subordinates to implement higher control tasks. Moreover, the hierarchical component approach is leveraged in a hierarchical verification technique in which component implementations are verified against dynamic contracts of their subcomponents. We present the principles of the verification technique and discuss how it can be applied in a multi-stage development process.
| Original language | English |
|---|---|
| Title of host publication | Industrial Informatics (INDIN), 2010 8th IEEE International Conference on Industrial Informatics |
| Publisher | IEEE Xplore |
| Pages | 908 - 914 |
| Number of pages | 6 |
| ISBN (Print) | 978-1-4244-7298-7 |
| Publication status | Published - Jul 2010 |
Fields of science
- 102 Computer Sciences
- 102009 Computer simulation
- 102011 Formal languages
- 102013 Human-computer interaction
- 102029 Practical computer science
- 102022 Software development
- 102024 Usability research
JKU Focus areas
- Computation in Informatics and Mathematics