A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Dataflow Pointcut in Aspect-Oriented Programming
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
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
2008
Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 3rd workshop on Testing aspect-oriented programs - WTAOP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2008
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2008
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 4th international conference on Aspect-oriented software development - AOSD '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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