Interference of Larissa Aspects
نویسندگان
چکیده
Aspect Oriented Programming is a programming language concept for expressing cross-cutting concerns. A key point when dealing with aspects is the notion of interference. Applying several aspects to the same program may lead to unintended results because of conflicts between the aspects. In this paper, we study the notion of interference for Larissa, a formally defined language. Larissa is the aspect extension of Argos, a StateChart-like automata language designed to program reactive systems. We present a way to weave several aspects in a less conflict-prone manner, and a means to detect remaining conflicts statically, at a low complexity.
منابع مشابه
Formal Analysis Tools for the Synchronous Aspect Language Larissa
We present two tools for the formal analysis of the aspect language Larissa, which extends the simple synchronous language Argos. The first tool concerns the combination of design-by-contract with Larissa aspects, and shows how we can apply an aspect not only to a program, but to a specification of programs in form of a contract, and obtain a new contract. The second concerns aspect interferenc...
متن کاملOn the Practical Aspects of Joint Passive Phase Conjugation and Equalization Underwater Communication Systems
Underwater acoustic communication systems suffer from the channel impairments which results in time spreading of the transmitted signal. In underwater environment, multiple replicas of the transmitted signal are received at the receiver through different paths, which causes significant Inter-Symbol Interference (ISI). Decision Feedback Equalizers (DFE) was utilized to overcome this type of inte...
متن کاملModifying Contracts with Larissa Aspects
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. For the aspect language Larissa and contracts expressed with synchronous observers, we show how to apply an aspect asp to a contract C and derive a new contract C′, such that for any program P which fulfills C, P with a...
متن کاملCompositional Closure for Bayes Risk in Probabilistic Noninterference
We give a sequential model for non-interference security, with probability (but not demonic choice), including a novel refinement order (v) that is the greatest compositional relation –the compositional closure– with respect to our semantics and an “elementary” order based on Bayes Risk. This complements earlier work which combined noninterference with demonic choice (but not probability). We i...
متن کامل