Tue 27 Oct 2015 14:30 - 15:00 at Grand Station 2 - Model Execution and Verification Chair(s): Davide Di Ruscio

Software Product Line Engineering has introduced feature modeling as a domain analysis technique used to represent the variability of software products and decision-making scenarios. We present a model-based transformation approach to solve conflicts among configurations performed by different stakeholders on feature models. We propose the usage of a domain-specific language named CoCo to specify attributes as non-functional properties of features, and to describe business-related decision rules in terms of costs, time, and human resources. These specifications along with the stakeholders' configurations and the feature model are transformed into a constraint programming problem, on which decision rules are executed to find a non-conflicting set of solution configurations that are aligned to business objectives. We evaluate CoCo's compositionality and model complexity simplification while using a set of motivating decision scenarios.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent Latombe University of Toulouse, France, Xavier Crégut University of Toulouse, France, Benoit Combemale INRIA, France, Julien DeAntoni , Marc Pantel University of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan Bousse IRISA, France, Jonathan Corley University of Alabama, USA, Benoit Combemale INRIA, France, Jeff Gray University of Alabama, USA, Benoit Baudry INRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina Ochoa University of Los Andes, Colombia, Oscar González-Rojas University of Los Andes, Colombia, Thomas Thüm TU Braunschweig, Germany
DOI