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.
Description
IEEE Xplore Abstract - MONACO — A domain-specific language supporting hierarchical abstraction and verification of r...
%0 Conference Paper
%1 5549622
%A Prähofer, Herbert
%A Hurnaus, Dominik
%B Industrial Informatics (INDIN), 2010 8th IEEE International Conference on
%D 2010
%K ControlSoftware DSL
%P 908-914
%R 10.1109/INDIN.2010.5549622
%T MONACO -- A Domain-Specific Language Supporting Hierarchical Abstraction and Verification of Reactive Control Programs
%X 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.
@inproceedings{5549622,
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.},
added-at = {2015-02-24T13:38:27.000+0100},
author = {Pr\"ahofer, Herbert and Hurnaus, Dominik},
biburl = {https://www.bibsonomy.org/bibtex/223ef3dc49416620638b865f55ccec67e/gron},
booktitle = {Industrial Informatics (INDIN), 2010 8th IEEE International Conference on},
description = {IEEE Xplore Abstract - MONACO — A domain-specific language supporting hierarchical abstraction and verification of r...},
doi = {10.1109/INDIN.2010.5549622},
interhash = {7023344fcea4a71eaf236cec79c5363b},
intrahash = {23ef3dc49416620638b865f55ccec67e},
keywords = {ControlSoftware DSL},
month = {July},
pages = {908-914},
timestamp = {2015-02-24T13:38:27.000+0100},
title = {MONACO -- A Domain-Specific Language Supporting Hierarchical Abstraction and Verification of Reactive Control Programs},
year = 2010
}