A Temporal Logic Language for Context Awareness in Pointcuts
نویسندگان
چکیده
Aspects based on join points that occurred in the execution history of a program provide a powerful way to make applications aware of their context. We present HALO, a logic metaprogramming approach based on temporal logic, that is designed with context-awareness in mind. A number of illustrative examples demonstrate HALO’s expressivity, including expressions about past events which contain variables only bound in their future.
منابع مشابه
Escaping with Future Variables in HALO
HALO is a novel aspect language introducing a logic-based pointcut language which combines history-based pointcuts and “escape” conditions for interacting with the base language. This combination is difficult to support when escape conditions access context exposed by “future” join points. This paper introduces a weaving mechanism based on copying objects for resolving such pointcuts. Though th...
متن کاملTracechecks: Defining Semantic Interfaces with Temporal Logic
Tracechecks are a formalism based on linear temporal logic (LTL) with variable bindings and pointcuts of the aspect-oriented language AspectJ for the purpose of verification. We demonstrate how tracechecks can be used to model temporal assertions. These assertions reason about the dynamic control flow of an application. They can be used to formally define the semantic interface of classes. We e...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملA Semantic-based Runtime Weaver for Dynamic Management of the Join Point History
Although early research in aspect-oriented programming focussed on aspects that are triggered at a single join point, more recent research has evolved towards aspects that are triggered based on the occurrence of a series of join points in the execution of a program. These types of aspects were dubbed event-based aspects, stateful aspects [2] and contextaware aspects [10], and a number of novel...
متن کاملOn the Expressiveness of Parameterized Finite-state Runtime Monitors On the Expressiveness of Parameterized Finite-state Runtime Monitors?
Many contemporary runtime-verification tools instrument a program under test with finite-state runtime monitors that can be parameterized through variable-to-object bindings. Often, such tools provide a specification formalism that is some form of syntactic extension to an aspect-oriented programming language. The tools then transform monitor specifications into aspects that bind the monitors’ ...
متن کامل