research-article

Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems

Authors:

Benoît Duhoux,

Nicolás CardozoAuthors Info & Claims

Programming '17: Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming

Article No.: 8, Pages 1 - 6

https://doi.org/10.1145/3079368.3079385

Published: 03 April 2017 Publication History

Abstract

The context interaction problem occurs in dynamically adaptive software systems whenever adaptations to different contexts provide incompatible behaviour, as they were not foreseen to occur simultaneously. Several strategies have been proposed to resolve such conflicts when they occur. This paper surveys a number of such conflict resolution strategies, and proposes a design space in which to classify, compare, and explain the differences between them.

References

[1]

T. Aotani, T. Kamina, and H. Masuhara. 2015. Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. In Proc. of the 7th Workshop on Context-Oriented Programming (COP'15). ACM, 8:1--8:7.

Digital Library

[2]

S. Apel, J. M. Atlee, L. Baresi, and P. Zave. 2014. Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4 (2014), 1--24.

[3]

P. Arcaini, E. Riccobene, and P. Scandurra. 2015. Modeling and Analyzing MAPEK Feedback Loops for Self-Adaptation. In Symp on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15). IEEE/ACM, 13--23.

Digital Library

[4]

E. Bainomugisha, W. De Meuter, and T. D'Hondt. 2009. Towards Context-Aware Propagators: Language Constructs for Context-Aware Adaptation Dependencies. In Proc. of Workshop on Context-Oriented Programming (COP'09). ACM, 8:1--8:4.

Digital Library

[5]

E. Bainomugisha, J. Vallejos, C. De Roover, A. Lombide Carreton, and W. De Meuter. 2012. Interruptible Context-dependent Executions: A Fresh Look at Programming Context-aware Applications. In Proc. of the ACM Symp on New Ideas and Reflections on Software (OnWard'12). ACM, 67--84.

Digital Library

[6]

D. Basile, L. Galletta, and G. Mezzetti. 2015. Safe Adaptation Through Implicit Effect Coercion. In Essays Dedicated to Pier Paolo Degano on Programming Languages with Applications to Biology and Security. Springer-Verlag, 122--141.

[7]

N. Bencomo, A. Belaggoun, and V. Issarny. 2013. Dynamic Decision Networks for Decision-making in Self-adaptive Systems: A Case Study. In Proc. of the Symp on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'13). IEEE, 113--122.

Digital Library

[8]

H. Eon Byun and K. Cheverst. 2001. Exploiting user models and context-awaR.ss to support personal daily activities. In Workshop on User Modeling for Context-Aware Applications (UM2001).

[9]

M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. 2003. Feature Interaction: A Critical Review and Considered Forecast. Computer Networks 41 (2003), 115--141.

Digital Library

[10]

J. Cámara, G. A. Moreno, and D. Garlan. 2015. Reasoning about Human Participation in Self-Adaptive Systems. In Symp on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15). 146--156.

Digital Library

[11]

N. Cardozo, S. González, K. Mens, and T. D'Hondt. 2011. Safer Context (de)Activation: Through the Prompt-Loyal Strategy. In Workshop on Context-Oriented Programming (COP'11). ACM, 1--6.

Digital Library

[12]

N. Cardozo, S. González, K. Mens, R. Van Der Straeten, J. Vallejos, and T. D'Hondt. 2015. Semantics for consistent activation in context-oriented systems. Information and Software Technology 58 (2015), 71--94.

[13]

N. Cardozo, K. Mens, and S. Clarke. 2017. Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. In Software Engineering for Self-Adaptive Systems: Assurances. LNCS, Vol. 9640. Springer-Verlag. To be published.

[14]

N. Cardozo, K. Mens, S. González, P-Y. Orban, and W. De Meuter. 2014. Features on Demand. In Proc. of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS'14). ACM, 18:1--18:8.

Digital Library

[15]

N. Cardozo, J. Vallejos, S. González, K. Mens, and T. D'Hondt. 2012. Context Petri Nets: Enabling Consistent Composition of Context-Dependent Behavior. In Workshop on Petri Nets and Software Engineering (PNSE'12), Vol. 851. CEUR Workshop Proceedings, 156--170.

[16]

D. Clarke, P. Costanza, and ft. Tanter. 2009. How should context-escaping closures proceed. In Workshop on Context-Oriented Programming (COP'09). ACM, 1--6.

Digital Library

[17]

B. Desmet, K. Vanhaesebrouck, J. Vallejos, P. Costanza, and W. De Meuter. 2007. The Puzzle Approach for designing Context-Enabled Applications. In Conf. of the Chilean Computer Science Society. IEEE, 23--29.

Digital Library

[18]

D. Ghosh, R. Sharman, H. R. Rao, and S. Upadhyaya. 2007. Self-healing systems --- survey and synthesis. Decision Support Systems 42, 4 (2007), 2164--2185.

Digital Library

[19]

S. González, N. Cardozo, K. Mens, A. Cádiz, J-C. Librecht, and J. Goffaux. 2010. Subjective-C: Bringing Context to Mobile Platform Programming. In Proc. of the Conf. on Software Language Engineering (LNCS), Vol. 6563. Springer, 246--265.

Digital Library

[20]

S. González, M. Denker, and K. Mens. 2009. Transactional Contexts harnessing the Power of Context-Oriented Reflection. In Workshop on Context-Oriented Programming (COP'09). ACM.

Digital Library

[21]

S. González, K. Mens, and A. Cádiz. 2008. Context-Oriented Programming with the Ambient Object System. Jour. of Universal Computer Science 14, 20 (2008), 3307--3332.

[22]

S. González, K. Mens, M. Colacioiu, and W. Cazzola. 2013. Context Traits: Dynamic Behaviour Adaptation Through Run-time Trait Recomposition. In Proc. of the Conf. on Aspect-oriented Software Development (AOSD'13). ACM, 209--220.

Digital Library

[23]

M. Usman Iftikhar and Danny Weyns. 2014. ActivFORMS: Active Formal Models for Self-adaptation. In Proc. of the Symp on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14). ACM, New York, NY, USA, 125--134.

Digital Library

[24]

H. Inoue, A. Igarashi, M. Appeltauer, and R. Hirschfeld. 2014. Towards Type-Safe JCop: A Type System for Layer Inheritance and First-class Layers. In Proc. of the Workshop on Context-Oriented Programming (COP'14). ACM, 7:1--7:6.

Digital Library

[25]

T. Kamina, T. Aotani, and H. Masuhara. 2011. EventCJ A Context-Oriented Programming Language with Declarative Event-based Context Transition. In Conf. on Aspect Oriented Software Development (AOSD'11). ACM, 253--264.

Digital Library

[26]

T. Kamina and T. Tamai. 2009. Towards Safe and Flexible Object Adaptation. In Workshop on Context-Oriented Programming (COP'09). ACM.

Digital Library

[27]

M. Mongiello, P. Pelliccione, and M. Sciancalepore. 2015. AC-Contract: Run-Time Verification of Context-Aware Applications. In Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15). 24--34.

Digital Library

[28]

I Park, D. Lee, and S. J. Hyun. 2005. A dynamic context-conflict management scheme for group-aware ubiquitous computing environments. In 29th Annual International Computer Software and Applications Conference (COMPSAC'05). 359--364 Vol. 2.

Digital Library

[29]

H. Psaier and S. Dustdar. 2011. A survey on self-healing systems: approaches and systems. Computing 91, 1 (January 2011), 43--73.

Digital Library

[30]

F. Sanen, E. Truyen, W. Joosen, A. Jackson, A. Nedos, S. Clarke, N Loughran, and A. Rashid. 2006. Classifying and documenting aspect interactions. In Proc. of the AOSD workshop on aspects, components, and patterns for infrastructure software (Technical Report CS-2006-01). University of Virginia Computer Science, 23--26.

[31]

A. Sartorio and M. Cristiá. 2009. First Approximation to DHD Design and Implementation. CLEI electronic Jour. 12, 1 (2009).

[32]

F. Schreiber and E. Panigati. 2014. Context-Aware Software Approaches: a Comparison and an Integration Proposal. In 27th Italian Symp on Advanced Database Systems (SEBD'14). 175--184.

[33]

N. Taing, M. Wutzler, T. Springer, N. Cardozo, and A. Schill. 2016. Consistent Unanticipated Adaptation for Context-Dependent Applications. In Workshop on Context-Oriented Programming (COP'16). ACM, 1--6.

Digital Library

[34]

S. Uchio, N. Ubayashi, and Y. Kamei. 2011. CJAdviser: SMT-based Debugging Support for ContextJ. In Proc. of the Workshop on Context-Oriented Programming (COP '11). ACM, 7:1--7:6.

Digital Library

[35]

K. Welsh, N. Bencomo, P. Sawyer, and J. Whittle. 2012. Self-Explanation in Adaptive Systems. In Conf. on Engineering of Complex Computer Systems (ICECCS'12). 157--166.

Digital Library

Cited By

Caesar BValdezate ALadiges JCapilla RFay A(2024)A Process for Identifying and Modeling Relevant System Context for the Reconfiguration of Automated SystemsIEEE Transactions on Automation Science and Engineering10.1109/TASE.2023.329139421:3(3977-4002)Online publication date: Jul-2024
https://doi.org/10.1109/TASE.2023.3291394
Leger PCardozo NMasuhara H(2023)An expressive and modular layer activation mechanism for Context-Oriented ProgrammingInformation and Software Technology10.1016/j.infsof.2022.107132156(107132)Online publication date: Apr-2023
https://doi.org/10.1016/j.infsof.2022.107132

Index Terms

Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems
1. General and reference
  1. Document types
    1. Surveys and overviews
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software design tradeoffs
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Multiparadigm languages

Recommendations

Multi-touch focus+context sketch-based interaction
SBIM '09: Proceedings of the 6th Eurographics Symposium on Sketch-Based Interfaces and Modeling

In this paper we present a Focus+Context screen for combined pen and touch interaction. A tabletop display presents contextual information and enables multi-touch detection for navigation through frustrated total internal reflection (FTIR). A high ...
Managing Resource Limitation of Best-Effort HTM
SPAA '15: Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures

The first release of hardware transactional memory (HTM) as commodity processor posed the question of how to efficiently handle its best-effort nature. In this paper we present Part-HTM, the first hybrid transactional memory protocol that solves the ...
Bounded context-switching and reentrant locking
FOSSACS'13: Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures

Reentrant locking is a recursive locking mechanism which allows a thread in a multi-threaded program to acquire the reentrant lock multiple times. The thread must release this lock an equal number of times before another thread can acquire this lock. We ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

Programming '17: Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming

April 2017

193 pages

ISBN:9781450348362

DOI:10.1145/3079368

Editors:
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Theo D'Hondt
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel

Copyright © 2017 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 the author(s) 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].

In-Cooperation

AOSA: Aspect-Oriented Software Association

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 April 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

Programming '17

Programming '17: International Conference on the Art, Science, and Engineering of Programming

April 3 - 6, 2017

Brussels, Belgium

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
72
Total Downloads

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

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Caesar BValdezate ALadiges JCapilla RFay A(2024)A Process for Identifying and Modeling Relevant System Context for the Reconfiguration of Automated SystemsIEEE Transactions on Automation Science and Engineering10.1109/TASE.2023.329139421:3(3977-4002)Online publication date: Jul-2024
https://doi.org/10.1109/TASE.2023.3291394
Leger PCardozo NMasuhara H(2023)An expressive and modular layer activation mechanism for Context-Oriented ProgrammingInformation and Software Technology10.1016/j.infsof.2022.107132156(107132)Online publication date: Apr-2023
https://doi.org/10.1016/j.infsof.2022.107132

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