Filters








77 Hits in 2.6 sec

Dataflow Pointcut in Aspect-Oriented Programming [chapter]

Hidehiko Masuhara, Kazunori Kawauchi
2003 Lecture Notes in Computer Science  
This paper presents the design of the pointcut with a web-application example, and its prototype implementation.  ...  A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values.  ...  Acknowledgments The authors would like to thank Naoki Kobayashi and Atsushi Igarashi for their comments on an early draft of the paper.  ... 
doi:10.1007/978-3-540-40018-9_8 fatcat:yyswegzlbbfzxh2kdht26ciwja

AJANA

Guoqing Xu, Atanas Rountev
2008 Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08  
We present a study of the proposed techniques on 37 program versions, using our AJANA analysis framework which is based on the abc AspectJ compiler.  ...  The representation is built at the source code level and captures the semantic intricacies of various pointcut designators, multiple applicable advices per joint point, dynamic advices, and general flow  ...  We would like to thank the AOSD reviewers for many valuable comments and suggestions.  ... 
doi:10.1145/1353482.1353488 dblp:conf/aosd/XuR08 fatcat:5xvkrmx5u5amzjo3zxyeoufdwa

Perspectives on automated testing of aspect-oriented programs

Tao Xie, Jianjun Zhao
2007 Proceedings of the 3rd workshop on Testing aspect-oriented programs - WTAOP '07  
To reduce the manual effort in assuring the quality of aspect-oriented programs, we have developed a set of techniques and tools for automated testing of aspect-oriented programs.  ...  This position paper also presents a couple of new techniques that we propose based on the perspectives.  ...  Pipa [31] is a formal behavioral interface specification language (BISL) tailored to AspectJ. Pipa is a simple and practical extension to the Java Modeling Language (JML), a BISL for Java.  ... 
doi:10.1145/1229384.1229386 dblp:conf/aosd/XieZ07 fatcat:rwgki6yshbbxdbfq7asbp2rt6u

Transactional pointcuts for aspect-oriented programming

Seyed Hossein Sadat Kooch Mohtasham
2011
In practice, join points are often not independent. Instead, they form part of a higher-level operation that implements the intent of the developer (e.g. managing a resource).  ...  Each match of a transcut is a set of join points that are related through control flow, dataflow, or both.  ...  Currently, transcuts that use dataflow relations between join points cannot be used in declare advice because the AspectJ language requires a static pointcut as the target of declare and our dataflow pointcuts  ... 
doi:10.7939/r3p685 fatcat:zasgvlm3mvfw5fwumwfdpjyszu

The common aspect proof environment

Shmuel Katz, David Faitelson
2011 International Journal on Software Tools for Technology Transfer (STTT)  
The CAPE is an extensible framework integrating formal methods and analysis tools for aspect-oriented programs.  ...  The scenarios and strategies employed are steps towards a methodology that includes multiple formal methods tools in aspect-oriented software development.  ...  The support of AOSD-Europe, an EU Network of Excellence in the 6th Research Framework, is gratefully acknowledged.  ... 
doi:10.1007/s10009-011-0191-0 fatcat:xcyxypjxcrgh5el5u7xuxy626u

Aspect-Oriented Program Testing: An Annotated Bibliography

Abdul Azim Abdul Ghani, Reza Meimandi Parizi
2013 Journal of Software  
Therefore, in this paper a collection of 81 references drawn from journals, conference and workshop proceedings, thesis, and technical reports on the subject of testing aspect-oriented software is presented  ...  However, the survey only focuses on certain selected topic and particular approaches rather than providing a comprehensive set of references that cover most of the work related to aspect-oriented software  ...  This framework identifies joinpoints that are matched with a pointcut expression and a set of boundary joinpoints.  ... 
doi:10.4304/jsw.8.6.1281-1300 fatcat:zcogcajhbbgu7ggrf5docaqow4

Fast extraction of high-quality framework-specific models from application code

Michał Antkiewicz, Thiago Tonelli Bartolomei, Krzysztof Czarnecki
2008 Automated Software Engineering : An International Journal  
We reverse engineer a number of applications based on three open-source frameworks and evaluate the quality of the retrieved models.  ...  Based on the initial results, we refine the static analyses and repeat the study on a larger set of applications to provide more evidence and confirm the results.  ...  Acknowledgements This work is partially supported by IBM Centers for Advanced Studies, Ottawa and Toronto. We thank George Fairbanks for providing sample applets.  ... 
doi:10.1007/s10515-008-0040-x fatcat:qvkuo3auurfz3b7dzqeknmlvfm

An Overview of AspectJ [chapter]

Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold
2001 Lecture Notes in Computer Science  
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.  ...  be attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice, and ordinary Java member declarations.  ...  Java and Forte are trademarks of Sun Microsystems. JBuilder is a trademark of Inprise Corporation.  ... 
doi:10.1007/3-540-45337-7_18 fatcat:mhtmbvvjdzct5cy35ztykthvga

JTL

Tal Cohen, Joseph (Yossi) Gil, Itay Maman
2006 SIGPLAN notices  
JTL can also delve into method bodies, by means of intraprocedural dataflow analysis, similar to that of the class file verifier.  ...  To this end, JTL relies on a DATALOG-like syntax and semantics, enriched with quantifiers and pattern matching which all but entirely eliminate the need for recursive calls.  ...  Comments and encouragements of James Noble are happily acknowledged. Part of the implementation was carried out by Grigory Fridberg.  ... 
doi:10.1145/1167515.1167481 fatcat:y5lqlnegmbhwvbrktqi4joyoey

Efficient trace monitoring

Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie Hendren, Ondrej Lhotak, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence.  ...  Aspect-oriented programming provides a convenient framework for writing such trace monitors. We provide a brief introduction to aspect-oriented programming in AspectJ.  ...  This research has been supported, in part, by EPSRC in the United Kingdom and by NSERC in Canada.  ... 
doi:10.1145/1176617.1176673 dblp:conf/oopsla/AvgustinovTBHLMOS06 fatcat:yr64yzwtofc3viuwcusozcnsqi

Aspects for Trace Monitoring [chapter]

Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
2006 Lecture Notes in Computer Science  
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence.  ...  Aspect-oriented programming provides a convenient framework for writing such trace monitors. We provide a brief introduction to aspect-oriented programming in AspectJ.  ...  This research has been supported, in part, by EPSRC in the United Kingdom and by NSERC in Canada.  ... 
doi:10.1007/11940197_2 fatcat:q6kehhkysfb7vfxsxy2v4xqb7i

Ajcfgraph - Aspectj Control Flow Graph Builder For Aspect-Oriented Software

Reza Meimandi Parizi, Abdul Azim Abdul Ghani
2008 Zenodo  
For instance, the AJaTS provides a transformation system to support aspect-oriented development and refactoring.  ...  However, although the current researches define the good concepts and foundations, to some extent, for control flow analysis of aspectoriented programs but they do not provide a concrete tool that can  ...  Rountev in [6] propose a source-code-level framework called AJANA (AspectJ ANAlysis) for interprocedural dataflow analysis of AspectJ programs.  ... 
doi:10.5281/zenodo.1329457 fatcat:on2u7hw3lngtjerzc622tbhmlu

Assurance via workflow+ modelling and conformance [article]

Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
2019 arXiv   pre-print
We provide a detailed comparative analysis of the two formalisms and conclude that GSN does not fulfil its promises.  ...  Precise dataflow modelling signifies a crucial distinction of (WP+)-based and GSN-based assurance, in which the data layer is mainly implicit.  ...  We will refer to the differences between the two frameworks, GSN and WF + , as to DCC (Dataflow, Constraints, Conformance).  ... 
arXiv:1912.09912v1 fatcat:42uwwgh74feoziqemt4uhqkneq

An Expressive Aspect Language for System Applications with Arachne [chapter]

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
2006 Lecture Notes in Computer Science  
A deployed network protocol might not be sufficiently efficient and may thus need to be replaced.  ...  We show how the former can be used to modularize the replacement of network protocols and the latter to prevent buffer overflows.  ...  We now illustrate how the aspect language could be formally defined by translating one of the example aspects into a but formal aspect language A extending that used in the formal framework of [15] .  ... 
doi:10.1007/11687061_6 fatcat:yxec2ucdofdajoucwyniv4wrie

An expressive aspect language for system applications with Arachne

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
2005 Proceedings of the 4th international conference on Aspect-oriented software development - AOSD '05  
A deployed network protocol might not be sufficiently efficient and may thus need to be replaced.  ...  We show how the former can be used to modularize the replacement of network protocols and the latter to prevent buffer overflows.  ...  We now illustrate how the aspect language could be formally defined by translating one of the example aspects into a but formal aspect language A extending that used in the formal framework of [15] .  ... 
doi:10.1145/1052898.1052901 dblp:conf/aosd/DouenceFLMSS05 fatcat:pstjtu44cnfphijp2ytajvlyhm
« Previous Showing results 1 — 15 out of 77 results