research-article

Extending dynamic software product lines with temporal constraints

Authors:

Walter Rudametkin,

Laurence DuchienAuthors Info & Claims

SEAMS '17: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Pages 129 - 139

https://doi.org/10.1109/SEAMS.2017.6

Published: 20 May 2017 Publication History

Abstract

Due to the number of cloud providers, as well as the extensive collection of services, cloud computing provides very flexible environments, where resources and services can be provisioned and released on demand. However, reconfiguration and adaptation mechanisms in cloud environments are very heterogeneous and often exhibit complex constraints. For example, when reconfiguring a cloud system, a set of available services may be dependent on previous choices, or there may be alternative ways of adapting the system, with different impacts on performance, costs or reconfiguration time.

Cloud computing systems exhibit high levels of variability, making dynamic software product lines (DSPLs) a promising approach for managing them. However, in DSPL approaches, verification is often limited to verifying conformance to a variability model, but this is insufficient to verify complex reconfiguration constraints that exist in cloud computing systems.

In this paper, we propose the use of temporal constraints and reconfiguration operations to model a DSPL's reconfiguration lifecycle. We demonstrate how these concepts can be used to model the variability of cloud systems, and we use our approach to identify reconfigurations that meet given criteria.

References

[1]

P. Mell and T. Grance, "The NIST definition of cloud computing," Computer Security Division, Information Technology Laboratory, National Institute of Standards and Technology, Tech. Rep., 2011.

Digital Library

[2]

C. Quinton, D. Romero, and L. Duchien, "SALOON: a platform for selecting and configuring cloud environments," Software: Practice and Experience, vol. 46, no. 1, pp. 55--78, 2016.

Digital Library

[3]

G. Sousa, W. Rudametkin, and L. Duchien, "Automated Setup of Multi-cloud Environments for Microservices Applications," in Proc. 9th IEEE Int. Conf. Cloud Computing (CLOUD'16), San Francisco, CA, USA, Jun. 2016, pp. 327--334.

[4]

J. García-Galán, P. Trinidad, O. F. Rana, and A. Ruiz-Cortés, "Automated configuration support for infrastructure migration to the cloud," Future Generation Computer Systems, vol. 55, pp. 200 -- 212, 2016.

Digital Library

[5]

A. Ferreira Leite, V. Alves, G. Nunes Rodrigues, C. Tadonki, C. Eisenbeis, and A. Magalhaes Alves de Melo, "Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method," in Proc. 8th IEEE Int. Conf. Cloud Computing (CLOUD'15), New York, United States, Jun. 2015, pp. 726--733.

Digital Library

[6]

B. Morin, O. Barais, J. M. Jezequel, F. Fleurey, and A. Solberg, "[email protected] to support dynamic adaptation," Computer, vol. 42, no. 10, pp. 44--51, Oct 2009.

Digital Library

[7]

A. Hubaux and P. Heymans, "On the evaluation and improvement of feature-based configuration techniques in software product lines," in Proc. 31st Int. Conf. Software Engineering (ICSE'09), Vancouver, Canada, May 2009, pp. 367--370.

[8]

S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid, "Dynamic Software Product Lines," COMPUTER, vol. 41, no. 4, pp. 93--95, 2008.

Digital Library

[9]

D. Benavides, S. Segura, and A. Ruiz-Cortés, "Automated analysis of feature models 20 years later: A literature review," Information Systems, vol. 35, no. 6, pp. 615--636, 2010.

Digital Library

[10]

J. Mauro, M. Nieke, C. Seidl, and I. C. Yu, "Context Aware Reconfiguration in Software Product Lines," in Proc. 10th Int. Workshop Variability Modelling of Software-intensive Systems (VaMoS'16), Salvador, Brazil, 2016, pp. 41--48.

Digital Library

[11]

J. Lee and K. C. Kang, "A feature-oriented approach to developing dynamically reconfigurable products in product line engineering," in Proc. 10th Int. Software Product Line Conf. (SPLC'06), Baltimore, MD, USA, Aug. 2006, pp. 131--140.

Digital Library

[12]

R. Capilla and J. Bosch, "Binding Time and Evolution," in Systems and Software Variability Management: Concepts, Tools and Experiences, R. Capilla, J. Bosch, and K.-C. Kang, Eds. Berlin, Germany: Springer Berlin Heidelberg, 2013, pp. 57--73.

[13]

J. Bürdek, S. Lity, M. Lochau, M. Berens, U. Goltz, and A. Schürr, "Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints," in Proc. 8th Int. Workshop Variability Modelling of Software-intensive Systems (VaMoS'14), Sophia Antipolis, France, Jan. 2013, paper 16.

Digital Library

[14]

K. Mens, R. Capilla, N. Cardozo, and B. Dumas, "A Taxonomy of Context-aware Software Variability Approaches," in Proc. 15th Int. Conf. Modularity (Modularity'16), Málaga, Spain, Mar. 2016, pp. 119--124.

Digital Library

[15]

R. Capilla, Ó. Ortiz, and M. Hinchey, "Context variability for context-aware systems," Computer, vol. 47, no. 2, pp. 85--87, Feb 2014.

Digital Library

[16]

R. Capilla, M. Hinchey, and F. J. Díaz, "Collaborative Context Features for Critical Systems," in Proc. 9th Int. Workshop Variability Modelling of Software-intensive Systems (VaMoS'15), Hildesheim, Germany, Jan. 2015, pp. 43--50.

Digital Library

[17]

C. Cetina, P. Giner, J. Fons, and V. Pelechano, "Autonomic computing through reuse of variability models at runtime: The case of smart homes," Computer, vol. 42, no. 10, pp. 37--43, Oct 2009.

Digital Library

[18]

K. Saller, M. Lochau, and I. Reimund, "Context-aware DSPLs: Model-based Runtime Adaptation for Resource-constrained Systems," in Proc. 17th Int. Software Product Line Conf. (SPLC'13) Co-located Workshops, Tokyo, Japan, Aug. 2013, pp. 106--113.

Digital Library

[19]

C. Baier and J.-P. Katoen, Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008.

Digital Library

[20]

K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms. Springer-Verlag Berlin Heidelberg, 2004.

Digital Library

[21]

Z. Manna and A. Pnueli, "A Hierarchy of Temporal Properties (Invited Paper, 1989)," in Proc. 9th Annu. ACM Symp. Principles of Distributed Computing (PODC'90), Quebec City, Canada, Aug. 1990, pp. 377--410.

Digital Library

[22]

M. H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, "An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications," in Proc. 12th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany, Jul. 2008, pp. 133--148.

Digital Library

[23]

S. Chaki, E. M. Clarke, J. Ouaknine, N. Sharygina, and N. Sinha, "State/Event-Based Software Model Checking," in Proc. 4th Int. Conf. Integrated Formal Methods (IFM'04), Canterbury, UK, Apr. 2004, pp. 128--147.

[24]

C. Pecheur and F. Raimondi, "Symbolic Model Checking of Logics with Actions," in Proc. 4th Workshop Model Checking and Artificial Intelligence (MoChArt), Riva del Garda, Italy, Aug. 2006, pp. 113--128.

Digital Library

[25]

D. Batory, "Feature Models, Grammars, and Propositional Formulas," in Proc. 9th Int. Conf. Software Product Lines (SPLC'05), Rennes, France, Sep. 2005, pp. 7--20.

Digital Library

[26]

E. M. Clarke, O. Grumberg, and K. Hamaguchi, "Another Look at LTL Model Checking," Formal Methods in System Design, vol. 10, no. 1, pp. 47--71, 1997.

Digital Library

[27]

A. Cimatti, M. Pistore, M. Roveri, and R. Sebastiani, "Improving the Encoding of LTL Model Checking into SAT," in Proc. 3rd Int. Workshop Model Checking and Abstract Interpretation (VMCAI'02), Venice, Italy, Jan. 2002, pp. 196--207.

Digital Library

[28]

T. Philipp and P. Steinke, "PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF," in Proc. 18th Int. Conf. Theory and Applications of Satisfiability Testing (SAT'15), Austin, TX, USA, Sep. 2015, pp. 9--16.

[29]

E. Boros and P. L. Hammer, "Pseudo-boolean optimization," Discrete applied mathematics, vol. 123, no. 1, pp. 155--225, 2002.

Digital Library

[30]

A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin, "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines," in Proc. 32nd ACM/IEEE Int. Conf. Software Engineering (ICSE'10), vol. 1, Cape Town, South Africa, May 2010, pp. 335--344.

Digital Library

[31]

A. Legay, P.-Y. Schobbens, P. Heymans, M. Cordy, J.-F. Raskin, and A. Classen, "Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking," IEEE Trans. Software Engineering, vol. 39, no. 8, pp. 1069--1089, 2013.

Digital Library

[32]

C. Cetina, P. Giner, J. Fons, and V. Pelechano, "Using Feature Models for Developing Self-Configuring Smart Homes," in Proc. 5th Int. Conf. Autonomic and Autonomous Systems (ICAC'09), Valencia, Spain, Apr. 2009, pp. 179--188.

Digital Library

[33]

N. Bencomo, P. Grace, C. Flores, D. Hughes, and G. Blair, "Genie: Supporting the Model Driven Development of Reflective, Component-based Adaptive Systems," in Proc. 30th Int. Conf. Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 811--814.

Digital Library

[34]

N. Aguirre and T. Maibaum, "A temporal logic approach to the specification of reconfigurable component-based systems," in Proc. 17th IEEE Int. Conf. Automated Software Engineering (ASE'02), Edinburgh, UK, Sep. 2002, pp. 271--274.

Digital Library

[35]

A. Almeida, E. Cavalcante, T. Batista, N. Cacho, F. Lopes, F. C. Delicato, and P. F. Pires, "Dynamic Adaptation of Cloud Computing Applications," in Proc. 25th Int. Conf. Software Engineering and Knowledge Engineering (SEKE'13), Boston, MA, USA, Jun. 2013, pp. 67--72.

[36]

A. Metzger, A. Bayer, D. Doyle, A. M. Sharifloo, K. Pohl, and F. Wessling, "Coordinated Run-time Adaptation of Variability-intensive Systems: An Application in Cloud Computing," in Proc. 1st Int. Workshop Variability and Complexity in Software Design (VACE'16), Austin, Texas, May 2016, pp. 5--11.

Digital Library

[37]

L. Baresi and C. Quinton, "Dynamically Evolving the Structural Variability of Dynamic Software Product Lines," in Proc. 10th Int. Symp. Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15), Florence, Italy, May 2015, pp. 57--63.

Digital Library

Cited By

Amorim JRocha EMinardi LAlves Vde Freitas ECastro TAmrani MOrtiz JSchobbens PPerrouin G(2023)Providing command and control agilityExpert Systems with Applications: An International Journal10.1016/j.eswa.2022.119473216:COnline publication date: 15-Apr-2023
https://dl.acm.org/doi/10.1016/j.eswa.2022.119473
Göttmann HCaesar BBeers LLochau MSchürr AFay ASyriani ESahraoui H(2022)Precomputing reconfiguration strategies based on stochastic timed game automataProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552397(31-42)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552397
Göttmann HBacher IGottwald NLochau M(2021)Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL SpecificationsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442409(1-9)Online publication date: 9-Feb-2021
https://dl.acm.org/doi/10.1145/3442391.3442409
Show More Cited By

Extending dynamic software product lines with temporal constraints
1. Software and its engineering
  1. Software organization and properties
    1. Software functional properties
      1. Formal methods
2. Theory of computation
  1. Logic

Recommendations

Towards Software Product Lines Based Cloud Architectures
IC2E '14: Proceedings of the 2014 IEEE International Conference on Cloud Engineering

Cloud computing has emerged as a model for utility computing that promotes on-demand scalability, flexible application deployment and reuse. Software product lines (SPL) promote reusable application development for product families. As any computing ...
Context Aware Reconfiguration in Software Product Lines
VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems

Software Product Lines (SPLs) are a mechanism for large-scale reuse where families of related software systems are represented in terms of commonalities and variabilities, e.g., using Feature Models (FMs). While FMs define all possible configurations of ...
A formal foundation for dynamic delta-oriented software product lines
GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules encapsulating changes to object-oriented programs) and a product line declaration (...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SEAMS '17: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

May 2017

227 pages

ISBN:9781538615508

General Chair:
David Garlan
Carnegie Mellon University
,
Program Chair:
Bashar Nuseibeh
The Open University, and Lero

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society
SADIO: SADIO

Publisher

IEEE Press

Publication History

Published: 20 May 2017

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '17

Sponsor:

SIGSOFT
IEEE-CS
SADIO

ICSE '17: 39th International Conference on Software Engineering

May 20 - 28, 2017

Buenos Aires, Argentina

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
68
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Amorim JRocha EMinardi LAlves Vde Freitas ECastro TAmrani MOrtiz JSchobbens PPerrouin G(2023)Providing command and control agilityExpert Systems with Applications: An International Journal10.1016/j.eswa.2022.119473216:COnline publication date: 15-Apr-2023
https://dl.acm.org/doi/10.1016/j.eswa.2022.119473
Göttmann HCaesar BBeers LLochau MSchürr AFay ASyriani ESahraoui H(2022)Precomputing reconfiguration strategies based on stochastic timed game automataProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552397(31-42)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552397
Göttmann HBacher IGottwald NLochau M(2021)Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL SpecificationsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442409(1-9)Online publication date: 9-Feb-2021
https://dl.acm.org/doi/10.1145/3442391.3442409
Göttmann HLuthmann LLochau MSchürr ALopez-Herrejon R(2020)Real-time-aware reconfiguration decisions for dynamic software product linesProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414945(1-11)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414945
Weckesser MKluge RPfannemüller MMatthé MSchürr ABecker C(2018)Optimal reconfiguration of dynamic software product lines based on performance-influence modelsProceedings of the 22nd International Systems and Software Product Line Conference - Volume 110.1145/3233027.3233030(98-109)Online publication date: 10-Sep-2018
https://dl.acm.org/doi/10.1145/3233027.3233030

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents