A Modal Logic for Abstract Delta Modeling
Presented at the Software Product Line Conferences, Salvador, Brazil
Abstract Delta Modeling is a technique for implementing (software) product lines. Deltas are put in a partial order which restricts their application and are then sequentially applied to a core product in order to form specific products in the product line. In this paper we explore the semantics of deltas in more detail. We regard them as relations between products and introduce a multi-modal logic that may be used for reasoning about their effects. Our main innovation is a modality for partially ordered sets of deltas. We prove strong completeness results on both the frame level and the model level and demonstrate the logic through an example.
|Keywords||modal logic, delta modelling, abstract delta modelling|
|THEME||Software (theme 1)|
|Project||Highly Adaptable and Trustworthy Software using Forma Methods|
|Conference||Software Product Line Conferences|
de Boer, F.S, Helvensteijn, M, & Winter, J. (2012). A Modal Logic for Abstract Delta Modeling. In Proceedings of the 16th International Software Product Line Conference - Volume 2 (pp. 45–52). ACM.