Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some applications this approach is infeasible because the grounding of one or few constraints is expensive. In this paper, we systematically compare alternative strategies to avoid the instantiation of problematic constraints, that are based on custom extensions of the solver. Results on real and synthetic benchmarks highlight some strengths and weaknesses of the different strategies. (Under consideration for acceptance in TPLP, ICLP 2017 Special Issue.)Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 page

Towards Intelligent Support for Managing Evolution of Configurable Software Product Families

Software product families are a means for increasing the efficiency of software development. We propose a conceptualisation for modelling the evolution and variability of configurable software product families. We describe a first prototype of an intelligent tool that allows modelling a software product family on the basis of the conceptualisation and supports the user in interactively producing correct configurations with respect to the model. The implementation is based on an existing general purpose configurator and thus is not application domain specific. We use the Debian Familiar Linux package configuration task over many releases and package versions as an example. Preliminary results show that the conceptualisation can be used to model evolution of such a software product family relatively easily and the implementation performs acceptably

Supporting Configuration Modeling in an Evolving Software Component Environment

Tämän diplomityön tavoitteena on ratkaista joukko ohjelmistotuotteen konfigurointiin liittyviä ongelmia case-yrityksessä, Smartner Information Systems Oy:ssä. Tarkoituksena on löytää tapa, jolla tuotekonfigurointiin liittyvää tietoa voitaisiin ilmaista tavalla, joka toimisi ratkaisuna ongelmille. Case-yrityksen ongelmakenttä kuvataan skenaarioiden avulla, jotka kuvaavat miten ongelmat esiintyvät. Jokaisella skenaariolla on toimija tai toimijoita, jotka ovat yrityksen työntekijöitä, joiden päivittäiseen työhön ongelmat vaikuttavat. Näistä skenaarioista johdetaan joukko vaatimuksia, joiden pohjalta arvostellaan joukkoa olemassaolevia ohjelmistotuotekonfiguroinnin mallinnustekniikoita. Tuotekonfigurointitapojen arvioinnilla pyritään löytämään joukko hyviä toimintamalleja, joita voidaan käyttää case-yrityksen ongelmien ratkaisemiseksi. Nämä käytännöt yhdistetään 'ideaaliseksi' mallinnustekniikaksi case-yritystä varten. Työn seuraavassa vaiheessa 'ideaalinen' mallinnustekniikka toteutetaan siten, että skenaarioiden toimijat voivat käyttää toteutusta ongelmien ratkaisemiseksi. Lopuksi toteutusta arvioidaan skenaarioiden ja niistä johdettujen vaatimusten pohjalta