Automated verification of interactive rule-based configuration systems

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

doi:10.1109/ASE.2013.6693112

Automated verification of interactive rule-based configuration systems

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
Seiten	551 – 561
Seitenumfang	11
DOIs	https://doi.org/10.1109/ASE.2013.6693112
Publikationsstatus	Veröffentlicht - 15 Nov. 2013
Extern publiziert	Ja

Publikationsreihe

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

Forschungsfelder

Software Product Lines
Product Configuration

IMC Forschungsschwerpunkte

Software engineering and intelligent systems

ÖFOS 2012 - Österreichischen Systematik der Wissenschaftszweige

102031 Theoretische Informatik
102028 Knowledge Engineering

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

10.1109/ASE.2013.6693112

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Dhungana, D., Tang, C. H., Weidenbach, C., & Wischnewski, P. (2013). Automated verification of interactive rule-based configuration systems. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings (S. 551 – 561). Artikel 6693112 (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings). https://doi.org/10.1109/ASE.2013.6693112

@inproceedings{5e8e510e0577445f868baf6959e23203,

title = "Automated verification of interactive rule-based configuration systems",

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.",

keywords = "Computability and decidability, Specifications, Automated verification, Configuration system, Logical foundations, Operational behavior, Overall properties, Product-lines, Rule-based specification, Variability model, Software engineering",

author = "Deepak Dhungana and Tang, {Ching Hoo} and Christoph Weidenbach and Patrick Wischnewski",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2013",

month = nov,

day = "15",

doi = "10.1109/ASE.2013.6693112",

language = "English",

isbn = "9781479902156",

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

pages = "551 – 561",

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

}

Dhungana, D, Tang, CH, Weidenbach, C & Wischnewski, P 2013, Automated verification of interactive rule-based configuration systems. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings., 6693112, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings, S. 551 – 561. https://doi.org/10.1109/ASE.2013.6693112

Automated verification of interactive rule-based configuration systems. / Dhungana, Deepak; Tang, Ching Hoo; Weidenbach, Christoph et al.
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. 2013. S. 551 – 561 6693112 (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Automated verification of interactive rule-based configuration systems

AU - Dhungana, Deepak

AU - Tang, Ching Hoo

AU - Weidenbach, Christoph

AU - Wischnewski, Patrick

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2013/11/15

Y1 - 2013/11/15

N2 - 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.

AB - 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.

KW - Computability and decidability

KW - Specifications

KW - Automated verification

KW - Configuration system

KW - Logical foundations

KW - Operational behavior

KW - Overall properties

KW - Product-lines

KW - Rule-based specification

KW - Variability model

KW - Software engineering

UR - http://www.scopus.com/inward/record.url?scp=84893559434&partnerID=8YFLogxK

U2 - 10.1109/ASE.2013.6693112

DO - 10.1109/ASE.2013.6693112

M3 - Conference contribution

SN - 9781479902156

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

SP - 551

EP - 561

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

ER -

Dhungana D, Tang CH, Weidenbach C, Wischnewski P. Automated verification of interactive rule-based configuration systems. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. 2013. S. 551 – 561. 6693112. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings). doi: 10.1109/ASE.2013.6693112

Automated verification of interactive rule-based configuration systems

Abstract

Publikationsreihe

Forschungsfelder

IMC Forschungsschwerpunkte

ÖFOS 2012 - Österreichischen Systematik der Wissenschaftszweige

UN SDGs

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren