Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process

Jaime Alberto Chavarriaga Lozano; Carlos Francisco Noguera Garcia; Rubby Casallas; Viviane Jonckers

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process

Jaime Alberto Chavarriaga Lozano, Carlos Francisco Noguera Garcia, Rubby Casallas, Viviane Jonckers

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

7 Citations (Scopus)

Abstract

In configuration processes with multiple stakeholders, con- flicts are very likely because each decision maker has a different concerns and expectations about the product. They may not be aware of features selected by others or the restrictions that these selections impose. To help solve the conflicts, this paper introduces a new approach to provide explanations about their causes. Our approach is based on representing features from different concerns using different Feature Models (FMs), and relating them through Feature-Solution Graphs. An FSG contains dependency relationships between two FMs: one feature from the left side forces or prohibits the selection of features in the right side feature model. The strategy to detect and explain conflicts is based on propaga- tion of constraints over the FSGs. We claim that our approach is more expressive and efficient than when using a single FM that contains all concerns and SAT solvers to detect conflicts.

Original language	English
Title of host publication	Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014
Editors	J. Dingel, W. Schulte, I. Ramos, S. Abrahao, E Insfran
Publisher	Springer
Pages	337-352
Number of pages	16
ISBN (Electronic)	978-3-319-11653-2
ISBN (Print)	978-3-319-11652-5
Publication status	Published - 4 Oct 2014
Event	17th International Conference, MODELS 2014 - Valencia, Spain Duration: 28 Sept 2014 → 3 Oct 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8767
ISSN (Print)	0302-9743

Conference

Conference	17th International Conference, MODELS 2014
Country/Territory	Spain
City	Valencia
Period	28/09/14 → 3/10/14

Bibliographical note

Dingel, J., Schulte, W., Ramos, I., Abrahao, S., Insfran, E

Keywords

Multi-level configuration processes
Feature Models
Feature-Solution Graphs
Conflict explanation

Handle.net

Persistent link

Cite this

Chavarriaga Lozano, J. A., Noguera Garcia, C. F., Casallas, R., & Jonckers, V. (2014). Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. In J. Dingel, W. Schulte, I. Ramos, S. Abrahao, & E. Insfran (Eds.), Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014 (pp. 337-352). (Lecture Notes in Computer Science; Vol. 8767). Springer.

Chavarriaga Lozano, Jaime Alberto ; Noguera Garcia, Carlos Francisco ; Casallas, Rubby et al. / Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014. editor / J. Dingel ; W. Schulte ; I. Ramos ; S. Abrahao ; E Insfran. Springer, 2014. pp. 337-352 (Lecture Notes in Computer Science).

@inproceedings{fedc4a3e5b4f42f78721269f5fa323c6,

title = "Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process",

abstract = "In configuration processes with multiple stakeholders, con- flicts are very likely because each decision maker has a different concerns and expectations about the product. They may not be aware of features selected by others or the restrictions that these selections impose. To help solve the conflicts, this paper introduces a new approach to provide explanations about their causes. Our approach is based on representing features from different concerns using different Feature Models (FMs), and relating them through Feature-Solution Graphs. An FSG contains dependency relationships between two FMs: one feature from the left side forces or prohibits the selection of features in the right side feature model. The strategy to detect and explain conflicts is based on propaga- tion of constraints over the FSGs. We claim that our approach is more expressive and efficient than when using a single FM that contains all concerns and SAT solvers to detect conflicts.",

keywords = "Multi-level configuration processes, Feature Models, Feature-Solution Graphs, Conflict explanation",

author = "{Chavarriaga Lozano}, {Jaime Alberto} and {Noguera Garcia}, {Carlos Francisco} and Rubby Casallas and Viviane Jonckers",

note = "Dingel, J., Schulte, W., Ramos, I., Abrahao, S., Insfran, E; 17th International Conference, MODELS 2014 ; Conference date: 28-09-2014 Through 03-10-2014",

year = "2014",

month = oct,

day = "4",

language = "English",

isbn = "978-3-319-11652-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "337--352",

editor = "J. Dingel and W. Schulte and I. Ramos and S. Abrahao and E Insfran",

booktitle = "Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014",

}

Chavarriaga Lozano, JA, Noguera Garcia, CF, Casallas, R & Jonckers, V 2014, Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. in J Dingel, W Schulte, I Ramos, S Abrahao & E Insfran (eds), Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014. Lecture Notes in Computer Science, vol. 8767, Springer, pp. 337-352, 17th International Conference, MODELS 2014, Valencia, Spain, 28/09/14.

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. / Chavarriaga Lozano, Jaime Alberto; Noguera Garcia, Carlos Francisco; Casallas, Rubby et al.
Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014. ed. / J. Dingel; W. Schulte; I. Ramos; S. Abrahao; E Insfran. Springer, 2014. p. 337-352 (Lecture Notes in Computer Science; Vol. 8767).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - GEN

T1 - Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process

AU - Chavarriaga Lozano, Jaime Alberto

AU - Noguera Garcia, Carlos Francisco

AU - Casallas, Rubby

AU - Jonckers, Viviane

N1 - Dingel, J., Schulte, W., Ramos, I., Abrahao, S., Insfran, E

PY - 2014/10/4

Y1 - 2014/10/4

N2 - In configuration processes with multiple stakeholders, con- flicts are very likely because each decision maker has a different concerns and expectations about the product. They may not be aware of features selected by others or the restrictions that these selections impose. To help solve the conflicts, this paper introduces a new approach to provide explanations about their causes. Our approach is based on representing features from different concerns using different Feature Models (FMs), and relating them through Feature-Solution Graphs. An FSG contains dependency relationships between two FMs: one feature from the left side forces or prohibits the selection of features in the right side feature model. The strategy to detect and explain conflicts is based on propaga- tion of constraints over the FSGs. We claim that our approach is more expressive and efficient than when using a single FM that contains all concerns and SAT solvers to detect conflicts.

AB - In configuration processes with multiple stakeholders, con- flicts are very likely because each decision maker has a different concerns and expectations about the product. They may not be aware of features selected by others or the restrictions that these selections impose. To help solve the conflicts, this paper introduces a new approach to provide explanations about their causes. Our approach is based on representing features from different concerns using different Feature Models (FMs), and relating them through Feature-Solution Graphs. An FSG contains dependency relationships between two FMs: one feature from the left side forces or prohibits the selection of features in the right side feature model. The strategy to detect and explain conflicts is based on propaga- tion of constraints over the FSGs. We claim that our approach is more expressive and efficient than when using a single FM that contains all concerns and SAT solvers to detect conflicts.

KW - Multi-level configuration processes

KW - Feature Models

KW - Feature-Solution Graphs

KW - Conflict explanation

M3 - Conference paper

SN - 978-3-319-11652-5

T3 - Lecture Notes in Computer Science

SP - 337

EP - 352

BT - Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014

A2 - Dingel, J.

A2 - Schulte, W.

A2 - Ramos, I.

A2 - Abrahao, S.

A2 - Insfran, E

PB - Springer

T2 - 17th International Conference, MODELS 2014

Y2 - 28 September 2014 through 3 October 2014

ER -

Chavarriaga Lozano JA, Noguera Garcia CF, Casallas R, Jonckers V. Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. In Dingel J, Schulte W, Ramos I, Abrahao S, Insfran E, editors, Model-Driven Engineering Languages and Systems-Proceedings of the 17th International Conference, MODELS 2014. Springer. 2014. p. 337-352. (Lecture Notes in Computer Science).

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process

Abstract

Publication series

Conference

Bibliographical note

Keywords

Handle.net

Fingerprint

Cite this