Aspect-Oriented Software Development最新文献_第9页

Closure joinpoints: block joinpoints without surprises 闭包连接点:没有意外的阻塞连接点

Aspect-Oriented Software Development Pub Date : 2011-03-21 DOI: 10.1145/1960275.1960291

E. Bodden

{"title":"Closure joinpoints: block joinpoints without surprises","authors":"E. Bodden","doi":"10.1145/1960275.1960291","DOIUrl":"https://doi.org/10.1145/1960275.1960291","url":null,"abstract":"Block joinpoints allow programmers to explicitly mark regions of base code as \"to be advised\", thus avoiding the need to extract the block into a method just for the sake of creating a joinpoint. Block joinpoints appear simple to define and implement. After all, regular block statements in Java-like languages are constructs well-known to the programmer and have simple control-flow and data-flow semantics.\u0000 Our major insight is, however, that by exposing a block of code as a joinpoint, the code is no longer only called in its declaring static context but also from within aspect code. The block effectively becomes a closure, i.e., an anonymous function that may capture values from the enclosing lexical scope. We discuss research on closures that reveals several important design questions that any semantic definition of closures or block joinpoints must answer. In this paper we show that all existing proposals for block joinpoints answer these questions insufficiently, and hence exhibit a semantics either undefined or likely surprising to Java programmers.\u0000 As a solution, we propose a syntax, semantics, and implementation of Closure Joinpoints, block joinpoints based on closures. As we show, our design decisions yield a semantics that follows the principle of least surprise.","PeriodicalId":353153,"journal":{"name":"Aspect-Oriented Software Development","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122876469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 32

Applying dependability aspects on top of "aspectized" software layers 在“方面化”的软件层之上应用可靠性方面

Aspect-Oriented Software Development Pub Date : 2011-03-21 DOI: 10.1145/1960275.1960297

Kiev Gama, D. Donsez

{"title":"Applying dependability aspects on top of \"aspectized\" software layers","authors":"Kiev Gama, D. Donsez","doi":"10.1145/1960275.1960297","DOIUrl":"https://doi.org/10.1145/1960275.1960297","url":null,"abstract":"Dynamic platforms where components can be loaded at runtime can introduce risks to applications stability if components are not previously known before deployment. It may be needed anyway to execute such untrustworthy code, even if it is not malicious. The OSGi platform presents such a scenario where components can be installed, started, stopped, updated or uninstalled during application execution. In this paper we describe how we introduced dependability and monitoring as crosscutting concerns in the OSGi platform for improving applications resistance to such risks. These concerns crosscut different software layers which are well defined in the OSGi specification but scattered over different places in the OSGi API. We also created a level of indirection by representing software layers as aspects, enhancing the API's modularity as well as reuse by avoiding redundant pointcut definitions. The dependability aspects helped us validating the layer aspect abstraction reuse. Since the aspects targeted the OSGi API, it was possible to weave our solution into distinct versions of three different OSGi implementations, namely Apache Felix, Equinox and Knopflerfish. We validate our approach on all of the woven platforms in a simulation of an RFID and sensor-based application that uses untrustworthy components.","PeriodicalId":353153,"journal":{"name":"Aspect-Oriented Software Development","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121965302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces 半透明契约:面向方面接口的表达性规范和模块化验证

Aspect-Oriented Software Development Pub Date : 2011-03-21 DOI: 10.1145/1960275.1960293

M. Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

引用次数: 49

EffectiveAdvice: disciplined advice with explicit effects 有效的建议:具有明确效果的有纪律的建议

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739244

B. C. D. S. Oliveira, T. Schrijvers, W. Cook

{"title":"EffectiveAdvice: disciplined advice with explicit effects","authors":"B. C. D. S. Oliveira, T. Schrijvers, W. Cook","doi":"10.1145/1739230.1739244","DOIUrl":"https://doi.org/10.1145/1739230.1739244","url":null,"abstract":"Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other components are composed together they become tightly coupled, sharing both control and data flows. However this creates important problems: modular reasoning about a component becomes very difficult; and two tightly coupled components may interfere with each other's control and data flows.\u0000 This paper presents EffectiveAdvice, a disciplined model of advice, inspired by Aldrich's Open Modules, that has full support for effects. With EffectiveAdvice, equivalence of advice, as well as base components, can be checked by equational reasoning. The paper describes EffectiveAdvice as a Haskell library in which advice is modeled by mixin inheritance and effects are modeled by monads. Interference patterns previously identified in the literature are expressed as combinators. Parametricity, together with the combinators, is used to prove two harmless advice theorems. The result is an effective semantic model of advice that supports effects, and allows these effects to be separated with strong non-interference guarantees, or merged as needed.","PeriodicalId":353153,"journal":{"name":"Aspect-Oriented Software Development","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116008599","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 45

Type relaxed weaving 型松弛织造

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739245

H. Masuhara, Atsushi Igarashi, Manabu Toyama

引用次数: 3

AspectMatlab: an aspect-oriented scientific programming language AspectMatlab:面向方面的科学编程语言

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739252

Toheed Aslam, Jesse Doherty, Anton Dubrau, L. Hendren

引用次数: 34

Execution levels for aspect-oriented programming 面向方面编程的执行层

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739236

É. Tanter

{"title":"Execution levels for aspect-oriented programming","authors":"É. Tanter","doi":"10.1145/1739230.1739236","DOIUrl":"https://doi.org/10.1145/1739230.1739236","url":null,"abstract":"In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all pointcuts in higher-order aspect languages like AspectScheme. While viewing aspects as part of base level computation clearly distinguishes AOP from reflection, it also comes at a price: because aspects observe base level computation, evaluating pointcuts and advice at the base level can trigger infinite regression. To avoid these pitfalls, aspect languages propose ad-hoc mechanisms, which increase the complexity for programmers while being insufficient in many cases. After shedding light on the many facets of the issue, this paper proposes to clarify the situation by introducing levels of execution in the programming language, thereby allowing aspects to observe and run at specific, possibly different, levels. We adopt a defensive default that avoids infinite regression in all cases, and give advanced programmers the means to override this default using level shifting operators. We formalize the semantics of our proposal, and provide an implementation. This work recognizes that different aspects differ in their intended nature, and shows that structuring execution contexts helps tame the power of aspects and metaprogramming.","PeriodicalId":353153,"journal":{"name":"Aspect-Oriented Software Development","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130627574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 65

From aspect-oriented models to aspect-oriented code?: the maintenance perspective 从面向方面的模型到面向方面的代码?:维护角度

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739241

A. Hovsepyan, R. Scandariato, S. Baelen, Y. Berbers, W. Joosen

引用次数: 32

The aspect-oriented design of the PUMA C/C++ parser framework 面向方面的PUMA C/ c++解析器框架设计

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739256

M. Urban, D. Lohmann, O. Spinczyk

引用次数: 8

An architecture for composing embedded domain-specific languages 用于组合嵌入式领域特定语言的体系结构

Aspect-Oriented Software Development Pub Date : 2010-03-15 DOI: 10.1145/1739230.1739237

T. Dinkelaker, Michael Eichberg, M. Mezini

引用次数: 24