@techreport{filman:baop05, title = {A Bibliography of Aspect-Oriented Programming, Version 2.0}, author = {Robert E. Filman}, month = nov, year = 2005, institution = { }, remark = { source is: \documentclass[twocolumn,10pt]{article} \setlength{\columnsep}{.375in} \setlength{\textwidth}{6.5in} \setlength{\textheight}{9in} \setlength{\oddsidemargin}{0in} \setlength{\evensidemargin}{0in} \begin{document} \bibliographystyle{plain} \title{A Bibliography of Aspect-Oriented Software Development\\Version 2.0} \author{Robert E. Filman} \maketitle A bibliography of the literature related to Aspect-Oriented Software Development. My thanks to Mario {S\"udholt}, Karl Lieberherr, Sacher Dominik, G\"unter Kniesel, Bart De Win, Lee Carver, Curtis Clifton, Mira Mezini, Olaf Conradi, and Minhuan Huang for their contributions. This is meant to be an evolving document. Please send additions, corrections, comments and disagreements to the author at {\em filman@computer.org}. There's more detail in the bibtex version of this file (http://home.comcast.net/{\tilde}refilman/text/oif/aosd-bibliography.bib). \newsavebox{\baz}\savebox{\baz}{\cite{*}} \bibliography{aosdp-bibliography} \end{document} }, remark2 = {Journal of Aspect Orientation http://www.onlinejao.org/ (periodic)} } @string{icse = "Int'l Conf. Software Engineering"} @string{ieee-software = "{IEEE} Software"} @string{ecoop = "European Conf. on Object-Oriented Programming"} @string{case = "Int'l Workshop on CASE"} @string{tose = "{IEEE} Trans. Soft. Eng."} @string{sac = "{ACM} Computer Science Conference, Symposium on Applied Computing"} @string{tapos = "Theory and Practice of Object Systems"} @string{surveys = "{ACM} Computing Surveys"} @string{toplas = "{ACM} Trans. Prog. Lang. Sys."} @string{cacm = "Comm. {ACM}"} @string{fse = "Symposium on Foundations of Software Engineering, SIGSOFT"} @string{kluwer = "Kluwer Academic Publishers"} @string{svlncs = "Springer-Verlag Lecture Notes in Computer Science"} @string{acm = "{ACM}"} @string{sv = "{Springer-Verlag}"} @string{ieee = "{IEEE}"} @string{spe = "Software Practice and Experience"} @string{jsme = "Journal of Software Maintenance and Evolution: Research and Practice"} @string{joot = "Journal of Object Technology"} @string{tosem = "{ACM} Transactions on Software Engineering and Methodology (TOSEM)"} @string{software = "{IEEE} Software"} @string{toplas = "{ACM} Transactions on Programming Languages and Systems"} @string{ibmsj = "{IBM} Systems Journal"} @string{lncs = "lncs"} @string{computer = "{IEEE} Computer"} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{stein:ecmda-abmbsocss05, crossref = {:ecmda-abmbsocss05}, author = {Dominik Stein and Stefan Hanenberg}, url = {http://www.win.tue.nl/ABMB/SteinHanenberg_MDA_vs_AOSD.pdf}, title = {Why Aspect-Oriented Software Development and Model-Driven Development are not the same?} } @inproceedings{schippers:ecmda-abmbsocss05, crossref = {:ecmda-abmbsocss05}, author = {Hans Schippers and Dirk Janssens}, url = {http://www.win.tue.nl/ABMB/2SchippersABMB2005.pdf}, title = {A Model Driven Approach to Multi-Dimensional Separation of Concerns with {OC}} } @inproceedings{amaya:ecmda-abmbsocss05, crossref = {:ecmda-abmbsocss05}, author = {Pablo Amaya and Carlos Gonzalez and Juan M. Murillo}, url = {http://www.win.tue.nl/ABMB/5AMBM_amaya_initialversion.pdf}, title = {Towards a Subject-Oriented Model-Driven Framework} } @inproceedings{yamada:ecmda-abmbsocss05, crossref = {:ecmda-abmbsocss05}, author = {Kiyoshi Yamada and Takuo Watanabe}, url = {http://www.win.tue.nl/ABMB/3Yamada_Watanabe.pdf}, title = {An Aspect-Oriented Approach to Modular Behavioural Specification} } @inproceedings{lau:ecmda-abmbsocss05, crossref = {:ecmda-abmbsocss05}, author = {Kung-Kiu Lau and Vladyslav Ukis}, url = {http://www.win.tue.nl/ABMB/4LauIkis.pdf}, title = {A Component Model for Separation of Control Flow from Computation in Component -Based Systems} } @inproceedings{allan:oopsla05, author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie Hendren and Sascha Kuzins and Ond{\v r}ej Lhot\'ak and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble}, title = {Adding trace matching with free variables to {AspectJ}}, booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications}, year = {2005}, isbn = {1-59593-031-0}, pages = {345--364}, location = {San Diego, CA, USA}, doi = {http://doi.acm.org/10.1145/1094811.1094839}, publisher = {ACM Press}, } @inproceedings{kojarski:oopsla05, author = {Sergei Kojarski and David H. Lorenz}, title = {Pluggable {AOP}: {Designing} aspect mechanisms for third-party composition}, booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications}, year = {2005}, isbn = {1-59593-031-0}, pages = {247--263}, location = {San Diego, CA, USA}, doi = {http://doi.acm.org/10.1145/1094811.1094831}, publisher = {ACM Press}, } @inproceedings{altman:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Alan Cyment.pdf}, title = {On the need for setpoints}, author = {Rub\'en Altman and Alan Cyment and Nicol\'as Kicillof}, crossref = {:eiwas05}, } @inproceedings{havinga:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Wilke Havinga.pdf}, title = {Introduction and Derivation of Annotations in {AOP}: {Applying} Expressive Pointcut Languages to Introductions}, author = {Wilke Havinga and Istv\`an Nagy and Lodewijk Bergmans\}, crossref = {:eiwas05}, } @inproceedings{douence:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Remi Douence.pdf}, title = {Towards a concurrent model of Event-based Aspect-Oriented Programming}, author = {R\'emi Douence and Jacques {Noy\'e}}, crossref = {:eiwas05}, } @inproceedings{stein:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Dominik Stein.pdf}, title = {Visualizing Join Point Selections for Stateful Aspects}, author = {Dominik Stein and Stefan Hanenberg and Rainer Unland}, crossref = {:eiwas05}, } @inproceedings{hirschfeld:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Robert Hirschfeld.pdf}, title = {Extending Advice Activation in AspectS}, author = {Robert Hirschfeld and Pascal Costanza}, crossref = {:eiwas05}, } @inproceedings{tanter:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Eric Tanter.pdf}, title = {Metalevel Facilities for Multi-Language {AOP}}, author = {\'Eric Tanter}, crossref = {:eiwas05}, } @inproceedings{vandenberg:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Klaas van den Berg.pdf}, title = {Disentangling Crosscutting in {AOSD}: {A} Conceptual Framework}, author = {Klaas {van den Berg} and Jos\'e Mar\'ia Conejero}, crossref = {:eiwas05}, } @inproceedings{adams:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Bram Adams.pdf}, title = {{AOP} for Legacy Environments, a Case Study}, author = {Bram Adams and Kris De Schutter and Andy Zaidman}, crossref = {:eiwas05}, } @inproceedings{durr:eiwas05, url = {http://prog.vub.ac.be/events/eiwas2005/Papers/EIWAS2005-Pascal Durr.pdf}, title = {Reasoning About Semantic Conflicts Between Aspects}, author = {Pascal Durr and Tom Staijen and Lodewijk Bergmans and Mehmet Aksit}, crossref = {:eiwas05}, } @inproceedings{yao:gpce05, author = {Zhen Yao and Qi-long Zheng and Guo-Liang Chen}, title = {{AOP++}: {A} Generic Aspect-Oriented Programming Framework in {C++}}, pages = {94-108}, doi = {http://dx.doi.org/10.1007/11561347_8}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{ubayashi:gpce05, author = {Naoyasu Ubayashi and Tetsuo Tamai and Shinji Sano and Yusaku Maeno and Satoshi Murakami}, title = {Model Compiler Construction Based on Aspect-Oriented Mechanisms}, pages = {109-124}, doi = {http://dx.doi.org/10.1007/11561347_9}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{apel:gpce05, author = {Sven Apel and Thomas Leich and Marko Rosenm{\"u}ller and Gunter Saake}, title = {{FeatureC++}: {On} the Symbiosis of Feature-Oriented and Aspect-Oriented Programming}, pages = {125-140}, doi = {http://dx.doi.org/10.1007/11561347_10}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{wu:gpce05, author = {Pengcheng Wu and Karl J. Lieberherr}, title = {Shadow Programming: {Reasoning} About Programs Using Lexical Join Point Information}, pages = {141-156}, doi = {http://dx.doi.org/10.1007/11561347_11}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{tanter::gpce05, author = {{\'E}ric Tanter and Jacques Noy{\'e}}, title = {A Versatile Kernel for Multi-language {AOP}}, pages = {173-188}, doi = {http://dx.doi.org/10.1007/11561347_13}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{pinto:gpce05, author = {M{\'o}nica Pinto and Daniel Jim{\'e}nez and Lidia Fuentes}, title = {Developing Dynamic and Adaptable Applications with {CAM/DAOP}: {A} Virtual Office Application}, pages = {438-441}, doi = {http://dx.doi.org/10.1007/11561347_29}, crossref = {:gpce05}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{allan:gpce05, crossref = {:gpce05}, author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer {Lhot{\'a}k} and Ondrej {Lhot{\'a}k} and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble}, title = {{{\it abc}}: The {AspectBench} Compiler for {AspectJ}}, pages = {10-16}, doi = {http://dx.doi.org/10.1007/11561347_2}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{kniesel:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/kniesel.pdf}, title = {Generic Aspect Languages - Needs, Options and Challenges}, author = {G\"unter Kniesel and Tobias Rho}, } @inproceedings{denier:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/denier.pdf}, title = {Expression and Composition of Design Patterns with Aspects}, author = {Simon Denier and Herv\'e Albin-Amiot and Pierre Cointe}, } @inproceedings{fabry:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/fabry.jpg}, title = {Aspect-Oriented Domain-Specific Languages for Advanced Transaction Management}, author = {Johan Fabry and Thomas Cleenewerck}, } @inproceedings{escoffier:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/escoffier.pdf}, title = {FractNet - Une impl\'ementation du mod\`ele \'a composant Fractal pour .NET}, author = {Cl\'ement Escoffier and Didier Donsez}, } @inproceedings{Pessemier:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/pessemier.jpg}, title = {Fractal Aspect Component}, author = {Nicolas Pessemier}, } @inproceedings{mostefaoui:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/mostefaoui.pdf}, title = {Mod\'elisation et v\'erificationformelle de la composition des aspects}, author = {Farida Mostefaoui and Julie Vachon}, } @inproceedings{crescenzo:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/crescenzo.pdf}, title = {Une approche pour am\'eliorer la r\'eutilisabilit\`e des mod\`eles m\'etiers}, author = {Pierre Crescenzo and Philippe Lahire}, } @inproceedings{fradet:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/fradet.pdf}, title = {Syst\'emes degestion de ressources et aspects de disponibilit\'e}, author = {Pascal Fradet and St\'ephane Hong Tuan Ha}, } @inproceedings{david:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/david.pdf}, title = {Une approche par aspects pour le d\'eveloppement de composants Fractal adaptatifs}, author = {Pierre-Charles David and Thomas Ledoux}, } @inproceedings{cibran:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/cibran.pdf}, title = {Mapping high-level business rules to and through aspects}, author = {Mar\'ia Agustina {Cibr\'an} and Maja D'Hondt and Viviane Jonckers}, } @inproceedings{cheungfoowoo:jfdlpa05, crossref = {:jfdlpa05}, url = {http://www.lifl.fr/jfdlpa05/cheung.pdf}, title = {Langage d'aspects pour la composition dynamique de composants embarqu\'es}, author = {Daniel Cheung-Foo-Woo and Mireille Blay-Fornarino and Jean-Yves Tigli and Anne-Marie Dery and David Emsellem and- Michel Riveill}, } @inproceedings{painter:icse-macs05, author = {Robert R. Painter and David Coppit}, title = {A model for software plans}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083128}, publisher = {ACM Press}, } @inproceedings{coelho:icse-macs05, author = {Wesley Coelho and Gail C. Murphy}, title = {ActiveAspect: presenting crosscutting structure}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--4}, doi = {http://doi.acm.org/10.1145/1083125.1083131}, publisher = {ACM Press}, } @inproceedings{robillard:icse-macs05, author = {Martin P. Robillard and Gail C. Murphy}, title = {Just-in-time concern modeling}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--3}, doi = {http://doi.acm.org/10.1145/1083125.1083136}, publisher = {ACM Press}, } @inproceedings{harrison:icse-macs05, author = {William Harrison and Harold Ossher and Stanley Sutton and Peri Tarr}, title = {Concern modeling in the concern manipulation environment}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083134}, publisher = {ACM Press}, } @inproceedings{hamza:icse-macs05, author = {Haitham S. Hamza}, title = {Separation of concerns for evolving systems: a stability-driven approach}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083137}, publisher = {ACM Press}, } @inproceedings{shepherd:icse-macs05, author = {David Shepherd and Lori Pollock and Tom Tourw\&\#233;}, title = {Using language clues to discover crosscutting concerns}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--6}, doi = {http://doi.acm.org/10.1145/1083125.1083129}, publisher = {ACM Press}, } @inproceedings{memmert:icse-macs05, author = {Juri Memmert}, title = {Concern patterns and analysis}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083135}, publisher = {ACM Press}, } @inproceedings{saleh:icse-macs05, author = {Mazen Saleh and Hassan Gomaa}, title = {Separation of concerns in software product line engineering}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083139}, publisher = {ACM Press}, } @inproceedings{ying:icse-macs05, author = {Annie T. T. Ying and James L. Wright and Steven Abrams}, title = {An exploration of how comments are used for marking related code fragments}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--4}, doi = {http://doi.acm.org/10.1145/1083125.1083141}, publisher = {ACM Press}, } @inproceedings{ubayashi:icse-macs05, author = {Naoyasu Ubayashi and Tetsuo Tamai}, title = {Concern management for constructing model compilers}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083127}, publisher = {ACM Press}, } @inproceedings{pazos:icse-macs05, author = {Jos\'e J. {Pazos-Arias} and Jorge {Garc\'ia-Duque} and Mart\'in {L\'opez-Nores}}, title = {Locating crosscutting concerns in the formal specification of distributed reactive systems}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083130}, publisher = {ACM Press}, } @inproceedings{jakobac:icse-macs05, author = {Vladimir Jakobac and Nenad Medvidovic and Alexander Egyed}, title = {Separating architectural concerns to ease program understanding}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083132}, publisher = {ACM Press}, } @inproceedings{wu:icse-macs05, author = {Xiaoqing Wu and Barrett R. Bryant and Jeff Gray and Marjan Mernik}, title = {Pattern transformation for two-dimensional separation of concerns}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083133}, publisher = {ACM Press}, } @inproceedings{zhang:icse-macs05, author = {Jing Zhang and Jeff Gray and Yuehua Lin}, title = {A model-driven approach to enforce crosscutting assertion checking}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083138}, publisher = {ACM Press}, } @inproceedings{marin:icse-macs05, author = {Marius Marin and Leon Moonen and Arie van Deursen}, title = {An approach to aspect refactoring based on crosscutting concern types}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083140}, publisher = {ACM Press}, } @inproceedings{liu:icse-macs05, author = {Jing (Janet) Liu and Robyn R. Lutz and Jeffrey M. Thompson}, title = {Mapping concern space to software architecture: a connector-based approach}, booktitle = {MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software}, crossref = {:icse-macs05}, isbn = {1-59593-119-8}, pages = {1--5}, doi = {http://doi.acm.org/10.1145/1083125.1083126}, publisher = {ACM Press}, } @inproceedings{baudry:models-aom05, crossref = {:models-aom05}, author = {Benoit Baudry and Franck Fleurey and Robert France and Raghu Reddy}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Baudry.pdf}, title = {Exploring the Relationship between Model Composition and Model Transformation}, } @inproceedings{cepa:models-aom05, crossref = {:models-aom05}, author = {Vasian Cepa and Sven Kloppenburg}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Cepa.pdf}, title = {Representing Explicit Attributes in UML}, } @inproceedings{cottenier:models-aom05, crossref = {:models-aom05}, author = {Thomas Cottenier and Aswin {Van Den Berg} and Tzilla Elrad}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Cottenier.pdf}, title = {Modeling Aspect-Oriented Compositions}, } @inproceedings{ferreira:models-aom05, crossref = {:models-aom05}, author = {Ricardo Ferreira and Ricardo Raminhos and Ana Moreira}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Ferreira.pdf}, title = {Metadata Driven Aspect Specification}, } @inproceedings{grieskamp:models-aom05, crossref = {:models-aom05}, author = {Wolfgang Grieskamp and Nicolas Kicillof and Colin Campbell}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Grieskamp.pdf}, title = {Behavioral Composition in Symbolic Domains}, } @inproceedings{groher:models-aom05, crossref = {:models-aom05}, author = {Iris Groher and Stephan Bleicher and Christa Schwanninger}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Groher.pdf}, title = {Model-Driven Development for Pluggable Collaborations}, } @inproceedings{jackson:models-aom05, crossref = {:models-aom05}, author = {Andrew Jackson and Siobh\'an Clarke}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Jackson.pdf}, title = {Towards a Generic Aspect Oriented Design Process}, } @inproceedings{lengyel:models-aom05, crossref = {:models-aom05}, author = {L\'aszl\'o Lengyel and Tiham\'er Levendovszky and Hassan Charaf }, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Lengyel.pdf}, title = {Eliminating Crosscutting Constraints from Visual Model Transformation Rules}, } @inproceedings{mahoney:models-aom05, crossref = {:models-aom05}, author = {Mark Mahoney and Tzilla Elrad}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Mahoney.pdf}, title = {Weaving Crosscutting Concerns into Live Sequence Charts Using the Play Engine}, } @inproceedings{pavlich:models-aom05, crossref = {:models-aom05}, author = {Jaime Pavlich-Mariscal and Laurent Michel and Steven Demurjian}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Pavlich.pdf}, title = {Role Slices and Runtime Permissions: Improving an AOP-based Access Control Schema}, } @inproceedings{rached:models-aom05, crossref = {:models-aom05}, author = {Miloud Rached and Jean-Paul Bodeveix and Mamoun Filfali and Odile Nasr}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Rached.pdf}, title = {Real Time Aspects: Specification and Composition in B}, } @inproceedings{reddy:models-aom05, crossref = {:models-aom05}, author = {Raghu Reddy and Robert France and Sudipto Ghosh and Franck Fleurey and Benoit Baudry}, url = {http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/Reddy.pdf}, title = {Model Composition - A Signature-Based Approach}, } @inproceedings{chitchyan:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Relating AO Requirements to AO Architecture}, author = {R. Chitchyan and M. Pinto and L. Fuentes, A. Rashid}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/chitchyan_pinto_fuentes_rashid_ea05.pdf}, } @inproceedings{kulesza:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Instantiating and Customizing Product Line Architectures using Aspects and Crosscutting Feature Models}, author = {U. Kulesza and A. Garcia and F. Bleasby and C. Lucena}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/kulesza-garcia-bleasby-lucena-2005.pdf}, } @inproceedings{merson:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Representing Aspects in the Software Architecture Practical Considerations}, author = {Paulo Merson}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/Merson05_EAworkshop.pdf}, } @inproceedings{bubl:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Never mind the Source Code, but be aware of the Context when dealing with Cross Cutting Requirements}, author = {Felix Bubl}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/buebl-context_and_aspects.pdf}, } @inproceedings{rosenhainer:oopsla-ea05, crossref = {:oopsla-ea05}, title = {The Discern method: Dealing Separately with Crosscutting Concerns}, author = {Lars Rosenhainer}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/rosenhainer.pdf}, } @inproceedings{suen:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Isolating Concerns in Requirements using Latent Semantic Analysis}, author = {R. Suen and E. Baniassad}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/LSA-AORA.pdf}, } @inproceedings{walton:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Feature Types in Early Aspects}, author = {S. Walton and E. Eide}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/walton.pdf}, } @inproceedings{deresende:oopsla-ea05, crossref = {:oopsla-ea05}, title = {Early Aspects: Some Analysis, Trends and Perspectives}, author = {A. M. P. {de Resende} and F. F. Silveira and A. M. {da Cunha}}, url = {http://www.cse.cuhk.edu.hk/~elisa/EA/Resende - OOPSLA-EA 05 V1.5.pdf}, } @inproceedings{alfert:splc-aspl05, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Alfert.pdf}, title = {Requirements, Features and Aspectsfor Software Product Lines}, author = {Klaus Alfert}, crossref = {:splc-aspl05}, } @inproceedings{apel:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Apel Leich Saake.pdf"}, title = {Aspect Refinement in Software Product Lines}, author = {Sven Apel and Thomas Leich and Gunter Saake}, } @inproceedings{chastek:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Chastek McGregor.pdf}, title = {Early Aspects in Software Product Line in Product Production}, author = {Gary Chastek and John D. McGregor} } @inproceedings{groher:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Groher Bleicher Schwanninger.pdf}, title = {Designing Features as Pluggable Collaborations}, author = {Iris Groher and Stephan Bleicher and Christa Schwanninger}, } @inproceedings{klein:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Klein Jezequel.pdf}, title = {Problems of the Semantic-based Weaving of Scenarios}, author = {Jacques Klein and Jean-Marc {J\'ez\'equel}}, } @inproceedings{nyssen:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper Nyben Tyszberowicz Weiler.pdf}, title = {Are Aspects useful for Managing Variability in Software Product Lines? A Case Study}, author = {Alexander Nyssen and Shmuel Tyszberowicz and Thomas Weiler}, } @inproceedings{siy:splc-aspl05, crossref = {:splc-aspl05}, url = {http://trese.cs.utwente.nl/workshops/early-aspects-SPLC2005/Papers/Paper%20Siy Zand Winter.pdf}, title = {The Role of Aspects in Domain Engineering}, author = {Harvey Siy and Mansour Zand and Victor Winter}, } @book{pawlak:faopj2ee05, title = {Foundations of {AOP} for {J2EE} Development}, author = {Renaud Pawlak and Jean-Philippe {Retaill\'e} and Lionel Seinturier}, publisher = {APress}, ISBN = {1-59059-507-6}, year = {2005} } @book{pawlak:poapj04, title = {Programmation orient\'ee aspect pour {Java/J2EE}}, author = {Renaud Pawlak and Jean-Philippe {Retaill\'e} and Lionel Seinturier}, publisher = {Eyrolles}, year = 2004, remark = {In French} } @techreport{jrockit:boner05, title = {{JRockit} {JVM} Support For {AOP}, Part 1}, author = {Jonas {Bon\'er} and Alexandre Vasseur and Joakim Dahlstedt}, month = aug, year = 2005, url = {http://dev2dev.bea.com/pub/a/2005/08/jvm_aop_1.html}, institution = {BEA dev2dev}, } @techreport{jrockit:boner05a, title = {{JRockit} {JVM} Support For {AOP}, Part 2}, author = {Jonas {Bon\'er} and Alexandre Vasseur and Joakim Dahlstedt}, month = aug, year = 2005, url = {http://dev2dev.bea.com/pub/a/2005/08/jvm_aop_2.html}, institution = {BEA dev2dev}, } @techreport{sampaio:aosdeu05b, author = {Americo Sampaio and Awais Rashid}, month = apr, year = 2005, number = {AOSD-Europe-ULANC-4}, title = {Report on Tools for Knowlegde Repository}, url = {http://www.aosd-europe.net/documents/index.htm/kRep.pdf}, abstract = {This document describes technologies and tools related to Knowledge Repositories.}, institution = {AOSD-Europe}, } @techreport{sampaio:asodeu05, institution = {AOSD-Europe}, author = {Americo Sampaio and Awais Rashid}, month = apr, year = 2005, number = {AOSD-Europe-ULANC-3}, title = {Report on Tools for Web Portal Construction}, url = {http://www.aosd-europe.net/documents/index.htm/webPortal.pdf}, abstract = {This document describes recent web development techniques, standards and tools for web portal construction.} } @techreport{haupt:aosdeu05, institution = {AOSD-Europe}, number = {AOSD-Europe-TUD-3}, month = mar, year = 2005, author = {Michael Haupt and Matthew Webster and Siobh\'an Clarke and Andrew Jackson and Awais Rashid}, title = {Report of Current {AOSD} Tools-Based Activity in the Network}, url = {http://www.aosd-europe.net/documents/index.htm/FinalDeliverableD7.pdf}, abstract = {In this report, a survey of ongoing work in the AOSD-Europe network of excellence is presented.} } @techreport{chitchyan:aosdeu05, number = {AOSD-Europe-ULANC-9}, month = may, year = 2005, institution = {AOSD-Europe}, author = {Ruzanna Chitchyan and Awais Rashid and Pete Sawyer and Alessandro Garcia and M\'onica Pinto Alarcon and Jethro Bakker and Bedir Tekinerdogan and Siobh\'an Clarke and, Andrew Jackson}, title = {Survey of Aspect-Oriented Analysis and Design Approaches}, url = {http://www.aosd-europe.net/documents/index.htm/analys.pdf}, abstract = {In this report, several methods and techniques for Aspect-Oriented Analysis and Design are presented.} } @techreport{brichau:aosdeu05, institution = {AOSD-Europe}, number = {AOSD-Europe-VUB-01}, author = {Johan Brichau and Michael Haupt}, month = may, year = 2005, title = {Survey of Aspect-Oriented Languages and Execution Models }, url = {http://www.aosd-europe.net/documents/index.htm/aspLang.pdf}, abstract = {In this report, different Aspect-oriented Languages and Execution Models are presented.} } @techreport{loughran:aosdeu05, institution = {AOSD-Europe}, number = {AOSD-Europe-ULANC-10}, month = jun, year = 2005, author = {Neil Loughran and Nikos Parlavantzas and Monica Pinto and Lidia Fuentes Fern\'andez and Pablo S\'anchez and Matthew Webster and Adrian Colyer}, title = {Survey of Aspect-Oriented Middleware }, url = {http://www.aosd-europe.net/documents/index.htm/middle.pdf}, abstract = {In this report, different Aspect-oriented middlewares are presented and assessed.} } @inproceedings{tatsuzawa:icfp05, title = {Aspectual Caml: an Aspect-Oriented Functional Language}, author = {Hideaki Tatsuzawa and Hidehiko Masuhara and Akinori Yonezawa}, booktitle = {International Conference on Functional Programming (ICFP)}, location = {Tallinn, Estonia}, month = sep, publisher = {ACM}, year = 2005, isbn = {1-59593-064-7}, pages = {320--330}, doi = {http://doi.acm.org/10.1145/1086365.1086405}, } @inproceedings{dantas:icfp05, title = {PolyAML: A polymorphic aspect-oriented functional programmming language}, author = {Daniel S. Dantas and David Walker and Geoffrey Washburn and Stephanie Weirich}, booktitle = {International Conference on Functional Programming (ICFP)}, location = {Tallinn, Estonia}, month = sep, publisher = {ACM}, year = 2005, isbn = {1-59593-064-7}, doi = {http://doi.acm.org/10.1145/1086365.1086404}, pages = {306--319}, } @article{ray:ist04, author = {I. Ray and R. France and N. Li and G. Georg}, title = {An aspect-based approach to modeling access control concern}, journal = {Information and Software Technology}, month = jul, year = 2004, pages = {557-587} } @inproceedings{georg:iceccs05, author = {G. Georg and I. Ray and R. France}, title = {Using Aspects to Design a Secure System}, booktitle = {Proc. 8th IEEE Int'l Conf. on Engineering of Complex Computer Systems}, publisher = {IEEE CS Press}, month = dec, year = 2002 } @inproceedings{chen:ispec05, author = {K. Chen and C.M. Huang}, title = {A Practical Aspect Framework for Enforcing Fine-Grained Access Control in Web Applications}, booktitle = {Proc. of First Information Security Practice and Experience Conference (ISPEC 2005)}, series = {LNCS}, volume = {3439}, publisher = {Springer-Verlag}, year = 2005, pages = {156-167} } @inproceedings{kiczales:icse05, author = {Gregor Kiczales and Mira Mezini}, title = {Aspect-oriented programming and modular reasoning}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {49--58}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062482}, publisher = {ACM Press}, address = {New York}, } @inproceedings{courbis:icse05, author = {Carine Courbis and Anthony Finkelstein}, title = {Towards aspect weaving applications}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {69--77}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062484}, publisher = {ACM Press}, address = {New York}, } @inproceedings{batory:icse05, author = {Don Batory and Jia Liu and Jacob Neal Sarvela}, title = {Refinements and multi-dimensional separation of concerns}, booktitle = {ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering}, year = {2003}, isbn = {1-58113-743-5}, pages = {48--57}, location = {Helsinki}, doi = {http://doi.acm.org/10.1145/940071.940079}, publisher = {ACM Press}, address = {New York}, } @inproceedings{chung:icse05, author = {William Chung and William Harrison and Vincent Kruskal and Harold Ossher and Stanley M. Sutton, Jr. and Peri Tarr and Matthew Chapman and Andrew Clement and Helen Hawkins and Sian January}, title = {The concern manipulation environment (Demonstration)}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = 2005, isbn = {1-59593-963-2}, pages = {666--667}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062599}, publisher = {ACM Press}, address = {New York}, } @inproceedings{kiczales:icse05a, author = {Gregor Kiczales}, title = {Aspect-oriented programming (Tutorial)}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {730--730}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062640}, publisher = {ACM Press}, address = {New York}, } @inproceedings{robillard:icse05, author = {Martin P. Robillard and Peri Tarr}, title = {First international workshop on the modeling and analysis of concerns in software (MACS 2005)}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {685--685}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062611}, publisher = {ACM Press}, address = {New York}, } @inproceedings{rajan:icse05, author = {Hridesh Rajan and Kevin J. Sullivan}, title = {Classpects: unifying aspect- and object-oriented language design}, booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering}, year = {2005}, isbn = {1-59593-963-2}, pages = {59--68}, location = {St. Louis}, doi = {http://doi.acm.org/10.1145/1062455.1062483}, publisher = {ACM Press}, address = {New York}, } @inproceedings{rajan:esecfse03, author = {Hridesh Rajan and Kevin Sullivan}, title = {Eos: instance-level aspects for integrated system design}, booktitle = {ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering}, year = {2003}, isbn = {1-58113-743-5}, pages = {297--306}, location = {Helsinki, Finland}, doi = {http://doi.acm.org/10.1145/940071.940111}, publisher = {ACM Press}, address = {New York, NY, USA}, } @article{lieberherr:toplas04, author = {Karl Lieberherr and Boaz Pat-Shamir and Doug Orleans}, title = {Traversals of object structures: {Specification} and efficient implementation}, journal = toplas, month = mar, year = 2004, pages = {370--412}, volume = 26, number = 2 } @mastersthesis{furlong:ms05, author = {Jason Furlong}, school = {Royal Military College of Canada}, title = {Using Aspect-Oriented Software Development to build a Scenario Based Access Control Reference Monitor}, url = {http://www.jasonfurlong.com/thesis.pdf}, year = 2005, abstract = {Aspect-Oriented Software Development (AOSD) provides the facility to modularize cross-cutting concerns in a software system. One of the benefits of AOSD is the simultaneous parallel decomposition of orthogonal concerns, which is termed application transparency. An additional advantage is that the software programmers can focus on their respective concerns, in effect allowing for a greater amount of specialization within a project. One of the most common crosscutting concerns is security, in particular the issue of access control of protected resources and data. The goal of this thesis was to use AOSD to build a security reference monitor and implement the Scenario-Based Access Control (SBAC) model in an enterprise environment. The SBAC model is based upon the workflow of a business environment and allocates permissions based on a pre-scripted scenario. The implementation environment used the Java 2 Enterprise Edition (J2EE) application environment along with the Jakarta-Struts Model-View-Controller (MVC) framework to provide a web browser interface to the user. The thesis concludes that nearly complete application transparency and concern specialization is realizable.} } @inproceedings{breu:ase04, title = {Aspect mining using event traces}, author = {Silvia Breu and Jens Krinke}, pages = {310--315}, url = {http://ieeexplore.ieee.org/iel5/9305/29571/01342754.pdf?isNumber=29571&prod=CNF&arnumber=1342754&arSt=+310&ared=+315&arAuthor=+Breu%2C+S.%3B++Krinke%2C+J.}, publisher = {IEEE Computer Society}, address = {Los Alamitos, California}, location = {Linz, Austria}, month = sep, booktitle = {19th International Conference on Automated Software Engineering}, year = 2004} } @inproceedings{garcia:aosd05, crossref = {:aosd05}, title = {Modularizing Design Patterns with Aspects: {A} Quantitative Study}, author = {Alessandro Garcia and Cl\'audio Sant'Anna and Eduardo Figueiredo and Uir\'a Kulesza and Carlos Lucena and Arndt von Staa}, pages = {3--14}, } @inproceedings{lopes:aosd05, crossref = {:aosd05}, title = {An Analysis Of Modularity In Aspect Oriented Design}, author = {Cristina Videira Lopes and Sushil Krishna Bajracharya}, pages = {15--26}, } @inproceedings{douence:aosd05, crossref = {:aosd05}, title = {An expressive aspect language for system applications with {Arachne}}, author = {R\'emi Douence and Fritz Thomas and Nicolas Loriant and Jean-Marc Menaud and Marc {S\'egura-Devillechaise} and Mario {S\'udholt}}, pages = {27--38}, } @inproceedings{tesanovic:aosd05, crossref = {:aosd05}, title = {Empowering Configurable {QoS} Management in Real-Time Systems}, author = {Aleksandra Tesanovic and Mehdi Amirijoo and Mikael {Bj\'ork} and J\'orgen Hansson}, pages = {39--50}, } @inproceedings{engel:aosd05, crossref = {:aosd05}, title = {Supporting Autonomic Computing Functionality via Dynamic Operating System Kernel Aspects}, author = {Michael Engel and Bernd Freisleben}, pages = {51--62}, } @inproceedings{zhang:aosd05, crossref = {:aosd05}, title = {Towards Just-in-time Middleware Architectures}, author = {Charles Zhang and Gilbert Gao and Hans-Arno Jacobsen}, pages = {63--74}, } @inproceedings{vanderperren:aosd05, crossref = {:aosd05}, title = {Adaptive Programming in {JAsCo}}, author = {Wim Vanderperren and Davy {Suv\'ee} and Bart Verheecke and Mar\'\i{}a Agustina {Cibr\'an} and Viviane Jonckers}, pages = {75--86}, } @inproceedings{avgustinov:aosd05, crossref = {:aosd05}, title = {{abc}: {An} Extensible {AspectJ} Compiler}, author = {Pavel Avgustinov and Aske Simon Christensen and Laurie Hendren and Sascha Kuzins and Jennifer Lhotak and Ondrej Lhotak and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble}, pages = {87--98}, } @inproceedings{deschutter:aosd05, crossref = {:aosd05}, title = {What does aspect-oriented programming mean to {Cobol}?}, author = {Ralf {L\'ammel} and Kris De Schutter}, pages = {99--110}, } @inproceedings{monteiro:aosd05, crossref = {:aosd05}, title = {Towards a Catalog of Aspect-Oriented Refactorings}, author = {Miguel Monteiro and Jo\tildacc{a}o Fernandes}, pages = {111--122}, } @inproceedings{cole:aosd05, crossref = {:aosd05}, title = {Deriving Refactorings for {AspectJ}}, author = {Leonardo Cole and Paulo Borba}, pages = {123--134}, } @inproceedings{hannemann:aosd05, crossref = {:aosd05}, title = {Role-Based Refactoring of Crosscutting Concerns}, author = {Jan Hannemann and Gail Murphy and Gregor Kiczales}, pages = {135--146}, } @inproceedings{cheng:aosd05, crossref = {:aosd05}, title = {Weaving a Social Fabric into Existing Software}, author = {Li-Te Cheng and John Patterson and Steven Rohall and Susanne Hupfer and Steven Ross}, pages = {147--158}, } @inproceedings{kersten:aosd05, crossref = {:aosd05}, title = {Mylar: a degree-of-interest model for {IDEs}}, author = {Mik Kersten and Gail Murphy}, pages = {159--168}, } @inproceedings{lam:aosd05, crossref = {:aosd05}, title = {Crosscutting Techniques in Program Specification and Analysis}, author = {Patrick Lam and Viktor Kuncak and Martin Rinard}, pages = {169--180}, } @inproceedings{rajan:aosd05, crossref = {:aosd05}, title = {Aspect Language Features for Concern Coverage Profiling}, author = {Hridesh Rajan and Kevin Sullivan }, pages = {181--191}, } @inproceedings{mceachen:aosd05, crossref = {:aosd05}, title = {Distributing Classes with Woven Concerns---An Exploration of Potential Fault Scenarios}, author = {Nathan McEachen and Roger Alexander }, pages = {192--200}, } @inproceedings{engel:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/engel.pdf}, title = {Using a Low-Level Virtual Machine to Improve Dynamic Aspect Support in Operating System Kernels}, author = {Michael Engel and Bernd Freisleben}, } @inproceedings{lafferty:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/lafferty.pdf}, title = {Avoiding Incorrect and Unpredictable Behaviour with Attribute-based Crosscutting}, author = {Donal Lafferty}, } @inproceedings{lawall:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/lawall.pdf}, title = {Tarantula: Killing Driver Bugs Before They Hatch}, author = {Julia L. Lawall and Gilles Muller and Richard Urunuela}, } @inproceedings{lohmann:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/lohmann.pdf}, title = {On the Configuration of Non-Functional Properties in Operating System Product Lines}, author = {Daniel Lohmann and Olaf Spinczyk and Wolfgang {Schr\"oder-Preikschat}}, } @inproceedings{loriant:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/loriant.pdf}, title = {Software security patches: {Audit}, deployment and hot update}, author = {Nicolas Loriant and Marc {S\'eegura-Devillechaise} and Jean-Marc Menaud}, } @inproceedings{monfort:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/monfort.pdf}, title = {Weaving Aspects to Support High Reliable Systems: {Developping} a Blood Plasma Analysis Automaton}, author = {Val\'erie Monfort and Muhammad Usman Bhatti and Assia {Ait Ali Slimane}}, } @inproceedings{pesonen:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/pesonen.pdf}, title = {Evaluating an Aspect-Oriented Approach for Production-Testing Software}, author = {Jani Pesonen and Mika Katara and Tommi Mikkonen}, } @inproceedings{tesanovic:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/tesanovic.pdf}, title = {Development environment for configuration and analysis of embedded and real-time systems}, author = {Aleksandra Tesanovic and Peng Mu and J\"orgen Hansson}, } @inproceedings{wohlstadter:aosd-acp4is05, crossref = {:aosd-acp4is05}, url = {http://aosd.net/2005/workshops/acp4is/crc/wohlstadter.pdf}, title = {Two Party Aspect Agreement using a {COTS} Solver}, author = {Eric Wohlstadter and Stefan Tai and Prem Devanbu}, } @inproceedings{gonzalez:aosd-aom05, crossref = {:aosd-aom05}, author = {Pablo Amaya and Carlos {Gonz\'alez} and Juan Murillo}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Amaya.pdf}, title = {{MDA} and Separation of Aspects --- An Approach based on Multiple Views and Subject Oriented Design} } @inproceedings{conejero:aosd-aom05, crossref = {:aosd-aom05}, author = {Jos\'e Conejero and Juan {Hern\'andez} and Roberto {Rodr\'\i{}guez}}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Conejero.pdf}, title = {{UML} Profile Definition for Dealing with the Notification Aspect in Distributed Environments} } @inproceedings{gokhale:aosd-aom05, crossref = {:aosd-aom05}, author = {Aniruddha Gokhale and Jeff Gray}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Gokhale.pdf}, title = {An Integrated Aspect-Oriented Model-Driven Development Toolsuite for Distributed Real-Time and Embedded Systems} } @inproceedings{han:aosd-aom05, crossref = {:aosd-aom05}, author = {Yan Han and G\"unter Kniesel and Armin Cremers}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Han.pdf}, title = {Towards Visual AspectJ by a Meta Model and Modeling Notation} } @inproceedings{mahoney:aosd-aom05, crossref = {:aosd-aom05}, author = {Mark Mahoney and Tzilla Elrad}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Mahoney.pdf}, title = {Modeling Platform Specific Attributes of a System as Crosscutting Concerns using Aspect-Oriented Statecharts and Virtual Finite State Machines} } @inproceedings{reddy:aosd-aom05, crossref = {:aosd-aom05}, author = {Raghu Reddy and Robert France and Geri Georg}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Reddy.pdf}, title = {An Aspect Oriented Approach to Analyzing Dependability Features} } @inproceedings{tkatchenko:aosd-aom05, crossref = {:aosd-aom05}, author = {Maria Tkatchenko and Gregor Kiczales}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Tkatchenko.pdf}, title = {Uniform Support for Modeling Crosscutting Structure} } @inproceedings{zhang:aosd-aom05, crossref = {:aosd-aom05}, author = {Gefei Zhang and Hubert Baumeister and Nora Koch and Alexander Knapp}, url = {http://dawis.informatik.uni-essen.de/events/AOM_AOSD2005/Zhang.pdf}, title = {Aspect-Oriented Modeling of Access Control in Web Applications} } @inproceedings{cole:aosd-foal05, crossref = {:aosd-foal05}, title = {Proving aspect-oriented programming laws}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/cole-borba-mota.pdf}, author = {Leonardo Cole and Paulo Borba and Alexandre Mota } } @inproceedings{harbulot:aosd-foal05, crossref = {:aosd-foal05}, title = {A join point for loops in {AspectJ}}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/harbulot-gurd.pdf}, author = {Bruno Harbulot and John R. Gurd } } @inproceedings{wu:aosd-foal05, crossref = {:aosd-foal05}, title = {How to Compile Aspects with {Real-Time} {Java}}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/wu.pdf}, author = {Pengcheng Wu } } @inproceedings{balzarotti:aosd-foal05, crossref = {:aosd-foal05}, title = {Slicing {AspectJ} Woven Code}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/balzarotti-etal.pdf}, author = {Davide Balzarotti and Antonio Castaldo D'Ursi and Luca Cavallaro and Mattia Monga } } @inproceedings{klose:aosd-foal05, crossref = {:aosd-foal05}, title = {Back to the Future: {Pointcuts} as Predicates over Traces}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/klose-ostermann.pdf}, author = {Karl Klose and Klaus Ostermann } } @inproceedings{tatsuzawa:aosd-foal05, crossref = {:aosd-foal05}, title = {Aspectual Caml: {An} Aspect-Oriented Functional Language}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/tatsuzawa-masuhara-yonezawa.pdf}, author = {Hideaki Tatsuzawa and Hidehiko Masuhara and Akinori Yonezawa} } @inproceedings{clifton:aosd-foal05, crossref = {:aosd-foal05}, title = {{MiniMAO}: {Investigating} the Semantics of Proceed}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/clifton-leavens.pdf}, author = {Curtis Clifton and Gary T. Leavens } } @inproceedings{lieberherr:aosd-foal05, crossref = {:aosd-foal05}, title = {Expressiveness and Complexity of Crosscut Languages}, url = {http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/lieberherr-palm-sundaram.pdf}, author = {Karl J. Lieberherr and Jeffrey Palm and Ravi Sundaram } } @inproceedings{gulesir:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/gulesir-bergmans-durr-nagy.pdf}, title = {Separating and Managing Dependent Concerns}, author = {Gurcan Gulesir and Lodewijk Bergmans and Pascal Durr and Istvan Nagy} } @inproceedings{gybels:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/gybels-kellens.pdf}, title = {Experiences with Identifying Aspects in {Smalltalk} Using Unique Methods}, author = {Kris Gybels and Andy Kellens} } @inproceedings{shepherd:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/shepherd-pollock.pdf}, title = {Interfaces, Aspects, and Views}, author = {David Shepherd and Lori Pollock} } @inproceedings{legear:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/legear-cleary-buckley-collins-exton.pdf}, title = {Making a Reuse Aspectual View Explicit in Existing Software}, author = {Le Gear, Andrew and Brendan Cleary and Jim Buckley and J.J. Collins and Chris Exton.} } @inproceedings{mongo:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/monga.pdf}, title = {Aspect-Oriented Programming as Model Driven Evolution}, author = {Mattia Monga}, } @inproceedings{fuentes:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/fuentes-jimenez-pinto.pdf}, title = {Experiences Refactoring Ambient Intelligence Applications with Aspects}, author = {Lidia Fuentes and Daniel Jimenez and Monica Pinto} } @inproceedings{vonduersen:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/vandeursen-marin-moonen.pdf}, title = {{AJHotDraw}: {A} showcase for refactoring to aspects}, author = {van Deursen, Arie and Marius Marin and Leon Moonen.} } @inproceedings{gibbs:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/gibbs-liu-coady.pdf}, title = {And the Band Played On: {Are} Aspects Adrift in a Sea of Sinking Code?}, author = {Celina Gibbs and Chunjian Robin Liu and Yvonne Coady} } @inproceedings{wloka:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/wloka.pdf}, title = {Aspect-aware Refactoring tool support}, author = {Jan Wloka} } @inproceedings{binkley:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/binkley-ceccato-harman-tonella.pdf}, title = {Automated Pointcut Extraction}, author = {Dave Binkley and Mariano Ceccato and Mark Harman and Paolo Tonella} } @inproceedings{zhang:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/zhang-jacobsen-waterhouse-colyer.pdf}, title = {Aspect Refactoring Verifier}, author = {Charles Zhang and Hans-Arno Jacobsen and Julie Waterhouse and Adrian Colyer.} } @inproceedings{monteiro:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/monteiro-fernandes.pdf}, title = {The Search for Aspect-Oriented Refactorings Must Go On}, author = {Miguel P. Monteiro and Joao M. Fernandes} } @inproceedings{roychoudhury:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/roychoudhury-gray.pdf}, title = {Towards Language Independent Weaving Using Grammar Adapters}, author = {Suman Roychoudhury and Jeff Gray.} } @inproceedings{schafer:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/schafer-eichberg-mezini.pdf}, title = {Towards exploring crosscutting concerns}, author = {Thorsten Schafer and Michael Eichberg and Mira Mezini} } @inproceedings{chung:aosd-late05, crossref = {:aosd-late05}, url = {http://homepages.cwi.nl/{\tilda}tourwe/late/submissions/chung-harrison-kruskal-ossher-sutton-tarr.pdf}, title = {Working with Implicit Concerns in the Concern Manipulation Environment}, author = {William Chung and William Harrison and Vincent Kruskal and Harold Ossher and Sutton Jr., Stanley M. and Peri Tarr} } @inproceedings{boucke:aosd-daw05, crossref = {:aosd-daw05}, title = {State-Based Join-Points: {Motivation} and Requirements}, pages = {1--4}, author = {Nelis {Bouck\'e} and Tom Holvoet} } @inproceedings{fritz:aosd-daw05, crossref = {:aosd-daw05}, title = {An application of dynamic {AOP} to medical image generation}, pages = {5--12}, author = {Thomas Fritz and Marc {S\'egura} and Mario {S\"udholt} and Egon Wuchner and Jean-Marc Menaud} } @inproceedings{cibran:aosd-daw05, crossref = {:aosd-daw05}, title = {Dynamic Business Rules for Web Service Composition}, pages = {13--18}, author = {Maria Agustina Cibran and Bart Verheecke} } @inproceedings{hofmann:aosd-daw05, crossref = {:aosd-daw05}, title = {Flexible Call-by-call Settlement --- An Opportunity for Dynamic {AOP}}, pages = {19--25}, author = {Christian Hofmann and Robert Hirschfeld and Jeff Eastman} } @inproceedings{manson:aosd-daw05, crossref = {:aosd-daw05}, title = {Dynamic Aspects for Runtime Fault Determination and Recovery}, pages = {27--32}, author = {Jeremy Manson and Jan Vitek and Suresh Jagannathan} } @inproceedings{fuentes:aosd-daw05, crossref = {:aosd-daw05}, title = {Dynamic Weaving in {CAM/DAOP}: {An} Application Architecture Driven Approach}, pages = {33--39}, author = {Lidia Fuentes and M\'onica Pinto and Pablo {S\'anchez}} } @inproceedings{yanagisawa:aosd-daw05, crossref = {:aosd-daw05}, title = {A Source-level Kernel Profiler based on Dynamic Aspect Orientation}, pages = {41--45}, author = {Yoshisato Yanagisawa and Shigeru Chiba and Kenichi Kourai} } @inproceedings{almajali:aosd-daw05, crossref = {:aosd-daw05}, title = {Coupling Availability and Efficiency for Aspect Oriented Runtime Weaving Systems}, pages = {47--55}, author = {Sufyan Almajali and Tzilla Elrad} } @inproceedings{liu:aosd-daw05, crossref = {:aosd-daw05}, title = {{SONAR}: System Optimization and Navigation with Aspects at Runtime}, pages = {57--62}, author = {Chunjian Robin Liu and Celina Gibbs and Yvonne Coady} } @inproceedings{varma:aosd-daw05, crossref = {:aosd-daw05}, title = {Dependency Issues in Aspect Weaving}, pages = {63--69}, author = {Aditya Varma and T. V. Prabhakar} } @inproceedings{bockisch:aosd-daw05, crossref = {:aosd-daw05}, title = {Quantifying over Dynamic Properties of Program Execution}, pages = {71--75}, author = {Christoph Bockisch and Mira Mezini and Klaus Ostermann} } @inproceedings{defraine:aosd-daw05, crossref = {:aosd-daw05}, title = {Jumping Aspects Revisited}, pages = {77--86}, author = {De Fraine, Bruno and Wim Vanderperren and Davy {Suv\'ee} and Johan Brichau} } @inproceedings{cottenier:aosd-daw05, crossref = {:aosd-daw05}, title = {Contextual Pointcut Expressions for Dynamic Service Customization}, pages = {87--91}, author = {Thomas Cottenier and Tzilla Elrad} } @inproceedings{herrmann:aosd-daw05, crossref = {:aosd-daw05}, title = {Using Guard Predicates for Generalized Control of Aspect Instantiation and Activation}, pages = {93--101}, author = {Stephan Herrmann and Christine Hundt and Katharina Mehner and Jan Wloka} } @inproceedings{sampaio:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/01_SampaioLoughranRashidRayson_Lancaster.pdf}, title = {Mining Aspects in Requirements}, author = {A. Sampaio and N. Loughran and A. Rashid and P. Rayson} } @inproceedings{gonzalez:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/04_GonzalezAmayaMurillo_UExtremaduraSpain.pdf}, title = {Aspect-Oriented Analysis: {A} {MDA} Based Approach}, author = {C. Gonz\'alez and J.M Murillo and Pablo A. Amaya} } @inproceedings{zhang:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/07_ZhangJacobsenYu_UToronto.pdf}, title = {Linking Goals to Aspects}, author = {C. Zhang and H. A. Jacobsen and Y. Yu} } @inproceedings{mehner:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/08_MehnerTaentzer_TUBerlin.pdf}, title = {Supporting Aspect Oriented Modeling with Graph Transformations}, author = {K. Mehner and G. Taentzner} } @inproceedings{duan:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/09_DuanHuangSettimiZou_DepaulU.pdf}, title = {Decision Making Support for Early Aspects Identification Based on Probabilistic Trace Retrieval}, author = {C. Duan and J. Cleland-Huang and R. Settimi and X. Zou} } @inproceedings{bakker:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/11_BakkerBedirAksit_Twente.pdf}, title = {Characterization of Early Aspects Approaches}, author = {J. Bakker and B. {Tekinerdo{\u g}an} and M. {Ak{\c s}it}} } @inproceedings{xu:aosd-ea05, crossref = {:aosd-ea05}, url = {http://trese.cs.utwente.nl/early-aspects-AOSD2005/Papers/12_XuZivRichardsonLiu_UCIrvineCSFullerton.pdf}, title = {Towards Modeling Non-Functional Requirements in Software Architecture}, author = {L. Xu and H. Ziv and D. Richardson and Z. Liu} } @inproceedings{adams:aosd-splat05, crossref = {:aosd-splat05}, author = {Bram Adams and Tom {Tourw\'e}}, title = {Aspect Orientation for C: Express yourself}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Adams.pdf} } @inproceedings{aotani:aosd-splat05, crossref = {:aosd-splat05}, author = {Tomoyuki Aotani and Hidehiko Masuhara}, title = {Compiling Conditional Pointcuts for User-Level Semantic Pointcuts}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Aotani.pdf} } @inproceedings{bodden:aosd-splat05, crossref = {:aosd-splat05}, author = {Eric Bodden}, title = {Concern specific languages and their implementation with abc}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Bodden.pdf} } @inproceedings{bostrom:aosd-splat05, crossref = {:aosd-splat05}, author = {Gustav {Bostr\"om} and Martin Henkel and Jaana {W\"ayrynen}}, title = {Aspects in the Agile Toolbox}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Bostrom.pdf} } @inproceedings{chen:aosd-splat05, crossref = {:aosd-splat05}, author = {Kung Chen and Chih-Mao Huang}, title = {On Designing Access Control Aspects for Web Applications}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Kung.pdf} } @inproceedings{ernst:aosd-splat05, crossref = {:aosd-splat05}, author = {Erik Ernst}, title = {The Hardship of Software}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Ernst.pdf} } @inproceedings{hamel:aosd-splat05, crossref = {:aosd-splat05}, author = {Karl Matthias Hamel and Klaus Ostermann}, title = {Modularity and Reusability of Algorithms---A Case Study using {Caesar}}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Hamel.pdf} } @inproceedings{kellens:aosd-splat05, crossref = {:aosd-splat05}, author = {Andy Kellens and Kris Gybels}, title = {Issues in Performing and Automating the ``Extract Method Calls'' Refactoring<}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Kellens.pdf} } @inproceedings{leung:aosd-splat05, crossref = {:aosd-splat05}, author = {Wu-Hon F. Leung}, title = {Untangle with Nonprocedural Programming}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Leung.pdf} } @inproceedings{lopez-herrejon:aosd-splat05, crossref = {:aosd-splat05}, author = {Roberto E. Lopez-Herrejon and Don Batory}, title = {Improving Incremental Development in AspectJ by Bounding Quantification}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Lopez.pdf} } @inproceedings{kojarski:aosd-splat05, crossref = {:aosd-splat05}, author = {Sergei Kojarski and David H. Lorenz}, title = {A Top-Down Model of an AOP Weaving Process}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Lorenz.pdf} } @inproceedings{mehmood:aosd-splat05, crossref = {:aosd-splat05}, author = {Tariq Mehmood and Naveed Ashraf and S. {Tauseef-ur-Rehman}}, title = {Framework for Separating Performance Concerns and Improved Modularity in Multi agent systems (MAS) using Aspect Oriented Programming (AOP)}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Mehmood.pdf} } @inproceedings{nagy:aosd-splat05, crossref = {:aosd-splat05}, author = {Istvan Nagy and Lodewijk Bergmans and Gurcan Gulesir and Pascal Durr and Mehmet {Ak{\c s}it}}, title = {Generic, Property Based Queries for Evolvable Weaving Specifications}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Nagy.pdf} } @inproceedings{newman:aosd-splat05, crossref = {:aosd-splat05}, author = {Elissa Newman}, title = {Query-based Modeling and Fluid}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Newman.pdf} } @inproceedings{stoerzer:aosd-splat05, crossref = {:aosd-splat05}, author = {Maximilan Stoerzer and Stefan Hanenberg}, title = {A Classification of Pointcut Language Constructs}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Stoerzer.pdf} } @inproceedings{suvee:aosd-splat05, crossref = {:aosd-splat05}, author = {Davy Suv\'ee and Bruno De Fraine and Wim Vanderperren}, title = {{FuseJ}: An architectural description language for unifying aspects and components}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Suvee.pdf} } @inproceedings{verheecke:aosd-splat05, crossref = {:aosd-splat05}, author = {Bart Verheecke and Mar\'\i{}a Agustina Cibr\'an}, title = {Dynamic Aspects in Large Scale Distributed Applications---An Experience Report}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Verheecke.pdf} } @inproceedings{yamada:aosd-splat05, crossref = {:aosd-splat05}, author = {Kiyoshi Yamada and Takuo Watanabe}, title = {Moxa: {An} Aspect-Oriented Approach to Modular Behavioral Specifications}, url = {http://www.daimi.au.dk/~eernst/splat05/papers/Yamada.pdf} } @inproceedings{li:uml-aom04, author = {Jingyue Li and Siv Hilde Houmb and Axel Anders Kvale}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/AcceptedPapers/jingyue.pdf}, crossref = {:uml-aom04}, title = {A Process to Combine {AOM} and {AOP}: {A} Proposal Based on a Case Study}, } @inproceedings{muller:uml-aom04, author = {Alexis Muller}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/AcceptedPapers/muller.pdf}, crossref = {:uml-aom04}, title = {Reusing Functional Aspects: {From} Composition to Parameterization}, } @inproceedings{navarro:uml-aom04, author = {Elena Navarro and Patricio Letelier and Isidro Ramos}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/AcceptedPapers/navarro.pdf}, crossref = {:uml-aom04}, title = {{UML} Visualization for an Aspect and Goal-Oriented Approach}, } @inproceedings{park:uml-aom04, author = {Daesung Park and Sungwon Kang}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/Park_Kang.pdf}, crossref = {:uml-aom04}, title = {Design Phase Analysis of Software Performance Using Aspect-Oriented Programming}, } @inproceedings{spies:uml-aom04, author = {Eva Spies and Julia R\"uger and Ana Moreira}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/iva.pdf}, crossref = {:uml-aom04}, title = {Using i* to identify candidate aspects}, } @inproceedings{steimann:uml-aom04, author = {Friedrich Steimann}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/Steimann.pdf}, crossref = {:uml-aom04}, title = {Why Most Domain Models are Aspect Free}, } @inproceedings{tessier:uml-aom04, author = {Francis Tessier and Linda Badri and Mourad Badri}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/tessier.pdf}, crossref = {:uml-aom04}, title = {Towards a Formal Detection of Semantic Conflicts Between Aspects: {A} Model-Based Approach}, } @inproceedings{barra:uml-aom04, author = {Eduardo Barra and Gonzalo {G\'enova} and Juan Llorens}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/Zavaleta.pdf}, crossref = {:uml-aom04}, title = {An approach to Aspect Modeling with {UML} 2.0}, } @inproceedings{mahoney:uml-aom04, author = {Mark Mahoney and Atef Bader and Tzilla Elrad and Omar Aldawud}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/mahoney.pdf}, crossref = {:uml-aom04}, title = {Using Aspects to Abstract and Modularize Statecharts}, } @inproceedings{degiorgis:uml-aom04, author = {{De Giorgis}, Ricardo Soto and Nibaldo {Rodr\'{\i}guez} Agurto}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/soto.pdf}, crossref = {:uml-aom04}, title = {New {UML} 2.0 based models to design {WAP} applications}, } @inproceedings{brahmila:uml-aom04, author = {Brahmila Kamalakar and Sudipto Ghosh}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/kamalakar.pdf}, crossref = {:uml-aom04}, title = {A Middleware Transparent Approach for Developing {CORBA}-based Distributed Applications}, } @inproceedings{reina:uml-aom04, author = {A. M. Reina and J. Torres and M. Toro}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/2004-AOMWS-reinaqu.ps}, crossref = {:uml-aom04}, title = {Separating concerns by means of {UML}-profiles and metamodels in {PIM}s}, } @inproceedings{yan:uml-aom04, author = {Yan Han and G\"unter Kniesel and Armin B. Cremers}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/yanHan.pdf}, crossref = {:uml-aom04}, title = {A Meta Model and Modeling Notation for {AspectJ}}, } @inproceedings{shin:uml-aom04, author = {Shin Nakajima and Tetsuo Tamai}, url = {http://www.cs.iit.edu/{\tilda}oaldawud/AOM/shin.pdf}, crossref = {:uml-aom04}, title = {Lightweight Formal Analysis of Aspect-Oriented Models}, } @techreport{lesiecki:utya05, title = {Unit test your aspects}, author = {Nicholas Lesiecki}, year = 2005, month = nov, institution = {IBM Developer Works}, abstract = {AOP makes it easier than it's ever been to write tests specific to your application's crosscutting concerns. Find out why and how to do it, as Nicholas Lesiecki introduces you to the benefits of testing aspect-oriented code and presents a catalog of patterns for testing crosscutting behavior in AspectJ.}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork11/}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork11/} } @techreport{bodkin:newajdt05, title = {AOP@Work: Performance monitoring with AspectJ, Part 1}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork10/}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork10/}, author = {Ron Bodkin}, year = 2005, month = sep, abstract = {Say goodbye to scattered and tangled monitoring code, as Ron Bodkin shows you how to combine AspectJ and JMX for a flexible, modular approach to performance monitoring. In this first of two parts, Ron uses source code and ideas from the Glassbox Inspector open source project to help you build a monitoring system that provides correlated information to identify specific problems, but with low enough overhead to be used in production environments.}, institution = {IBM Developer Works} } @techreport{chapman:newajdt05, title = {AOP@Work: New AJDT releases ease AOP development}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork9/}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork9/}, author = {Matt Chapman}, year = 2005, month = aug, abstract = {AJDT Eclipse technology project leader Matt Chapman walks you through AJDT 1.2 and 1.3, the latest releases of the AspectJ development tools for Eclipse 3.0 and 3.1, respectively. The major focus of these releases is to more closely integrate AspectJ with the Eclipse platform and to offer AspectJ developers more of the advanced tooling support available to Javaª developers using Eclipse.}, institution = {IBM Developer Works} } @techreport{isberg:dwp05, title = {AOP@Work: Design with pointcuts to avoid pattern density}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork7/}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork7/}, author = {Wes Isberg}, year = 2005, month = jun, abstract = {In ``JUnit: A Cook's Tour,'' authors Erich Gamma and Kent Beck discuss the design of JUnit. They point out that TestCase, like key abstractions in many mature frameworks, has a high pattern density, making it easy to use but hard to change. In this installment of the AOP@Work series, Wes Isberg revisits the Cook's Tour and shows you how using AOP pointcuts rather than object-oriented designs can help you avoid some of the pattern density that makes mature designs hard to change.}, institution = {IBM Developer Works} } @techreport{lesiecki:patj05, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork5/}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork5/}, title = {AOP@Work: Enhance design patterns with AspectJ, Part 1. AOP makes patterns lighter, more flexible, and easier to (re)use}, author = {Nicholas Lesiecki}, year = 2005, month = may, institution = {IBM Developer Works} } @techreport{sosnoski:atw05, http = {http://www-128.ibm.com/developerworks/java/library/j-cwt03085/}, url = {http://www-128.ibm.com/developerworks/java/library/j-cwt03085/}, title = {Classworking toolkit: Putting aspects to werk}, institution = {IBM Developer Works}, month = mar, year = 2005, author = {Dennis Sosnoski}, abstract = {Aspect-oriented programming (AOP) promises to keep code clean by separating out functionality that applies across the application, rather than to a particular class or package. Logging is one of the commonly used examples of this type of function. Can AOP help with logging? In this article, developer and AOP enthusiast Dennis Sosnoski looks at using the AspectWerkz framework to find out.} } @techreport{sosnoski:ptwa05, month = apr, institution = {IBM Developer Works}, year = 2005, author = {Dennis Sosnoski}, abstract = {In this edition of Classworking toolkit, consultant Dennis Sosnoski takes up where he left off last month by applying an aspect-oriented approach to performance analysis. He investigates a client application using the Apache Axis Web services framework to find where the execution time is being spent. Along the way, Dennis looks into the issue of measuring time intervals in Java ª code and shows how you can find the granularity and overhead of the timer implementation on your system.}, url = {http://www-128.ibm.com/developerworks/java/library/j-cwt04055.html}, http = {http://www-128.ibm.com/developerworks/java/library/j-cwt04055.html}, title = {Classworking toolkit: Performance tracing with aspects} } @techreport{lesiecki:modaop02, url = {http://www-106.ibm.com/developerworks/library/j-aspectj/index.html}, http = {http://www-106.ibm.com/developerworks/library/j-aspectj/index.html}, title = {Improve modularity with aspect-oriented programming: AspectJ brings AOP to the Java language}, author = {Nicholas Lesiecki}, year = 2002, institution = {IBM Developer Works} } @techreport{lesiecki:testflex02, title = {Test flexibly with AspectJ and mock objects: Enhance unit testing with test-only behavior}, http = {http://www-128.ibm.com/developerworks/java/library/j-aspectj2/}, url = {http://www-128.ibm.com/developerworks/java/library/j-aspectj2/}, author = {Nicholas Lesiecki}, year = 2002, month = may, institution = {IBM Developer Works} } @techreport{pollice:lookaop04, title = {A look at aspect-oriented programming}, url = {http://www-128.ibm.com/developerworks/rational/library/2782.html}, http = {http://www-128.ibm.com/developerworks/rational/library/2782.html}, institution = {IBM Developer Works}, author = {Gary Pollice}, year =2004, } @techreport{laddad:aopwork05, url = {http://www-106.ibm.com/developerworks/java/library/j-aopwork3/}, title = {AOP@Work: AOP and metadata: A perfect match, Part 1---Concepts and constructs of metadata-fortified AOP}, author = {Ramnivas Laddad}, month = mar, year = 2005, abstract = {In this first half of a two-part article, author Ramnivas Laddad provides a conceptual overview of the new Javaª metadata facility and shows where AOP could most benefit from the addition of metadata annotations. He then walks you through a five-part design refactoring, starting with a metadata-free AOP implementation and concluding with one that combines the Participant design pattern with annotator-supplier aspects.}, institution = {IBM Developer Works} } @techreport{laddad:aopwork05a, url = {http://www-106.ibm.com/developerworks/java/library/j-aopwork4/}, title = {AOP@Work: AOP and metadata: A perfect match, Part 2---Multidimensional interfaces with metadata}, author = {Ramnivas Laddad}, month = apr, year = 2005, abstract = {In this second half of his two-part article on combining metadata and AOP, author and AOP practitioner Ramnivas Laddad suggests a novel way to conceptualize metadata as a signature in a multidimensional concern space. He also introduces a series of guidelines for effectively combining metadata and AOP and discusses the impact of metadata annotations on the adoption of aspect-oriented programming.}, institution = {IBM Developer Works} } @techreport{kirsten:toolscomp1-05, title = {AOP@Work: AOP tools comparison, Part 1: Language mechanisms}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork1/}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork1/}, author = {Mik Kirsten}, month = feb, year = 2005, institution = {IBM Developer Works} } @techreport{kirsten:toolscomp2-05, title = {AOP@Work: AOP tools comparison, Part 2: Development Environments}, http = {http://www-128.ibm.com/developerworks/java/library/j-aopwork2/}, url = {http://www-128.ibm.com/developerworks/java/library/j-aopwork2/}, author = {Mik Kirsten}, month = feb, year = 2005, institution = {IBM Developer Works} } @inproceedings{jacobson:oopsla86, author = {Ivar Jacobson}, title = {Language Support for Changeable Large Real Time Systems.}, booktitle = {Proceedings of the 1st ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications}, location = {Portland, Oregon}, month = sep, year = {1986}, pages = {377-384}, } @book{jacobson:aosduse05, title = {Aspect-Oriented Software Development with Use Cases}, author = {Ivar Jacobson and Pan-Wei Ng}, publisher = {Addison-Wesley}, year = 2005, isbn = {0321268881} } @article{jacobson:sd03a, url = {http://www.jaczone.com/papers/10sd.Jacobson32-37.pdf}, author = {Ivar Jacobson}, pages = {32--37}, journal = {Software Development}, month = oct, year = 2003, title = {The Case for Aspects, Part 1} } @article{jacobson:sd03b, url = {http://www.jaczone.com/papers/11sd.Jacobson44-48.pdf}, author = {Ivar Jacobson}, pages = {44--48}, journal = {Software Development}, month = nov, year = 2003, title = {The Case for Aspects, Part 2} } @inproceedings{vinuesa:iwaosd04, author = {Luis Vinuesa and Francisco {Ort\'\i{}n}}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/vinuesa-ortin.pdf}, title = {Tejedor {din\'amico} de aspectos sobre la plataforma {.NET}}, crossref = {:iwaosd04} } @inproceedings{gutierrez:iwaosd04, author = {{Guti\'errez}, Javier J. and Dar\i{}o Villadiego and Mar\i{}a J. Escalona and Manuel {Mej\i{}as}}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/gutierrez-lladiego-escalona-mejias.doc}, title = {Aplicaci\'on de la Programaci\'on Orientada a Aspectos en el Dise\tildacc{n}o e Implementaci\'on de Pruebas Funcionales}, crossref = {:iwaosd04} } @inproceedings{navas:iwaosd04, author = {A. Navasa and K. Palma and J. M. Murillo and Y. Eterovic}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/navasa-palma-murillo-eterovic.pdf}, title = {Dos modelos arquitect\'onicos para el {DSOA}}, crossref = {:iwaosd04} } @inproceedings{ortiz:iwaosd04, author = {Guadalupe Ortiz and Juan Herna\'andez and Pedro J. Clemente}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/ortiz-hernandez-clemente.pdf}, title = {Configuraci\'on de propieddes no funcionales en los servicios Web usando T\'ecnicas Orientadas a Aspecto}, crossref = {:iwaosd04} } @inproceedings{navarro:iwaosd04, author = {Elena Navarro and Patricio Letelier and Isidro Ramos and B\'arbara \'Alvarez}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/navarro-letelier-ramos-alvarez.pdf}, title = {Orientaci\'on a Aspectos y Orientaci\'on a Objetivos: Una propuesta para su integraci\'on}, crossref = {:iwaosd04} } @inproceedings{monteiro:iwaosd04, author = {Miguel Pessoa Monteiro and Jo\tildacc{a}o Miguel Fernandes}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/pessoa-fernandes.pdf}, title = {Pitfalls of {AspectJ} Implementations of Some of the Gang-of-Four Design Patterns}, crossref = {:iwaosd04} } @inproceedings{gonzalez:iwaosd04, author = {Carlos Gonza\'alez and Juan Manuel Murillo and Pablo Amaya}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/gonzalez-amaya-murillo.pdf}, title = {Un modelo de propiedades y dependencias para el an\'alisis orientado a aspectos en {MDA}}, crossref = {:iwaosd04} } @inproceedings{rodriguez:iwaosd04, author = {{Rodr\i{}guez}, Mar\i{}a del Pilar Romay and Carlos E. Cuesta and Pablo de la Fuente and Manuel Barrio {Solo\'orzano}}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/romay-cuesta-delafuente-barrio.pdf}, title = {Descripci\'on de Aspectos Mediante Conectores {UML 2.0}}, crossref = {:iwaosd04} } @inproceedings{campos:iwaosd04, author = {Juan Antonio Campos and M\'onica Pinto}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/campos-pinto.pdf}, title = {Desarrollo de Aplicaciones Colaborativas con {CoopTEL}: {El} Juego del {Pictionary}}, crossref = {:iwaosd04} } @inproceedings{pantoquilho:iwaosd04, author = {Marta Pantoquilho and Ana Moreira}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/pantoquilho-moreira.pdf}, title = {Aspect-Oriented Logical Architecture Design A Layered Perspective Applied to Data Warehousing}, crossref = {:iwaosd04} } @inproceedings{conejero:iwaosd04, author = {J. Conejero and J. Hern\'andez and J. Pedrero}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/conejero-hernandez-pedrero.pdf}, title = {Definici\'on de un Perfil {UML} para el Aspecto de Notificaci\'on en Entornos Distribuidos {CORBA}}, crossref = {:iwaosd04} } @inproceedings{reina:iwaosd04, author = {A. M. Reina and J. Torres and M. Toro and M. J. Escalona}, url = {http://quercusseg.unex.es/juanmamu/DSOA04/papers/reina-torres-toro-escalona.pdf}, title = {Modelando Aspectos con Lenguajes Espec\i{}ficos de Dominio}, crossref = {:iwaosd04} } @inproceedings{breu:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/breu.pdf}, title = {Towards Hybrid Aspect Mining: Static Extensions to Dynamic Aspect Mining}, author = {Silvia Breu} } @inproceedings{krinke:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/krinke.pdf}, title = {Control-Flow-Graph-Based Aspect Mining}, author = {Jens Krinke and Silvia Breu} } @inproceedings{shepherd:wcre-ware04, crossref = {:wcre-ware04}, url = {http://www.cis.udel.edu/~shepherd/research/ware/ware2005.ps}, title = {The Fast Prototyping and Evaluation of Aspect Mining Analyses via Timna}, author = {David Shepherd} } @inproceedings{bruntink:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/bruntink.pdf}, title = {Aspect Mining using Clone Class Metrics}, author = {Magiel Bruntink} } @inproceedings{marin:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/marin.pdf}, title = {Language support for refactoring to aspects}, author = {Marius Marin} } @inproceedings{bruntink:wcre-ware04a, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/tourwe.pdf}, title = {Isolating Crosscutting Concerns in System Software}, author = {Magiel Bruntink and Arie van Deursen and Tom {Tourw\'e}} } @inproceedings{zaidman:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/zaidman.pdf}, title = {Selective Introduction of Aspects for Program Comprehension}, author = {Andy Zaidman and Toon Calders and Serge Demeyer and Jan Paredaens} } @inproceedings{ceccato:wcre-ware04, crossref = {:wcre-ware04}, url = {http://homepages.cwi.nl/{\tilda}tourwe/ware/ceccato.pdf}, title = {Measuring the Effects of Software Aspectization}, author = {Mariano Ceccato and Paolo Tonella} } @article{diggens:ddj04, title = {Aspect-Oriented Programming \& {C++}}, author = {Christopher Diggens}, journal = {Dr. Dobbs Journal}, month = aug, year = 2004, url = {https://www.sdmediagroup.com/secure/?sid=9220} } @article{gray:scp04, year = 2004, title = {A {Java}-based approach for teaching principles of adaptive and evolvable software}, pages = {51-69}, author = {Jeff Gray}, journal = {Science of Computer Programming}, volume = 53, number = 1, abstract = {The ability to adapt a software artifact is essential toward handling evolving stakeholder requirements. Adaptation is also vital in many areas where software is required to adjust to changing environment conditions (e.g., the growing presence of embedded systems). Current techniques for supporting adaptability and evolvability can be categorized as static (happening at compile-time or design-time), or dynamic (adaptation during the actual execution of the system). This paper describes a special-topics software engineering course that uses Java as a foundation for teaching concepts of static and dynamic adaptation. The course surveys Java-related research in the areas of meta-programming and reflection, aspect-oriented software development, model-driven computing, and adaptive middleware.}, keywords = {Java education; Evolvable software; Aspect-oriented software development; Model-integrated computing; Adaptive middleware} } @article{boner:tss04, title = {{AspectWerkz 2: An} Extensible Aspect Container}, author = {{Bon\'er}, Jonas}, journal = {TheServerSide.COM}, month = nov, year = 2004, url = {http://www.theserverside.com/articles/article.tss?l=AspectWerkzP1}, abstract = {In this article, Jonas Bon\'er introduces the new AspectWerkz 2.x architecture. AspectWerkz 2.x has been designed to be an extensible AOP container where any kind of aspects can coexist ranging from Spring aspects to AspectJ aspects. The article explains why this architecture is beneficial to the Java AOP communtity and explains the benefits and drawbacks of running AOP Alliance, Spring and AspectJ aspects within the AspectWerkz Extensible Aspect Container. It concludes with performance figures.} } @article{rashid:iees04, title = {Editorial - Early aspects: aspect-oriented requirements engineering and architecture design}, author = {Rashid, A. and Moreira, A. and Tekinerdogan, B.}, pages = {153- 155}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 4, month = aug, year = 2004 } @article{whittle:iees04, title = {Scenario modelling with aspects}, author = {Whittle, J. and Araujo, J.}, pages = {157- 171}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 4, month = aug, year = 2004 } @article{france:iees04, title = {Aspect-oriented approach to early design modelling}, author = {France, R. and Ray, I. and Georg, G. and Ghosh, S.}, pages = {173- 185}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 4, month = aug, year = 2004 } @article{jansen:iees04, title = {First class feature abstractions for product derivation}, author = {Jansen, A. G. J. and Smedinga, R. and van Gurp, J. and Bosch, J.}, pages = {187- 197}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 4, month = aug, year = 2004 } @article{pratap:iees04, title = {Building fully customisable middleware using an aspect-oriented approach}, author = {Pratap, R. M. and Hunleth, F. and Cytron, R. K.}, pages = {199- 216}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 4, month = aug, year = 2004 } @article{zdun:iees04, title = {Pattern language for the design of aspect languages and aspect composition frameworks}, author = {Zdun, U.}, Pages = {67- 83}, journal = {IEE Proceedings Software}, publisher = {IEE}, volume = 151, number = 2, month = apr, year = 2004 } @inproceedings{yu:rec04, title = {From Goals to Aspects: {Discovering} Aspects from Requirements Goal Models}, author = {Yijun Yu and {Sampai do Prado Leite}, J. C. and Mylopoulos, J}, pages = {33--42}, booktitle = {Proc. 12th Int'l Requirements Engineering Conference}, year = 2004, month = sep, publisher = {IEEE}, location = {Kyoto}, abstract = {Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer concerns, such as `efficient use of memory''. However, like other programming paradigms in their early days, AOP has not addressed yet earlier phases of software development. In particular, it is still an open question how one identifies aspects early on in the software development process. This paper proposes an answer to this question. Specifically, we show that aspects can be discovered during goal-oriented requirements analysis. Our proposal includes a systematic process for discovering aspects from relationships between functional and non-functional goals. We illustrate the proposed process with a case study adapted from the literature.} } @inproceedings{katz:rec04, title = {From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems}, author = {Katz, Shmuel and Rashid, Awais}, pages = {43--52}, booktitle = {Proc. 12th Int'l Requirements Engineering Conference}, year = 2004, month = sep, publisher = {IEEE}, location = {Kyoto}, abstract = {Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns, the so-called ``aspects.'' Though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. This validation problem is further compounded by the lack of traceability of aspectual requirements and their associated trade-offs through to subsequent design and implementation-level refinements. This paper presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. The abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended Ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. The resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be used as input to formal methods tools such as model-checkers, or in the specification and generation of test cases.} } @inproceedings{araujo:rec04, title = {Modeling and composing scenario-based requirements with aspects}, author = {{Ara\'ujo}, Jo\tildacc{a}o and Whittle, Jon and Kim, Dae-Kyoo}, booktitle = {Proc. 12th Int'l Requirements Engineering Conference}, year = 2004, month = sep, publisher = {IEEE}, location = {Kyoto}, pages = {53--62}, abstract = {There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the software lifecycle. However, most of these efforts have concentrated on the design and implementation phases. We focus in this paper on representing aspects during use case modeling. In particular, we focus on scenario-based requirements (both aspectual and non-aspectual) and show how to validate such requirements as part of an iterative validation process. Non-aspectual interactions (scenarios) are modeled as UML sequence diagrams. Aspectual interactions are modeled as Interaction Pattern Specifications (IPSs). In order to validate them, the interactions are transformed into a set of executable state machines using an existing state machine synthesis algorithm. Previous work composed the aspectual and non-aspectual interactions at the sequence diagram level. In this paper, the composition is done at the state machine level. The trade-offs of both approaches are discussed.}, } @inproceedings{tesanovic:ideas04, author = {A. {Te\u{s}anovic} and K. Sheng and J. Hansson}, title = {Application-Tailored Database Systems: {A} Case of Aspects in an Embedded Database}, booktitle = {Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS'04)}, publisher = {IEEE Computer Society}, month = jul, year = 2004, url = {/~rtslab/publications/2004/tesanovicIDEAS04.pdf}, } @inproceedings{tesanovic:rtcsa03, author = {Aleksandra {Te\u{s}anovic} and Dag {Nystr\"om} and J\"orgen Hansson and Christer {Norstr\"om}}, title = {Towards Aspectual Component-Based Development of Real-Time Systems}, booktitle = {Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003)}, publisher = {Springer-Verlag}, month = feb, year = 2003, url = {/~rtslab/publications/2003/tesanovic03accord.pdf}, } @inproceedings{tesanovic:wcet03, author = {A. {Te\u{s}anovic} and D. {Nystr\"om} and J. Hansson and C. {Norstr\"om} and P. Uhlin}, title = {Aspect-Level {WCET} Analyzer: {A} Tool for Automated {WCET} Analysis of a Real-Time Software Composed Using Aspects and Components}, booktitle = {3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003)}, city = {Porto, Portugal}, month = jul, year = 2003, url = {/~rtslab/publications/2003/AspectWCETanalyzer.pdf}, } @inproceedings{tesanovic:, author = {Aleksandra {Te\u{s}anovic} and Dag {Nystr\"om} and J\"orgen Hansson and Christer {Norstr\"om}}, title = {Aspect-Level Worst-Case Execution Time Analysis of Real-Time Systems Compositioned Using Aspects and Components}, booktitle = {Proceedings of the 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming (WRTP'03)}, city = {Lagow, Poland}, publisher = {Elsevier}, month = may, year = 2003, url = {http://www.ida.liu.se/labs/rtslab/projects/ARTES_EmbeddedDatabases/Archive/{Te\u{s}anovic}-CRC.pdf}, } @mastersthesis{tesanovic:tacb03, author = {A. {Te\u{s}anovic}}, title = {Towards Aspectual Component-Based Real-Time System Development}, degree = {Licentiate}, department = {Department of Computer Science}, school = {Link\"oping University}, month = jun, year = 2003, isbn = {91-7373-681-3}, url = {http://www.ep.liu.se/lic/science_technology/10/24/index.html}, } @article{tesanovic:jec04, author = {Aleksandra {Te\u{s}anovic} and Dag {Nystr\"om} and J\"orgen Hansson and Christer {Norstr\"om}}, title = {Aspects and Components in Real-Time System Development: {Towards} Reconfigurable and Reusable Software}, journal = {Journal of Embedded Computing}, publisher = {Cambridge International Science Publishing}, month = feb, year = 2004, url = {http://www.ida.liu.se/~rtslab/publications/2004/ACCORD(jec).pdf}, abstract = {Increasing complexity of real-time systems, and demands for enabling their configurability and reusability are strong motivations for applying new software engineering principles, such as aspect-oriented and component-based development. In this paper we introduce a novel concept of aspectual component-based real-time system development. The concept is based on a design method that assumes decomposition of real-time systems into components and aspects, and provides a real-time component model that supports the notion of time and temporal constraints, space and resource management constraints, and composability. Initial results show that the successful application of the proposed concept has a positive impact on realtime system development in enabling efficient configuration of real-time systems, improved reusability and flexibility of realtime software, and modularization of crosscutting concerns. We provide arguments for this by presenting an application of the proposed concept on the design and development of a configurable embedded real-time database, called COMET. Furthermore, using the COMET system as an example, we introduce a novel way of handling concurrency in a real-time database system, where concurrency is modeled as an aspect crosscutting the system.}, keywords = {Embedded systems, real-time systems, software components, aspects, database systems, temporal analysis} } @inproceedings{baniassad:oopsla-ea04, title = {Investigating the Use of Clues for Scaling Document-Level Concern Graphs}, author = {E. Baniassad and S. Clarke}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/Baniassad-Clarke.pdf}, crossref = {:oopsla-ea04} } @inproceedings{bencomo:oopsla-ea04, title = {Tracing the Distribution Concern: Bridging the Gap}, author = {N. Bencomo and G. Blair and P. Sawyer}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/BencomoEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{escalona:oopsla-ea04, title = {{NDT}: a methodology to deal with the navigation aspect at the requirements phase}, author = {M. J. Escalona and A. M. Reina and J. Torres and M. {Mej\'\i{}as}}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/EscalonaEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{gao:oopsla-ea04, title = {Improving Scenario-Driven Role Engineering Process with Aspects}, author = {S. Gao and Z. Dai and H. Yu}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/GaoEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{herrmann:oopsla-ea04, title = {Mapping Use Case Level Aspects to {ObjectTeams/Java}}, author = {S. Herrmann and C. Hundt and K. Mehner}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/HerrmannEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{kulesza:oopsla-ea04, title = {Towards a Method for the Development of Aspect-Oriented Generative Approaches}, author = {U. Kulesza and A. Garcia C. Lucena}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/KuleszaEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{nakajima:oopsla-ea04, title = {Weaving in Role-Based Aspect-Oriented Design Models}, author = {S. Nakajima and T. Tamai}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/NakajimaEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{navarro:oopsla-ea04, title = {Goals and Quality Characteristics: Separating Concerns}, author = {E. Navarro and P. Letelier and I. Ramos}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/NavarroEtAl.pdf}, crossref = {:oopsla-ea04} } @inproceedings{rosenhainer:oopsla-ea04, title = {Identifying Crosscutting Concerns in Requirements Specifications}, author = {L. Rosenhainer}, url = {http://trese.cs.utwente.nl/workshops/oopsla-early-aspects-2004/Papers/Rosenhainer.pdf}, crossref = {:oopsla-ea04} } @inproceedings{andrade:wasp04, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/AOPHaskell_camera_ready.pdf}, title = {{AspectH}: Uma Extens\tildacc{a}o Orientada a Aspectos de {Haskell}}, author = {Carlos Andrade and Andre L. M. Santos and Paulo H. M. Borba} } @inproceedings{alvaro:wasp04, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/AspectIPM.pdf}, title = {Aspect {IPM}: Towards an Incremental Process Model based on {AOP} for Component-Based Development}, author = {Alexandre Alvaro and Daniel {Lucr\'edio} and Vinicius Cardoso Garcia and Eduardo Santana {de Almeida}} } @inproceedings{fernandes:wasp04, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/Paper33-LuaMOP-WASP2004-Proceedings.pdf}, title = {{LuaMOP} --- {A} Meta-Object Protocol for Dynamic Weaving}, author = {Fabricio Fernandes and Nelio Cacho and Thais Batista} } @inproceedings{lemos:wasp04, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/WASP-Lemos.pdf}, title = {Data Flow Integration Testing Criteria for Aspect-Oriented Programs}, author = {Ot\'avio Lemos and Jos\'e Carlos Maldonado and Paulo Cesar Masiero} } @inproceedings{rocha:wasp04, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/WASP04-rocha-camargo.pdf}, title = {Uso de Aspectos para Verificar Regras de Instancia\c{c}\tildacc{a}o de Frameworks}, author = {Andr\'e Rocha and Valter Vieira Camargo and Paulo Cesar Masiero} } @inproceedings{rocha:wasp04b, crossref = {:wasp04}, url = {http://twiki.im.ufba.br/pub/WAsp/AcceptedPapers/WASP04-rocha-final.pdf}, title = {Teste Funcional: Uma abordagem Auxiliada por Aspectos}, author = {Andr\'e Rocha and Adenilso da Silva {Sim\tildacc{a}o} and Jos\'e Carlos Maldonado and Paulo Cesar Masiero} } @inproceedings{filho:wasp04, crossref = {:wasp04}, title = {{AJEFW}: {Framework} orientado a aspectos para tratamento de exce\c{c}\'oes}, author = {Guilherme Filho and Geovani Santangelo and Jo\tildacc{a}o Gualberto Rizzo and Edeyson Gomes} } @inproceedings{bertagnolli:wasp04, crossref = {:wasp04}, title = {Checklists e L\'exico Como Artefatos para Identifica\c{c}\tildacc{a}o de Aspectos}, author = {Silvia Bertagnolli and Maria L\'ucia Blanck {Lisb\^{o}a}} } @inproceedings{valente:wasp04, crossref = {:wasp04}, title = {Especifica\c{c}\tildacc{a}o de T\'aticas para Invoca\c{c}\tildacc{a}o Remota de M\'etodos Usando Orienta\c{c}\tildacc{a}o por Aspectos}, author = {Marco Tulio Valente and Rodrigo Palhares and Fabio Tirelo} } @inproceedings{chavez:wasp04, crossref = {:wasp04}, title = {Guidelines for Aspect-Oriented Design}, author = {Christina Chavez and Carlos Lucena} } @inproceedings{camargo:wasp04, crossref = {:wasp04}, title = {Implementa\c{c}\tildacc{a}o de Variabilidades em Frameworks Orientados a Aspecto}, author = {Valter Camargo and Paulo Cesar Masiero} } @inproceedings{lobato:wasp04, crossref = {:wasp04}, title = {Mobility as an Aspect: The {AspectM} Framework}, author = {Cidiane Lobato and Alessandro Garcia and Alexander Romanovsky and Cl\'audio {Sant'Anna} and Uir\'a Kulesza} } @inproceedings{chaves:wasp04, crossref = {:wasp04}, title = {Modelos Execut\'aveis Baseados em Aspectos}, author = {Rafael Chaves and Luiz Carlos Zancanella} } @inproceedings{castro:wasp04, crossref = {:wasp04}, title = {Supporting separation of concerns in requirements artifacts}, author = {Jaelson Castro and Georgia Sousa} } @inproceedings{silva:wasp04, crossref = {:wasp04}, title = {Uma Abordagem para Integrar Aspectos e Servi\c{c}os Web}, author = {Clayton Silva and {Mendon\c{c}a}, Nabor das Chagas } } @inproceedings{cole:wasp04, crossref = {:wasp04}, title = {Using Programming Laws to Modularize Concurrency in a Replicated Database Application}, author = {Leonardo Cole and Paulo Borba} } @inproceedings{costa:wasp04, crossref = {:wasp04}, title = {Utiliza\c{c}\tildacc{a}o de Aspectos no Desenvolvimento de Aplica\c{c}\'oes baseadas em Servi\c{c}os Web}, author = {Mateus Costa and Rodolfo Ferreira Resende and Pedro Santos Neto and M\'\i{}rian Halfeld Ferrari} } @inproceedings{cottenier:oopsla-bspc04, crossref = {:oopsla-bspc04}, author = {T. Cottenier and T. Elrad}, url = {http://www.ics.uci.edu/{\tilde}lopes/bspc04-documents/Cottenier.pdf}, http = {http://www.ics.uci.edu/~lopes/bspc04-documents/Cottenier.pdf}, title = {Layer of Collaboration Aspects for Pervasive Computing} } @inproceedings{hirschfeld:oopsla-bspc04, crossref = {:oopsla-bspc04}, author = {R. Hirschfeld and K. Kawamura and J. Eastman}, url = {http://www.ics.uci.edu/{\tilde}lopes/bspc04-documents/HirschfeldKawamuraEastman.pdf}, http = {http://www.ics.uci.edu/~lopes/bspc04-documents/HirschfeldKawamuraEastman.pdf}, title = {Small, Rich and Adaptable} } @inproceedings{liu:oopsla-bspc04, crossref = {:oopsla-bspc04}, author = {R. Liu and Y. Coady}, url = {http://www.ics.uci.edu/{\tilde}lopes/bspc04-documents/LiuCoady.pdf}, http = {http://www.ics.uci.edu/~lopes/bspc04-documents/LiuCoady.pdf}, title = {Modularization of {Jini} Services in Pervasive Systems: Conventional Bottle versus Contemporary Aspect} } @inproceedings{rashid:oopsla-bspc04, crossref = {:oopsla-bspc04}, author = {A. Rashid and G. Kortuem}, url = {http://www.ics.uci.edu/{\tilde}lopes/bspc04-documents/RashidKorteum.pdf}, http = {http://www.ics.uci.edu/~lopes/bspc04-documents/RashidKorteum.pdf}, title = {Adaptation as an Aspect in Pervasive Computing} } @techreport{diotalevi:adcj04, title = {Contract enforcement with {AOP}: {Apply} Design by Contract to {Java} software development with {AspectJ}}, month = jul, year = 2004, author = {Filippo Diotalevi}, institution = {IBM}, url = {http://www-106.ibm.com/developerworks/library/j-ceaop/}, abstract = {Your Java code often needs to interact with external components when you develop enterprise software. Whether your application must communicate with a legacy application, an external business system, or a third-party library, using components you don't control introduces the risk of unexpected results. IBM IT Specialist Filippo Diotalevi shows how aspect-oriented programming (AOP) can mitigate this risk by helping you design and define clear contracts between components while keeping your code clean and flexible.}, } @book{kisely:aopaj02, title = {Aspect-Oriented Programming with {AspectJ}}, author = {Ivan Kisely}, publisher = {Sams}, year = 2002, isbn = {0672324105}, } @book{colyer:eaj05, title = {Eclipse {AspectJ}: {Aspect}-Oriented Programming with {AspectJ} and the {Eclipse} {AspectJ} Development Tools}, author = {Adrian Colyer and Andy Clement and George Harley and Matthew Webster}, publisher = {Pearson Education}, year = 2005, isbn = {0321245873}, } @incollection{filman:aosdbook05, title = {Aspect-Oriented Programming Is Quantification and Obliviousness}, pages = {21-35}, author = {Robert E. Filman and Daniel P. Friedman}, crossref = {:aosdbook05}, } @incollection{tarr:aosdbook05, title = {N Degrees of Separation: {Multi}-Dimensional Separation of Concerns}, pages = {37-61}, author = {Peri Tarr and Harold Ossher and Sutton, Jr., Stanley M. and William Harrison}, crossref = {:aosdbook05}, } @incollection{bergmans:aosdbook05, title = {Principles and Design Rationale of Composition Filters}, pages = {63-95}, author = {Lodewijk Bergmans and Mehmet {Ak{\c s}it}}, crossref = {:aosdbook05}, } @incollection{lopes:aosdbook05, title = {{AOP}: {A} Historical Perspective ({W}hat's in a Name?)}, pages = {97-122}, author = {Cristina Videira Lopes}, crossref = {:aosdbook05}, } @incollection{colyer:aosdbook05, title = {{AspectJ}}, pages = {123-143}, author = {Adrian Colyer}, crossref = {:aosdbook05}, } @incollection{lieberherr:aosdbook05, title = {Coupling Aspect-Oriented and Adaptive Programming}, pages = {145-164}, author = {Karl Lieberherr and David H. Lorenz}, crossref = {:aosdbook05}, } @incollection{mezini:aosdbook05, title = {Untangling Crosscutting Models with {CAESAR}}, pages = {165-199}, author = {Mira Mezini and Klaus Ostermann}, crossref = {:aosdbook05}, } @incollection{douence:aosdbook05, title = {Trace-Based Aspects}, pages = {201-217}, author = {Remi Douence and Pascal Fradet and Mario {S\"udholt}}, crossref = {:aosdbook05}, } @incollection{cardone:aosdbook05, title = {Using Mixin Technology to Improve Modularity}, pages = {219-241}, author = {Richard Cardone and Calvin Lin}, crossref = {:aosdbook05}, } @incollection{nierstrasz:aosdbook05, title = {Separating Concerns with First-Class Namespaces}, pages = {243-259}, author = {Oscar Nierstrasz and Franz Achermann}, crossref = {:aosdbook05}, } @incollection{bouraqadi:aosdbook05, title = {Supporting {AOP} Using Reflection}, pages = {261-282}, author = {Noury Bouraqadi and Thomas Ledoux}, crossref = {:aosdbook05}, } @incollection{filman:aosdbook05a, title = {Inserting Ilities by Controlling Communications}, pages = {283-295}, author = {Robert E. Filman and Stuart Barrett and Diana D. Lee and Ted Linden}, crossref = {:aosdbook05}, } @incollection{cohen:aosdbook05, title = {Using Bytecode Transformation to Integrate New Features}, pages = {297-310}, author = {Geoff Cohen}, crossref = {:aosdbook05}, } @incollection{kniesel:aosdbook05, title = {{JMangler}---{A} Powerful Back-End for Aspect-Oriented Programming}, pages = {311-342}, author = {G\"unter Kniesel and Pascal Costanza and Michael Austermann}, crossref = {:aosdbook05}, } @incollection{pawlak:aosdbook05, title = {Aspect-Oriented Software Development with {Java Aspect Components}}, pages = {343-369}, author = {Renaud Pawlak and Lionel Seinturier and Laurence Duchien and Laurent Martelli and Fabrice Legond-Aubry and G\'erard Florin}, crossref = {:aosdbook05}, } @incollection{blair:aosdbook05, title = {Engineering Aspect-Oriented Systems}, pages = {379-406}, author = {Gordon S. Blair and Lynne Blair and Awais Rashid and Ana Moreira and Jo\tildacc{a}o {Ara\'ujo} and Ruzanna Chitchyan}, crossref = {:aosdbook05}, } @incollection{clemente:aosdbook05, title = {Aspect-Orientation in the Software Lifecycle: Fact and Fiction}, pages = {407-423}, author = {Pedro J. Clemente and Juan {Hern\'andez} and Jos\'e Luis Herrero and Juan Manuel Murillo and Fernando {S\'anchez}}, crossref = {:aosdbook05}, } @incollection{clarke:aosdbook05, title = {Generic Aspect-Oriented Design with {Theme/UML}}, pages = {425-458}, author = {Siobh\'an Clarke and Robert J. Walker}, crossref = {:aosdbook05}, } @incollection{elrad:aosdbook05, title = {Expressing Aspects Using {UML} Behavioral and Structural Diagrams}, pages = {459-478}, author = {Tzilla Elrad and Omar Aldawud and Atef Bader}, crossref = {:aosdbook05}, } @incollection{sutton:aosdbook05, title = {Concern Modeling for Aspect-Oriented Software Development}, pages = {479-505}, author = {Sutton, Jr., Stanley M. and Isabelle Rouvellou}, crossref = {:aosdbook05}, } @incollection{murphy:aosdbook05, title = {Design Recommendations for Concern Elaboration Tools}, pages = {507-530}, author = {Gail C. Murphy and William G. Griswold and Martin P. Robillard and Jan Hannemann and Wesley Leong}, crossref = {:aosdbook05}, } @incollection{walker:aosdbook05, title = {An Initial Assessment of Aspect-Oriented Programming}, pages = {531-556}, author = {Robert J. Walker and Elisa L. A. Baniassad and Gail C. Murphy}, crossref = {:aosdbook05}, } @incollection{nordberg:aosdbook05, title = {Aspect-Oriented Dependency Management}, pages = {557-584}, author = {Nordberg III, Martin E. }, crossref = {:aosdbook05}, } @incollection{grundy:aosdbook05, title = {Developing Software Components with Aspects: Some Issues and Experiences}, pages = {585-604}, author = {John Grundy and John Hosking}, crossref = {:aosdbook05}, } @incollection{diazpace:aosdbook05, title = {Smartweaver: {A} Knowledge-Driven Approach for Aspect Composition}, pages = {605-626}, author = {{D\'\i{}az Pace}, J. Andr\'es and Marcelo R. Campo and Federico U. Trilnik}, crossref = {:aosdbook05}, } @incollection{dewin:aosdbook05, title = {Developing Secure Applications Through Aspect-Oriented Programming}, pages = {633-650}, author = {{De Win}, Bart and Wouter Joosen and Frank Piessens}, crossref = {:aosdbook05}, } @incollection{coady:aosdbook05, title = {Structuring Operating System Aspects}, pages = {651-656}, author = {Yvonne Coady and Gregor Kiczales and Mike Feeley and Norm Hutchinson and Joon Suan Ong}, crossref = {:aosdbook05}, } @incollection{rashid:aosdbook05, title = {Aspect-Oriented Programming for Database Systems}, pages = {657-680}, author = {Awais Rashid}, crossref = {:aosdbook05}, } @incollection{gray:aosdbook05, title = {Two-Level Aspect We