Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

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

dblp
dblp
dblp
dblp

Not MPG Author(s):

Dhungana, Deepak
Wischnewski, Patrick

Editor(s):

Denney, Ewen
Bultan, Tevfik
Zeller, Andreas

dblp
dblp
dblp

Not MPII Editor(s):

Denney, Ewen
Bultan, Tevfik
Zeller, Andreas

BibTeX cite key*:

Dhungana2013

Title, Booktitle

Title*:

Automated Verification of Interactive Rule-Based Configuration Systems


paper.pdf (465.76 KB)

Booktitle*:

2013 28th IEEE/ACM International Conference on Automated Software Engineering

Event, URLs

URL of the conference:

http://www.ase2013.org/

URL for downloading the paper:

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6693112

Event Address*:

Palo Alto, USA

Language:

English

Event Date*
(no longer used):


Organization:

Institute of Electrical and Electronics Engineers (IEEE) / Association for Computing Machinery (ACM)

Event Start Date:

11 November 2013

Event End Date:

15 November 2013

Publisher

Name*:

IEEE

URL:

http://www.ieee.org/

Address*:

New York

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:

November

Pages:

551-561

Year*:

2013

VG Wort Pages:


ISBN/ISSN:

978-1-4799-0215-6

Sequence Number:


DOI:

10.1109/ASE.2013.6693112



Note, Abstract, ©


(LaTeX) 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:

Verification, Configuration, Rule-based Systems

Copyright Message:

Copyright 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any
current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new
collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other
works.


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Dhungana2013,
AUTHOR = {Dhungana, Deepak and Tang, Ching Hoo and Weidenbach, Christoph and Wischnewski, Patrick},
EDITOR = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas},
TITLE = {Automated Verification of Interactive Rule-Based Configuration Systems},
BOOKTITLE = {2013 28th IEEE/ACM International Conference on Automated Software Engineering},
PUBLISHER = {IEEE},
YEAR = {2013},
ORGANIZATION = {Institute of Electrical and Electronics Engineers (IEEE) / Association for Computing Machinery (ACM)},
PAGES = {551--561},
ADDRESS = {Palo Alto, USA},
MONTH = {November},
ISBN = {978-1-4799-0215-6},
DOI = {10.1109/ASE.2013.6693112},
}


Entry last modified by Ching Hoo Tang, 03/26/2014
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/23/2014 03:55:40 PM
Revision
0.



Editor
Ching Hoo Tang



Edit Date
01/23/2014 03:55:40 PM



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
paper.pdf