Automated verification of interactive rule-based configuration systems

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

Abstract

Rule-based specifications of systems have again become common in the context of product line variability modeling and configuration systems. In this paper, we define a logical foundation for rule-based specifications that has enough expressivity and operational behavior to be practically useful and at the same time enables decidability of important overall properties such as consistency or cycle-freeness. Our logic supports rule-based interactive user transitions as well as the definition of a domain theory via rule transitions. As a running example, we model DOPLER, a rule-based configuration system currently in use at Siemens.

OriginalspracheEnglisch
Titel2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
Seiten551 – 561
Seitenumfang11
DOIs
PublikationsstatusVeröffentlicht - 15 Nov. 2013
Extern publiziertJa

Publikationsreihe

Name2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

Fingerprint

Untersuchen Sie die Forschungsthemen von „Automated verification of interactive rule-based configuration systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren