Filters








262 Hits in 3.1 sec

On the benefits of quantification in AspectJ systems

Marco Tulio Valente, Cesar Couto, Jaqueline Faria, Sérgio Soares
2010 Journal of the Brazilian Computer Society  
We also propose two new metrics to capture in a simple way the amount of quantification employed in the aspects of a given system.  ...  In this paper, we argue that the most favorable uses of aspects happen when their code relies extensively on quantified statements, i.e., statements that may affect many parts of a system.  ...  We would like to thank David Binkley and Mariano Ceccato for providing us the source code of the aspect-oriented version of the JSpider and JAccounting systems.  ... 
doi:10.1007/s13173-010-0008-0 fatcat:sy3alogxordefnexdtxaugxawe

Identifying and specifying crosscutting contracts with AspectJML

Henrique Rebêlo
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
It supports the specification of crosscutting contracts for Java code in a modular way while keeping the benefits of a design by contract language, like documentation and modular reasoning.  ...  I go beyond these works by showing how to combine the best design features of a design by contract language like JML and the quantification benefits of AOP such as AspectJ.  ...  In AspectJ, we need to associate the declared pointcuts to advice in order to be able to browse the crosscutting structure of a system.  ... 
doi:10.1145/2508075.2514877 dblp:conf/oopsla/Rebelo13 fatcat:zamw7niwz5b2pj72kfhmd2ihcu

Join point interfaces for safe and flexible decoupling of aspects

Eric Bodden, Éric Tanter, Milton Inostroza
2014 ACM Transactions on Software Engineering and Methodology  
A case study on existing aspect-oriented programs supports our design, and in particular shows the necessity of both generic interfaces and some mechanism for global quantification.  ...  In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit references to the base code.  ...  We wish to thank Friedrich Steimann and the anonymous reviewers for many helpful comments on earlier versions of this paper, which greatly helped us improve the quality of the presentation.  ... 
doi:10.1145/2559933 fatcat:oz4yztnmojbprjbc5f5jkbznfm

Cooperative aspect-oriented programming

Kevin Hoffman, Patrick Eugster
2009 Science of Computer Programming  
We illustrate our methodology via an example on transactions, and also give an initial evaluation of cooperative AOP through an empirical study on program extensibility comparing both the traditional and  ...  In essence, the more intricate the weaving between the cross-cutting concern and the base code (lexically and/or semantically), the harder it becomes to: (a) robustly specify how to weave the aspects in  ...  Acknowledgements The authors express thanks to Jan Vitek and the anonymous reviewers for insightful comments.  ... 
doi:10.1016/j.scico.2009.01.003 fatcat:vlgetzvwovdito4g7bk6o4iaia

Bridging Java and AspectJ through explicit join points

Kevin Hoffman, Patrick Eugster
2007 Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07  
We illustrate the value of our extensions through an example based on transactions.  ...  Herein we explore new possibilities in the language design space that open up when the base code is aware of cross-cutting aspects.  ...  In this discussion we focus on the fundamental difficulties in using AspectJ to implement transactions rather than focusing on the details of any one system.  ... 
doi:10.1145/1294325.1294335 dblp:conf/pppj/HoffmanE07 fatcat:cql7t62nfjamxelmgij4t5r4jm

Design pattern implementation in object teams

João L. Gomes, Miguel P. Monteiro
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
similar study of AspectJ, though not in the same exact set of patterns.  ...  AspectJ is clearly superior to OT/J in terms of quantification capability while OT/J is clearly superior to AspectJ as regards extensibility of pattern modules.  ...  Most AOLs support to some extent the quantification property, i.e., the ability to specify assertions over execution events of a program, so that the intended behavior of aspect modulesteams, in the case  ... 
doi:10.1145/1774088.1774534 dblp:conf/sac/GomesM10 fatcat:a35xeezw2rfffpwzgnzba3jpee

AspectJML

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
For example, in AspectJ-style, to reason about the correctness of a method call may require a whole-program analysis to determine what advice applies and what that advice does in relation to DbC implementation  ...  In this context, researchers found that the realization of the design by contract (DbC) is crosscutting and fares better when modularized by AOP.  ...  Special thanks to Mira Mezini, Ralf Lämmel, Yuanfang Cai, and Shuvendu Lahiri for detailed discussions and for comments on earlier versions of this paper.  ... 
doi:10.1145/2577080.2577084 dblp:conf/aosd/RebeloLBRLZCT14a fatcat:6yatvtbbcbgfdck5ioq27lm3q4

AspectJML

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 Proceedings of the 13th international conference on Modularity - MODULARITY '14  
For example, in AspectJ-style, to reason about the correctness of a method call may require a whole-program analysis to determine what advice applies and what that advice does in relation to DbC implementation  ...  In this context, researchers found that the realization of the design by contract (DbC) is crosscutting and fares better when modularized by AOP.  ...  Special thanks to Mira Mezini, Ralf Lämmel, Yuanfang Cai, and Shuvendu Lahiri for detailed discussions and for comments on earlier versions of this paper.  ... 
doi:10.1145/2584469.2577084 fatcat:ydtub4gltvecrilh2erkdmvpne

A disciplined approach to aspect composition

Roberto Lopez-Herrejon, Don Batory, Christian Lengauer
2006 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06  
We propose an alternative model of composition that eliminates these problems, preserves the power of aspects, and lays an algebraic foundation on which to build and understand AOP tools.  ...  We develop an algebraic model that relates aspects to program transformations and uncovers aspect composition as a significant source of the problems mentioned.  ...  This research is sponsored in part by NSF's Science of Design Project #CCF-0438786. References  ... 
doi:10.1145/1111542.1111554 dblp:conf/pepm/Lopez-HerrejonBL06 fatcat:y2gucv6ueffh7eo5qaawreb77y

Modularizing crosscutting concerns with ptolemy

Hridesh Rajan, Sean Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
The interface provided by event types also allows for modular reasoning, without considering all aspects in the system.  ...  We demonstrate the benefits of Ptolemy over existing aspect-oriented languages and implicit invocation designs.  ...  Acknowledgments This work is supported in part by the US National Science Foundation (NSF) under grant CCF-10-17334 to Hridesh Rajan and grant CCF-10-17262 to Gary T. Leavens.  ... 
doi:10.1145/2048147.2048163 dblp:conf/oopsla/RajanMLDFDW11 fatcat:tbxz6twrzvcojbwapuqpuxhrua

Roles and Aspects: Similarities, Differences, and Synergetic Potential [chapter]

Stefan Hanenberg, Rainer Unland
2002 Lecture Notes in Computer Science  
Therefore, it is reasonable to analyze each approach in respect to its underlying philosophy and its impact on the implementation level and to compare them on the basis of those observations.  ...  While the former one is already well known in the object-oriented world, the latter was only recently introduced.  ...  In [4] Filman proposes quantification to be a major idea of AOP and describes quantification as "the idea that one can write unitary and separate statements that have effect in many, non-local places  ... 
doi:10.1007/3-540-46102-7_53 fatcat:jkvstwwi3jccjojgg4cvxx434u

Modularity first

Pavel Avgustinov, Torbjörn Ekman, Julian Tibble
2008 Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08  
Each frontend extends Java with AspectJ and an additional set of pointcuts in a modular fashion.  ...  We have reimplemented the frontend of the extensible As-pectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-oriented.  ...  We believe that part of the reason that we do not need quantification is that we operate on an AST with a deep class hierarchy.  ... 
doi:10.1145/1353482.1353486 dblp:conf/aosd/AvgustinovET08 fatcat:nghzbl67grbufozi6rs36rvvey

Detecting Change Patterns in Aspect Oriented Software Evolution: Rule-based Repository Analysis

Hanene Cherait, Nora Bounour
2014 International Journal of Software Engineering and Its Applications  
One of the main challenges of AOP lies in the evolution of the software, so techniques and approaches are essential to analyze the evolution of such systems; in order to study and predict its development  ...  Since the quantification is the idea that one can write an aspect that can affect arbitrarily many non-local places in a program [29] .  ...  Related Work This section of the paper presents related work discussing the benefits of our proposal in contrast to the other ones.  ... 
doi:10.14257/ijseia.2014.8.1.22 fatcat:4u2hyqvvyvd6laiucyzd5cubpy

Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study [chapter]

Robert Dyer, Hridesh Rajan, Yuanfang Cai
2013 Lecture Notes in Computer Science  
Other works have looked at several AO interfaces, but only on relatively small systems or systems with only one type of aspectual behavior.  ...  In total over 400k lines of code were studied across all releases.  ...  The anonymous reviewers of AOSD'12 and ESCOT'10 provided useful comments and suggestions on earlier versions of this paper. Mehdi Bagherzadeh, Youssef Hanna, and Gary T.  ... 
doi:10.1007/978-3-642-36964-3_5 fatcat:6u2gse2igbafpnxj5gwx5ruhlm

Analysing the Impact of Feature Dependency Implementation on Product Line Stability: An Exploratory Study

Bruno B. P. Cafeo, Francisco Dantas, Alessandro Gurgel, Everton Guimaraes, Elder R. Cirilo, Alessandro Garcia, Carlos J. P. Lucena
2012 2012 26th Brazilian Symposium on Software Engineering  
Our analysis was developed in the context of three evolving SPL systems, which are made up of 210 feature dependencies.  ...  Nevertheless, there is a lack of studies analysing the impact of different programming techniques on the stability of feature dependency code in evolving SPLs.  ...  In addition, the use of virtual classes supported by CaesarJ also brings benefits to the implementation of overlapping features.  ... 
doi:10.1109/sbes.2012.23 dblp:conf/sbes/CafeoDGGCGL12 fatcat:fk7vdpaug5er7jzxvcaunmzjbu
« Previous Showing results 1 — 15 out of 262 results