An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming
Context. There is a trend in the software industry towards building systems that dynamically adapt their behavior in response to their surrounding environment, given the proliferation of various technological devices, such as notebooks, smartphones, and wearables, capable of capturing their execution context. Context-oriented Programming (COP) allows developers to use layer abstractions to adapt software behavior to the context. A layer is associated with a context and can be dynamically activated in direct response to gathered information from its surrounding execution environment. However, most existing layer activation mechanisms have been tailored specifically to address a particular concern; implying that developers need to tweak layer definitions in contortive ways or create new specialized activation mechanisms altogether if their specific needs are not supported.
Objective. Complementing ideas to expressively declare activation mechanism models with interfaces that define conditionals of activation mechanisms modularly, this paper proposes an Expressive and Modular Activation mechanism, named EMA.
Method. To propose EMA, we analyze existing activation mechanisms in COP regarding activation features and scope strategies. After, we propose the design of EMA and validate it with a case study discussion.
Conclusions. Our proposed mechanism allows developers to instantiate different activation scope strategies and interfaces to decouple the declaration of activation mechanism conditionals from the base code.
Thu 5 OctDisplayed time zone: Bogota, Lima, Quito, Rio Branco change
15:30 - 17:00
|Slicing Shared-Memory Concurrent Programs, The Threaded System Dependence Graph Revisited
|An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming
Journal First Track
Paul Leger Universidad Católica del Norte, Chile, Nicolás Cardozo Universidad de los Andes, Hidehiko Masuhara Tokyo Institute of TechnologyLink to publication DOI
|Dynamic Slicing of WebAssembly Binaries
Quentin Stiévenart Université du Québec à Montréal (UQAM), David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit BrusselPre-print
|OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems
|A Component-Sensitive Static Analysis Based Approach for Modeling Intents in Android Apps