English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Automated Verification of Interactive Rule-based Configuration Systems

Dhungana, D., Tang, C. H., Weidenbach, C., & Wischnewski, P. (2013). Automated Verification of Interactive Rule-based Configuration Systems. In E. Denney, T. Bultan, & A. Zeller (Eds.), 28th IEEE/ACM International Conference on Automated Software Engineering (pp. 551-561). Piscataway, NJ: IEEE. doi:10.1109/ASE.2013.6693112.

Item is

Files

show Files
hide Files
:
paper.pdf (Any fulltext), 466KB
 
File Permalink:
-
Name:
paper.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Dhungana, Deepak1, Author
Tang, Ching Hoo2, Author           
Weidenbach, Christoph2, Author           
Wischnewski, Patrick1, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2013-112013
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: Other: Local-ID: 977B59458D5362E2C1257C6900520065-Dhungana2013
DOI: 10.1109/ASE.2013.6693112
BibTex Citekey: Dhungana2013
 Degree: -

Event

show
hide
Title: 28th IEEE/ACM International Conference on Automated Software Engineering
Place of Event: Palo Alto, CA, USA
Start-/End Date: 2013-11-11 - 2013-11-15

Legal Case

show

Project information

show

Source 1

show
hide
Title: 28th IEEE/ACM International Conference on Automated Software Engineering
  Abbreviation : ASE 2013
Source Genre: Proceedings
 Creator(s):
Denney, Ewen1, Editor
Bultan, Tevfik1, Editor
Zeller, Andreas1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Piscataway, NJ : IEEE
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 551 - 561 Identifier: ISBN: 978-1-4799-0215-6