Cited By
View all- Helvensteijn M(2012)Abstract delta modelingProceedings of the 16th International Software Product Line Conference - Volume 210.1145/2364412.2364449(217-224)Online publication date: 2-Sep-2012
A modal logic for abstract delta modeling
Pages 45 - 52
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.
References
[1]
Jan A. Bergstra and J. V. Tucker. Expressiveness and the completeness of Hoare's logic. J. Comput. Syst. Sci., 25(3): 267--284, 1982.
[2]
Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 2001.
[3]
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.
[4]
Julian Bradfield and Colin Stirling. Modal mu-Calculi, pages 721--756. In {3}, 2001.
[5]
D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. In Proc. of GPCE, pages 13--22. ACM, 2010.
[6]
D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Accepted to MSCS special issue, 2012.
[7]
M. J. Fischer and R. E. Landner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2): 194--211, 1979.
[8]
David Harel. Arithmetical completeness in logics of programs. In ICALP, pages 268--288, 1978.
[9]
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.
[10]
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.
[11]
Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, 1980.
[12]
K. Pohl, G. Bockle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.
[13]
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.
[14]
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.
[15]
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.
[16]
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.
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
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2012
287 pages
ISBN:9781450310956
DOI:10.1145/2364412
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- Pure-Systems: Pure-Systems GmbH
- Petrobras: Petróleo Brasileiro S/A
- SEBRAE: Serviço Brasileiro de Apoio às Micro E Pequenas Empresas
- FAPESB: Fundação de Amparo à Pesquisa do Estado da Bahia
- Hitachi
- INES: National Institute of Science and Technology for Software Engineering
- IEEE: Institute of Electrical and Electronics Engineers
- Software Eng Inst: Software Engineering Institute
- Biglever: BigLever Software, Inc.
- CAPES: Brazilian Higher Education Funding Council
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 02 September 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
SPLC - Vol. II
Sponsor:
- Pure-Systems
- Petrobras
- SEBRAE
- FAPESB
- INES
- IEEE
- Software Eng Inst
- Biglever
- CAPES
SPLC - Vol. II: 16th International Software Product Line Conference
September 2 - 7, 2012
Salvador, Brazil
Acceptance Rates
Overall Acceptance Rate 167 of 463 submissions, 36%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 75Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Sep 2024
Other Metrics
Citations
Cited By
View all- Helvensteijn M(2012)Abstract delta modelingProceedings of the 16th International Software Product Line Conference - Volume 210.1145/2364412.2364449(217-224)Online publication date: 2-Sep-2012
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in