Kim Mens
Benoît Duhoux
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.
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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).Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- T. Kamina and T. Tamai. 2009. Towards Safe and Flexible Object Adaptation. In Workshop on Context-Oriented Programming (COP'09). ACM. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- H. Psaier and S. Dustdar. 2011. A survey on self-healing systems: approaches and systems. Computing 91, 1 (January 2011), 43--73. Google ScholarDigital Library
- 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.Google Scholar
- A. Sartorio and M. Cristiá. 2009. First Approximation to DHD Design and Implementation. CLEI electronic Jour. 12, 1 (2009).Google Scholar
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems
Recommendations
Multi-touch focus+context sketch-based interaction
SBIM '09: Proceedings of the 6th Eurographics Symposium on Sketch-Based Interfaces and ModelingIn 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 ArchitecturesThe 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 StructuresReentrant 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