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.
Additional Metadata
Keywords modal logic, delta modelling, abstract delta modelling
THEME Software (theme 1)
Publisher ACM
Project Highly Adaptable and Trustworthy Software using Forma Methods
Conference Software Product Line Conferences
Citation
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.