Automated Analysis of Conflicts in Software Product Lines.
Enrique Martínez, Gerardo Schneider · 2010
Abstract—In this paper we propose a framework where the behaviour of features can be modelled using a visual model language for contracts (C-O Diagrams). We present a partial translation from C-O Diagrams into the deontic contract language CL allowing to detect whether there are contradicting features, using the tool CLAN. We aim at handling conflicts arising from software evolution and variability. As a proof of concept we apply our technique to a trading system case study. Keywords-contracts; software product lines; deontic logic; conflict detection I.