Abstract
This paper studies the notion of conflict for a variant of Delta-Oriented Programming (DOP) without features, separating out the notions of hard and soft conflict. Specifically, we define a language for this subset of DOP and give a precise, formal definitions of these notions. We then define a type system based on row-polymorphism that ensures that the computation of a well-typed product will always succeed and has an unambiguous result.
This research is partly funded by the EU project FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Models ( http://www.hats-project.eu ).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Apel, S., Kästner, C., Größlinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3), 251–300 (2010)
Apel, S., Kästner, C., Lengauer, C.: Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement. In: Smaragdakis, Y., Siek, J.G. (eds.) GPCE, pp. 101–112. ACM (2008)
Apel, S., Scholz, W., Lengauer, C., Kästner, C.: Language-independent reference checking in software product lines. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010, pp. 65–71. ACM, New York (2010)
Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 13–22. ACM, New York (2010)
Clarke, D., Muschevici, R., Proença, J., Schaefer, I., Schlatte, R.: Variability Modelling in the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 204–224. Springer, Heidelberg (2011)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)
Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422–437. Springer, Heidelberg (2005)
Delaware, B., Cook, W.R., Batory, D.S.: Fitting the pieces together: a machine-checked model of safe composition. In: van Vliet, H., Issarny, V. (eds.) ESEC/SIGSOFT FSE, pp. 243–252. ACM (2009)
Douence, R., Fradet, P., Südholt, M.: A Framework for the Detection and Resolution of Aspect Interactions. In: Batory, D.S., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol. 2487, pp. 173–188. Springer, Heidelberg (2002)
Heidenreich, F.: Towards systematic ensuring well-formedness of software product lines. In: Proceedings of the 1st Workshop on Feature-Oriented Software Development, pp. 69–74. ACM, New York (2009)
Kästner, C., Apel, S.: Type-checking software product lines - a formal approach. In: ASE, pp. 258–267. IEEE (2008)
Kästner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.: Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol. 33, pp. 175–194. Springer, Heidelberg (2009)
Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Clifton, C. (ed.) FOAL, pp. 29–38. ACM (2008)
Kuhlemann, M., Batory, D., Kästner, C.: Safe composition of non-monotonic features. In: Siek, J.G., Fischer, B. (eds.) GPCE, pp. 177–186. ACM (2009)
Lienhardt, M., Clarke, D.: Conflict detection in delta-oriented programming. Technical report, University of Bologna (2012), http://proton.inrialpes.fr/~mlienhar/reports/2012-Conflict-Detection.pdf
Lienhardt, M., Clarke, D.: Row types for delta-oriented programming. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2012, pp. 121–128. ACM, New York (2012)
Lienhardt, M., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Typing Component-Based Communication Systems. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 167–181. Springer, Heidelberg (2009)
Padmanabhan, P., Lutz, R.R.: Tool-supported verification of product line requirements. Autom. Softw. Eng. 12(4), 447–465 (2005)
Rémy, D.: Type inference for records in natural extension of ML, pp. 67–95. MIT Press, Cambridge (1994)
Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: Proceedings of the Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011, pp. 43–56. ACM, New York (2011)
Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-Oriented Programming of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010)
Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010, pp. 49–56. ACM, New York (2010)
Thaker, S., Batory, D., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: Consel, C., Lawall, J.L. (eds.) GPCE, pp. 95–104. ACM (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lienhardt, M., Clarke, D. (2012). Conflict Detection in Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)