How to Complete an Interactive Configuration Process?
| Title | How to Complete an Interactive Configuration Process? |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Janota, M., G. Botterweck, R. Grigore, and J. P. Marques-Silva |
| Conference Name | 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010) (LNCS 5901) |
| Date Published | January |
| Publisher | Springer |
| Conference Location | Spindleruv Mlyn, Czech Republic |
| Keywords | GCWA, generalised closed world assumption, product configuration |
| Abstract | When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application. |
| DOI | http://dx.doi.org/10.1007/978-3-642-11266-9\_44 |
