A modal logic for abstract delta modeling
Frank S. de Boer, Michiel Helvensteijn, Joost de Winter · 2012
Abstract Delta Modeling is a technique for implementing (software) product lines. Deltas are placed 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 multimodal logic that may be used for reasoning about their effects. Our main innovation is a modality for partially ordered sets of deltas. We prove completeness results on both the frame level and the model level and demonstrate the logic through an example.