Filters








10,916 Hits in 4.8 sec

A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming [chapter]

Mitchell Wand
2001 Lecture Notes in Computer Science  
This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures.  ...  We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcut designators, and advice.  ...  We plan to extend the ASB suite by adding implementations of the core concepts of other models of AOP and weaving, including static join points, Demeter [14] , and Hyper/J [16] .  ... 
doi:10.1007/3-540-44806-3_3 fatcat:vvtjutbvsnhxniir737dtili7e

A semantics for advice and dynamic join points in aspect-oriented programming

Mitchell Wand, Gregor Kiczales, Christopher Dutchyn
2004 ACM Transactions on Programming Languages and Systems  
This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures.  ...  We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcuts, and advice.  ...  This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures.  ... 
doi:10.1145/1018203.1018208 fatcat:3azwrklh4rartpnbdz4wquwoxq

The art of the meta-aspect protocol

Tom Dinkelaker, Mira Mezini, Christoph Bockisch
2009 Proceedings of the 8th ACM international conference on Aspect-oriented software development - AOSD '09  
We demonstrate the benefits of such an architecture by presenting several scenarios in which aspect-oriented programs use the meta-interface of the language to tailor its semantics to a particular application  ...  Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks.  ...  We would like to thank Michael Eichberg, Vaidas Gasiunas, and Martin Monperrus for valuable discussions and the anonymous reviewers for their comments.  ... 
doi:10.1145/1509239.1509248 dblp:conf/aosd/DinkelakerMB09 fatcat:jukpk34b4ng6vp3pt2qvahyl2y

Specializing continuations a model for dynamic join points

Christopher J. Dutchyn
2007 Proceedings of the 6th workshop on Foundations of aspect-oriented languages - FOAL '07  
Dynamic join points develop in a principled and natural way as activations of continuation frames.  ...  By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms.  ...  We give a formal model of dynamic join points, pointcuts, and advice built on the well-understood processes of conversion to continuation-passing-style, and defunctionalization.  ... 
doi:10.1145/1233833.1233840 dblp:conf/foal/Dutchyn06 fatcat:gxiaujnr4berrftuntekpubmky

A UML-based aspect-oriented design notation for AspectJ

Dominik Stein, Stefan Hanenberg, Rainer Unland
2002 Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02  
AspectJ is a well-established programming language for the implementation of aspect-oriented programs.  ...  In this work, such a design notation for AspectJ programs is presented based on the UML.  ...  Join points in AspectJ are "principled points in the dynamic execution of a program" [11] [1] .  ... 
doi:10.1145/508397.508399 fatcat:kbvim4hsjzcabmiwp6665zjeea

Pointcuts and advice in higher-order languages

David B. Tucker, Shriram Krishnamurthi
2003 Proceedings of the 2nd international conference on Aspect-oriented software development - AOSD '03  
In particular, programmers can now define both dynamic aspects traditional to AOP and static aspects that can capture common securitycontrol paradigms.  ...  In this paper, we describe the subtleties of pointcuts and advice for higher-order languages, particularly Scheme. We then resolve these subtleties by alluding to traditional notions of scope.  ...  Acknowledgements Thanks to Matthias Felleisen and John Clements for discussions on this research.  ... 
doi:10.1145/643603.643620 dblp:conf/aosd/TuckerK03 fatcat:5665ir32erdmblcvafbg27qipm

THE DSAW ASPECT-ORIENTED SOFTWARE DEVELOPMENT PLATFORM

FRANCISCO ORTIN, LUIS VINUESA, JOSE M. FELIX
2011 International journal of software engineering and knowledge engineering  
Moreover, our platform also supports a wide set of join-points and is language and platform neutral.  ...  Therefore, DSAW provides the separation of the dynamism (weaving-time) concern in the aspect-oriented software development process.  ...  ; it has also been partially funded by the University of Oviedo, with the project entitled AOSD System to support both Dynamic and Static Weaving in a Language and Platform Neutral way, UNOV-08-MB-15.  ... 
doi:10.1142/s0218194011005554 fatcat:56swda23o5a2zo4ezv6jmjydy4

Semantics and scoping of aspects in higher-order languages

Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi
2006 Science of Computer Programming  
We provide an operational semantics, based on an extended ceks machine, that gives a formal account of dynamic and static aspects. We implement the language as an extension to Scheme.  ...  In this paper, we describe the subtleties of pointcuts and advice for higher-order languages, particularly Scheme. We then resolve these subtleties by alluding to traditional notions of scope.  ...  We are grateful to Gregor Kiczales for his support and encouragement. We thank Clint Morgan for reporting on his experience with AspectScheme 2.0 in a course project.  ... 
doi:10.1016/j.scico.2006.01.003 fatcat:3i6wkpf34vctneogwblvf3vdz4

A UML-based aspect-oriented design notation for AspectJ

Dominik Stein, Stefan Hanenberg, Rainer Unland
2002 Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02  
Advice defines code to be executed whenever a join point of a particular set of join points is reached.  ...  The design notation eases the perception of aspect-orientation and Aspect] programs.  ...  Hence, ]inks in the UML represent "principled points in the dynamic execution of a program" just like join points do in AspectJ.  ... 
doi:10.1145/508386.508399 dblp:conf/aosd/SteinHU02 fatcat:wqy3wygoljczphye6zgbcrql3e

Special issue on foundations of aspect-oriented programming

Pascal Fradet, Ralf Lämmel
2006 Science of Computer Programming  
between aspects and generics; (v) a notion of aspects for reactive systems based on synchronous languages.  ...  There are 5 contributions addressing the following issues: (i) a fundamental core language for aspects; (ii) subtleties of so-called around advice; (iii) aspects in higher-order languages; (iv) the interaction  ...  of aspects, advice, and join-point models. • Type systems for aspect-oriented languages. • Verification and static analysis of aspect-oriented programs. • Theory of aspect composition and aspect interactions  ... 
doi:10.1016/j.scico.2006.07.001 fatcat:qdobp2cxwfckbnaifplpc6u3le

A Compilation and Optimization Model for Aspect-Oriented Programs [chapter]

H. Masuhara, G. Kiczales, C. Dutchyn
2003 Lecture Notes in Computer Science  
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics.  ...  Using partial evaluation, the model can explain several issues in compilation processes, including how to find places in program text to insert aspect code and how to remove unnecessary run-time checks  ...  The discussion on the initial-and final-algebra representations was first pointed out by Mitchell Wand. We would also like to thank the anonymous reviewers for their comments.  ... 
doi:10.1007/3-540-36579-6_4 fatcat:fqxzuyuwdvek5f52ujbwybkrme

Untangling crosscutting concerns in domain-specific languages with domain-specific join points

Tom Dinkelaker, Martin Monperrus, Mira Mezini
2009 Proceedings of the 4th workshop on Domain-specific aspect languages - DSAL '09  
This paper presents an architecture that supports aspect-oriented features for domain-specific base languages. Both base programs and advices are written in different domain-specific languages.  ...  The framework relies on the concept of domain-specific join point.  ...  Figure 4 : 4 A Security Aspect for ProcessDSL. we use well-established aspect-oriented pointcut-and-advice semantics for DSLs that are similar to AspectJ [2] semantics.  ... 
doi:10.1145/1509307.1509309 fatcat:7ajjrbapyjbl5dk7uqcssza2ja

Towards Semantic Mutation Testing of Aspect-Oriented Programs

Abdul Azim Abdul Ghani
2013 Journal of Software Engineering and Applications  
Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written.  ...  This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.  ...  In AOP languages, aspects can only be invoked at well-defined points in the execution of a program. These points are called join points.  ... 
doi:10.4236/jsea.2013.610a002 fatcat:j4bcuqzrrvdglab52givdxq6xi

Expressive scoping of dynamically-deployed aspects

Éric Tanter
2008 Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08  
We discuss and illustrate the gain in expressiveness, and provide the operational semantics of deployment strategies with Scheme interpreters, for both functional and object-oriented based aspect languages  ...  Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects.  ...  For very valuable input on this work and its presentation, we thank Pascal Costanza, Chris Dutchyn, Johan Fabry, Kris Gybels, Shriram Krishnamurthi, Olivier Motelet, Jacques Noyé, and Guillaume Pothier  ... 
doi:10.1145/1353482.1353503 dblp:conf/aosd/Tanter08 fatcat:wvrikk6tizcddkexcm2x7ps6jm

A semantics for execution levels with exceptions

Ismael Figueroa, Éric Tanter
2011 Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11  
Consequently, we propose a semantics for an aspect-oriented language with execution levels and an exception handling mechanism that solves the exception conflation problem.  ...  Conflation between aspect and base exceptions and handlers may inadvertently trigger execution of unintended handlers, changing the expected program behavior: aspect exceptions are accidentally caught  ...  For instance, it becomes possible to reuse off-the-shelf dynamic analysis aspects and apply them to a given program, and/or aspects, with consistent semantics [11] .  ... 
doi:10.1145/1960510.1960513 dblp:conf/foal/FigueroaT11 fatcat:6cb4lm3p2bckpdmrdizfpb6vsm
« Previous Showing results 1 — 15 out of 10,916 results