skip to main content
10.1145/2637066.2637071acmconferencesArticle/Chapter ViewAbstractPublication PagesecoopConference Proceedingsconference-collections
tutorial

Run-time Validation of Behavioral Adaptations

Published: 28 July 2014 Publication History

Abstract

Context-oriented programming enables the composition of behavioral adaptations into a running software system. Behavioral adaptations provide the most appropriate behavior of a system when their contexts are activated or deactivated, according to the situations at hand in the system's execution environment. Behavioral adaptations can be defined by third-party vendors or even be acquired at run time. As the systems grows in complexity it becomes increasingly difficult to reason about every possible runtime adaptation. Therefore, behavioral adaptations that lead to erroneous states or compromise the system's security might be difficult to detect statically. To prevent such undesired behavioral adaptations from happening, we introduce a run-time correctness verification approach. Our approach uses a symbolic execution engine to reason about the reachable states of the system, whenever contexts are activated or deactivated. Context activation and deactivation requests are allowed depending on the presence of erroneous states within reachable states. Our approach is a step forward to ensure the run-time correctness of software systems that adapt their behavior dynamically.

References

[1]
Anand, S., Godefroid, P., and Tillmann, N. Demand-driven compositional symbolic execution. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2008, pp. 367--381.
[2]
Appeltauer, M., and Hirschfeld, R. Declarative layer composition in framework-based environments. In Proceedings of the International Workshop on Context-Oriented Programming (New York, NY, USA, 2012), COP '12, ACM, pp. 1:1--1:6.
[3]
Clarke, L. A., and Richardson, D. J. Applications of symbolic evaluation. Journal of Systems and Software 5, 1 (1985), 15--35.
[4]
Costanza, P., and Hirschfeld, R. Language constructs for context-oriented programming: an overview of ContextL. In Proceedings of the Dynamic Languages Symposium (Oct. 2005), ACM Press, pp. 1--10. Co-located with OOPSLA'05.
[5]
González, S., Mens, K., and Cádiz, A. Context-Oriented Programming with the Ambient Object System. Journal of Universal Computer Science 14, 20 (2008), 3307--3332.
[6]
Hayden, C., Magill, S., Hicks, M., Foster, N., and Foster, J. Specifying and verifying the correctness of dynamic software updates. In Verified Software: Theories, Tools, Experiments, R. Joshi, P. Müller, and A. Podelski, Eds., vol. 7152 of LNCS. Springer Berlin Heidelberg, 2012, pp. 278--293.
[7]
King, J. C. Symbolic execution and program testing. Commun. ACM 19, 7 (July 1976), 385--394.
[8]
Kulkarni, S. S., and Biyani, K. N. Correctness of component-based adaptation. In Component-Based Software Engineering, I. Crnkovic, J. A. Stafford, H. W. Schmidt, and K. Wallnau, Eds., vol. 3054 of LNCS. Springer Berlin Heidelberg, 2004, pp. 48--58.

Cited By

View all
  • (2018)A self-learning approach for validation of runtime adaptation in service-oriented systemsService Oriented Computing and Applications10.1007/s11761-017-0222-012:1(11-24)Online publication date: 1-Mar-2018
  • (2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
  • (2016)Consumer-Centred Validation for Runtime Adaptation in Service-Oriented System2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA)10.1109/SOCA.2016.9(16-23)Online publication date: Nov-2016
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
COP '14: Proceedings of 6th ACM International Workshop on Context-Oriented Programming
July 2014
52 pages
ISBN:9781450328616
DOI:10.1145/2637066
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

In-Cooperation

  • AITO: Assoc Internationale por les Technologies Objects

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 July 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Context-oriented programming
  2. Correctness
  3. Symbolic execution
  4. Validation

Qualifiers

  • Tutorial
  • Research
  • Refereed limited

Conference

ECOOP '14

Acceptance Rates

COP '14 Paper Acceptance Rate 8 of 9 submissions, 89%;
Overall Acceptance Rate 17 of 25 submissions, 68%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2018)A self-learning approach for validation of runtime adaptation in service-oriented systemsService Oriented Computing and Applications10.1007/s11761-017-0222-012:1(11-24)Online publication date: 1-Mar-2018
  • (2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
  • (2016)Consumer-Centred Validation for Runtime Adaptation in Service-Oriented System2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA)10.1109/SOCA.2016.9(16-23)Online publication date: Nov-2016
  • (2015)Language design for developing smart adaptive services2015 IEEE First International Smart Cities Conference (ISC2)10.1109/ISC2.2015.7366184(1-2)Online publication date: Oct-2015

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media