ABSTRACT
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.
- Jan A. Bergstra and J. V. Tucker. Expressiveness and the completeness of Hoare's logic. J. Comput. Syst. Sci., 25(3): 267--284, 1982.Google ScholarCross Ref
- Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 2001. Google ScholarDigital Library
- Patrick Blackburn, Johan F. A. K. van Benthem, and Frank Wolter. Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning). Elsevier Science Inc., 2006. Google ScholarDigital Library
- Julian Bradfield and Colin Stirling. Modal mu-Calculi, pages 721--756. In {3}, 2001.Google Scholar
- D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. In Proc. of GPCE, pages 13--22. ACM, 2010. Google ScholarDigital Library
- D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Accepted to MSCS special issue, 2012.Google Scholar
- M. J. Fischer and R. E. Landner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2): 194--211, 1979.Google ScholarCross Ref
- David Harel. Arithmetical completeness in logics of programs. In ICALP, pages 268--288, 1978. Google ScholarDigital Library
- M. Helvensteijn. Delta Modeling Workflow. In Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25--27 2012, ACM International Conference Proceedings Series. ACM, 2012. Google ScholarDigital Library
- M. Helvensteijn, R. Muschevici, and P. Y. H. Wong. Delta Modeling in Practice, a Fredhopper Case Study. In Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25--27 2012, ACM International Conference Proceedings Series. ACM, 2012. Google ScholarDigital Library
- Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, 1980. Google ScholarDigital Library
- K. Pohl, G. Bockle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005. Google ScholarDigital Library
- I. Schaefer. Variability Modelling for Model-Driven Development of Software Product Lines. In Intl. Workshop on Variability Modelling of Soft-ware-intensive Systems (VaMoS 2010), 2010.Google Scholar
- I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, volume 6287 of LNCS, pages 77--91. Springer, 2010. Google ScholarDigital Library
- I. Schaefer, A. Worret, and A. Poetzsch-Heffter. A Model-Based Framework for Automated Product Derivation. In Proc. of Workshop in Model-based Approaches for Product Line Engineering (MAPLE 2009), 2009.Google Scholar
- P. Schobbens, P. Heymans, and J. Trigaux. Feature diagrams: A survey and a formal semantics. Requirements Engineering, IEEE International Conference on, 0: 139--148, 2006. Google ScholarDigital Library
Index Terms
- A modal logic for abstract delta modeling
Recommendations
Higher-order delta modeling for software product line evolution
FOSD 2016: Proceedings of the 7th International Workshop on Feature-Oriented Software DevelopmentIn software product lines (SPL), i.e., a family of similar software systems sharing common and variable artifacts, modeling evolution and reasoning about it is challenging, as not only a single system, but rather a set of system variants as well as ...
A modal logic internalizing normal proofs
In the proof-theoretic study of logic, the notion of normal proof has been understood and investigated as a metalogical property. Usually we formulate a system of logic, identify a class of proofs as normal proofs, and show that every proof in the ...
Abstract delta modeling: my research plan
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2Software product lines are sets of software programs with well defined commonalities and variabilities that are distinguished by which features they support. There is need of a way to organize the underlying code to clearly link features on the feature ...
Comments