% % % % automatically generated % % ./bibtex2html -force -html-links -icons -sort year sudholt.cfg sudholt.bib % Date: Fri Apr 22 22:26:08 2011 % Author: sudholt % % % @ARTICLE{ms11b, AUTHOR = {Ismael Mejìa and Mario Südholt}, JOURNAL = {Int. Journal of Computer Science and Information Systems (IJCSIS)}, TITLE = {Structured and flexible gray-box composition using invasive distributed patterns}, YEAR = {2011}, MONTH = {April}, OPTNOTE = {}, NUMBER = {1}, PAGES = {13}, VOLUME = {6}, PUBLISHER = {IADIS Press} } @INPROCEEDINGS{ms11a, AUTHOR = {Ismael Mejìa and Mario Südholt}, BOOKTITLE = {Proceedings of the 1st International Workshop on Modularity In Systems Software (MISS'11)}, TITLE = {Towards a robust model for distributed aspects}, YEAR = {2011}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM}, OPTSERIES = {}, OPTVOLUME = {}, URL = {http://www.emn.fr/sudholt/papers/miss11.pdf} } @INPROCEEDINGS{msb11a, AUTHOR = {Ismael Mejìa and Mario Südholt and Benavides Navarro, Luis Daniel}, BOOKTITLE = {Proceedings of the 2nd International Workshop on Variability & Composition (VariComp'11)}, TITLE = {A study of invasive composition for the evolution of a health information system}, YEAR = {2011}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM}, OPTSERIES = {}, OPTVOLUME = {}, URL = {http://www.emn.fr/sudholt/papers/varicomp11.pdf} } @PROCEEDINGS{shjb10a, TITLE = {Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development}, YEAR = {2010}, OPTADDRESS = {}, EDITOR = {Mario Südholt and Uwe Hohenstein and Jean-Marc Jézéquel and Benoît Baudry}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @ARTICLE{rmc+10a, AUTHOR = {Awais Rashid and Regine Meunier and Thomas Cottenier and Phil Greenwood and Roberta Coelho and Ruzanna Chitchyan and Mario Südholt and Wouter Joosen}, JOURNAL = {IEEE Computer}, TITLE = {Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe}, YEAR = {2010}, MONTH = {February}, OPTNOTE = {}, OPTNUMBER = {}, OPTPAGES = {}, OPTVOLUME = {} } @ARTICLE{tfd+10a, AUTHOR = {Éric Tanter and Johan Fabry and Rémi Douence and Jacques Noyé and Mario Südholt}, JOURNAL = {Science of Computer Programming}, TITLE = {Scoping Strategies for Distributed Aspects}, YEAR = {2010}, MONTH = {December}, OPTNOTE = {}, NUMBER = {12}, OPTPAGES = {}, VOLUME = {75} } @INPROCEEDINGS{des10a, AUTHOR = {De Fraine, Bruno and Erik Ernst and Mario Südholt}, BOOKTITLE = {Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010)}, TITLE = {Essential AOP: The A Calculus}, YEAR = {2010}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {June}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, SERIES = {LNCS}, OPTVOLUME = {} } @INPROCEEDINGS{ms10a, AUTHOR = {Ismael Mejìa and Mario Südholt}, BOOKTITLE = {Proceedings of the IADIS International Conference on Applied Computing 2010}, TITLE = {Structured and flexible gray-box composition: application to task rescheduling for grid benchmarking}, YEAR = {2010}, ADDRESS = {Timisoara, Romania}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {8}, PUBLISHER = {IADIS Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{mll+10a, AUTHOR = {Jean-Marc Menaud and Adrien Lèbre and Thomas Ledoux and Jacques Noyé and Pierre Cointe and Rémi Douence and Mario Südholt}, BOOKTITLE = {Journées du GDR Génie de la Programmation et du Logiciel}, TITLE = {Vers une réification de l'énergie dans le domaine du logiciel}, YEAR = {2010}, ADDRESS = {Pau}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, NOTE = {Défis du Génie de la Programmation et du Logiciel}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{ncz+10a, AUTHOR = {Asad Syed Ali Naqvi and Ruzanna Chitchyan and Steffen Zschaler and Awais Rashid and Mario Südholt}, BOOKTITLE = {Proceeding of the 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08)}, TITLE = {Cross-Document Dependency Analysis for System-of-System Integration}, YEAR = {2010}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer-Verlag}, OPTSERIES = {}, OPTVOLUME = {} } @PROCEEDINGS{sud09a, TITLE = {Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009}, YEAR = {2009}, OPTADDRESS = {}, EDITOR = {Mario Südholt}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PUBLISHER = {ACM}, OPTSERIES = {}, OPTVOLUME = {}, BOOKTITLE = {FOAL} } @INPROCEEDINGS{tfd+09a, AUTHOR = {Éric Tanter and Johan Fabry and Rémi Douence and Jacques Noyé and Mario Südholt}, BOOKTITLE = {Proc. of the Int. Conf. on Aspect-Oriented Software Development (AOSD'09)}, TITLE = {Expressive Scoping of Distributed Aspects}, YEAR = {2009}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @PROCEEDINGS{scb+08a, TITLE = {Report on the Int. WS on Aspects, Dependencies and Interactions (ADI'07)}, YEAR = {2008}, OPTADDRESS = {}, EDITOR = {Frans Sanen and Ruzanna Chitchyan and Lodewijk Bergmans and Johan Fabry and Mario Südholt and Katharina Mehner}, MONTH = {February}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPUBLISHER = {}, SERIES = {LNCS 4906}, OPTVOLUME = {}, BOOKTITLE = {Object-Oriented Technology. ECOOP 2007 Workshop Reader}, PAGES = {75-90}, URL = {http://www.springerlink.com/content/e484860839815u0h} } @INPROCEEDINGS{bdns08a, AUTHOR = {Benavides Navarro, Luis Daniel and Rémi Douence and Angel Núñez and Mario Südholt}, BOOKTITLE = {Proceedings of the 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08)}, TITLE = {LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns}, YEAR = {2008}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {July}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{dsj08a, AUTHOR = {De Fraine, Bruno and Mario Südholt and Viviane Jonckers}, BOOKTITLE = {Proceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08)}, TITLE = {StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings}, YEAR = {2008}, OPTADDRESS = {}, OPTCROSSREF = {}, EDITOR = {Mira Mezini}, MONTH = {March}, NOTE = {Distinguished paper award}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{bdh+08a, AUTHOR = {Luis Daniel Benavides Navarro and Rémi Douence and Fabien Hermenier and Jean-Marc Menaud and Mario Südholt}, BOOKTITLE = {Proc. of the 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08)}, TITLE = {Aspect-based patterns for grid programming}, YEAR = {2008}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {November}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {IEEE}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{bds08a, AUTHOR = {Luis Daniel Benavides Navarro and Rémi Douence and Mario Südholt}, BOOKTITLE = {In Proc. of the ACM/IFIP/USENIX 9th International Middleware Conference}, TITLE = {Debugging and testing middleware with aspect-based control-flow and causal patterns}, YEAR = {2008}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {December}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer-Verlag}, OPTSERIES = {}, OPTVOLUME = {} } @PROCEEDINGS{ssg07a, TITLE = {ACP4IS'07: Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software}, YEAR = {2007}, ADDRESS = {New York, NY, USA}, EDITOR = {Olaf Spinczyk and Mario Südholt and Celina Gibbs}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @PROCEEDINGS{sc07a, TITLE = {ECOOP 2006 Workshop Reader}, YEAR = {2007}, OPTADDRESS = {}, EDITOR = {Mario Südholt and Charles Consel}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, VOLUME = {4379}, BOOKTITLE = {ECOOP 2006 Workshop Reader} } @INPROCEEDINGS{bsss07a, AUTHOR = {Luis Daniel Benavides Navarro and Christa Schwanninger and Robert Sobotzik and Mario Südholt}, BOOKTITLE = {Proc. 6th Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'06) at AOSD}, TITLE = {ATOLL: Aspect-Oriented Toll System}, YEAR = {2007}, ADDRESS = {New York, NY, USA}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Digital Library}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{bsdm07a, AUTHOR = {Luis Daniel Benavides Navarro and Mario Südholt and Rémi Douence and Jean-Marc Menaud}, BOOKTITLE = {Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07)}, TITLE = {Invasive patterns for distributed applications}, YEAR = {2007}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {November}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, OPTVOLUME = {} } @INPROCEEDINGS{bsdm07b, AUTHOR = {Luis Daniel Benavides Navarro and Mario Südholt and Rémi Douence and Jean-Marc Menaud}, BOOKTITLE = {Proc. of the 4th International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'07) at ECOOP}, TITLE = {Invasive patterns: aspect-based adaptation of distributed applications}, YEAR = {2007}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {July}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, URL = {http://www.emn.fr/sudholt/papers/wcat07.pdf} } @INPROCEEDINGS{ns07a, AUTHOR = {Dong Ha Nguyen and Mario Südholt}, BOOKTITLE = {Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07)}, TITLE = {Property-preserving evolution of components using VPA-based aspects}, YEAR = {2007}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {November}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, OPTVOLUME = {} } @INPROCEEDINGS{ns07b, AUTHOR = {Dong Ha Nguyen and Mario Südholt}, BOOKTITLE = {Proc. of the 4th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07) at ECOOP}, TITLE = {Towards correct evolution of components using VPA-based aspects}, YEAR = {2007}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {July}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, URL = {http://www.emn.fr/sudholt/papers/ramse07.pdf} } @TECHREPORT{fsj07a, AUTHOR = {Bruno De Fraine and Mario Südholt and Viviane Jonckers}, INSTITUTION = {Vrije Universiteit Brussel}, TITLE = {A Formal Semantics of Flexible and Safe Pointcut/Advice Bindings}, YEAR = {2007}, OPTADDRESS = {}, MONTH = {October}, OPTNOTE = {}, NUMBER = {SSEL 02/2007/a}, OPTTYPE = {} } @MISC{sud07a, AUTHOR = {Mario Südholt}, HOWPUBLISHED = {Habilitation (HDR) thesis, University of Nantes}, MONTH = {July}, OPTNOTE = {}, TITLE = {Towards expressive, well-founded and correct Aspect-Oriented Programming}, YEAR = {2007}, URL = {http://www.emn.fr/x-info/sudholt/papers/hdr.pdf} } @BOOK{cjs06a, PUBLISHER = {Springer Verlag}, TITLE = {Special issue on AOP for systems software and middleware}, YEAR = {2006}, ALTAUTHOR = {}, EDITOR = {Yvonne Coady and Hans-Arno Jacobsen and Mario Südholt}, OPTADDRESS = {}, OPTEDITION = {}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, SERIES = {Transactions on AOSD}, OPTVOLUME = {} } @PROCEEDINGS{ls06a, TITLE = {Proceedings of the 5th Int. Symposium on Software Composition (SC'06)}, YEAR = {2006}, OPTADDRESS = {}, EDITOR = {Welf Löwe and Mario Südholt}, OPTMONTH = {}, OPTNOTE = {}, NUMBER = {4089}, OPTORGANIZATION = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, OPTVOLUME = {} } @ARTICLE{bcc+06a, AUTHOR = {Johan Brichau and Ruzanna Chitchyan and Siobhán Clarke and Ellie D'Hondt and Alessandro Garcia and Michael Haupt and Wouter Joosen and Shmuel Katz and Jacques Noyé and Awais Rashid and Mario Südholt}, JOURNAL = {IEEE Software}, TITLE = {A Model Curriculum for Aspect-Oriented Software Development}, YEAR = {2006}, MONTH = {nov/dec}, NOTE = {Special issue on Software Engineering Curriculum Development}, OPTNUMBER = {}, OPTPAGES = {}, OPTVOLUME = {}, URL = {http://www.computer.org/portal/pages/software/content/edcal.html} } @ARTICLE{dfl+06a, AUTHOR = {Rémi Douence and Thomas Fritz and Nicolas Loriant and Jean-Marc Menaud and Marc Ségura-Devillechaise and Mario Südholt}, JOURNAL = {Transactions on Aspect-Oriented Software Development}, TITLE = {An expressive aspect language for system applications with Arachne}, YEAR = {2006}, MONTH = {March}, NOTE = {LNCS vol. 3880}, OPTNUMBER = {}, PAGES = {174--213}, VOLUME = {1}, PUBLISHER = {Springer Verlag} } @ARTICLE{sml+06a, AUTHOR = {Marc Ségura-Devillechaise and Jean-Marc Menaud and Nicolas Loriant and Thomas Fritz and Rémi Douence and Mario Südholt}, JOURNAL = {IEEE Software}, TITLE = {Dynamic Adaptation of the Squid Web Cache with Arachne}, YEAR = {2006}, OPTMONTH = {}, NOTE = {Special Issue on Aspect-Oriented Computing}, NUMBER = {1}, PAGES = {34--41}, VOLUME = {23} } @INPROCEEDINGS{bsv+06a, AUTHOR = {Benavides Navarro, Luis Daniel and Mario Südholt and Wim Vanderperren and De Fraine, Bruno and Davy Suvée}, BOOKTITLE = {Proceedings of the 5th Int. ACM Conf. on Aspect-Oriented Software Development (AOSD'06)}, TITLE = {Explicitly distributed AOP using AWED}, YEAR = {2006}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{dlns06a, AUTHOR = {Rémi Douence and Didier Le Botlan and Jacques Noyé and Mario Südholt}, BOOKTITLE = {Proc. of the 5th Int. Conf. on Generative Programming and Component Engineering (GPCE'06)}, TITLE = {Concurrent Aspects}, YEAR = {2006}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{bsvv06a, AUTHOR = {Luis Daniel Benavides Navarro and Mario Südholt and and Wim Vanderperren and Bart Verheecke}, BOOKTITLE = {Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA'06)}, TITLE = {Modularization of distributed web services using AWED}, YEAR = {2006}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {Oct./Nov.}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, OPTVOLUME = {} } @INPROCEEDINGS{ns06a, AUTHOR = {Dong Ha Nguyen and Mario Südholt}, BOOKTITLE = {4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)}, TITLE = {VPA-based aspects: better support for AOP over protocols}, YEAR = {2006}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {IEEE Press}, OPTSERIES = {}, OPTVOLUME = {} } @TECHREPORT{bsv+06b, AUTHOR = {Benavides Navarro, Luis Daniel and Mario Südholt and Wim Vanderperren and De Fraine, Bruno and Davy Suvée}, INSTITUTION = {INRIA}, TITLE = {Explicitly distributed AOP using AWED}, YEAR = {2006}, OPTADDRESS = {}, MONTH = {March}, NOTE = {Slightly extended version of [Benavides et al., AOSD'06]}, NUMBER = {5882}, TYPE = {Research Report}, URL = {http://www.emn.fr/sudholt/papers/rr-inria-5882.pdf} } @TECHREPORT{dlns06c, AUTHOR = {Rémi Douence and Le Botlan, Didier and Jacques Noyé and Mario Südholt}, INSTITUTION = {INRIA}, TITLE = {Concurrent aspects}, YEAR = {2006}, OPTADDRESS = {}, MONTH = {March}, OPTNOTE = {}, NUMBER = {5873}, TYPE = {Research Report}, URL = {http://www.inria.fr/rrrt/rr-5873.html} } @MISC{dlns06b, AUTHOR = {Rémi Douence and Le Botlan, Didier and Jacques Noyé and Mario Südholt}, HOWPUBLISHED = {Int. WS on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06)}, MONTH = {March}, OPTNOTE = {}, TITLE = {Towards a model of concurrent AOP}, YEAR = {2006}, URL = {http://www.emn.fr/sudholt/papers/splat06.pdf} } @PROCEEDINGS{cs05a, TITLE = {Programmation par aspects}, YEAR = {2005}, OPTADDRESS = {}, EDITOR = {Pierre Cointe and Mario Südholt}, MONTH = {November}, NOTE = {Versions éténdues d'une éléction d'articles de JFDLPA'04}, OPTNUMBER = {}, OPTORGANIZATION = {}, PUBLISHER = {Hermes Science Publications}, SERIES = {L'Objet --- logiciel, bases de données, réseaux}, VOLUME = {3(11)} } @INCOLLECTION{nds05a, AUTHOR = {Jacques Noyé and Rémi Douence and Mario Südholt}, BOOKTITLE = {Composants : concepts, techniques et outils}, PUBLISHER = {Vuibert}, TITLE = {Composants et aspects}, YEAR = {2005}, OPTADDRESS = {}, CHAPTER = {6}, OPTCROSSREF = {}, OPTEDITION = {}, EDITOR = {Mourrad Oussalah}, MONTH = {February}, OPTNOTE = {}, OPTNUMBER = {}, OPTPAGES = {}, OPTSERIES = {}, OPTTYPE = {}, OPTVOLUME = {} } @INPROCEEDINGS{douence-fritz-al.aosd2005, AUTHOR = {Rémi Douence and Thomas Fritz and Nicolas Loriant and Jean-Marc Menaud and Marc Ségura-Devillechaise and Mario Südholt}, BOOKTITLE = {Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD'05)}, TITLE = {An expressive aspect language for system applications with Arachne}, YEAR = {2005}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{fss+05b, AUTHOR = {Thomas Fritz and Marc Ségura-Devillechaise and Mario Südholt and Egon Wuchner and Jean-Marc Menaud}, BOOKTITLE = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05)}, TITLE = {Automating adaptive image generation for medical devices using Aspect-Oriented Programming}, YEAR = {2005}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{sudholt.sc2005, AUTHOR = {Mario Südholt}, BOOKTITLE = {Proceedings of the 4th International Workshop on Software Composition (SC'05)}, TITLE = {A model of components with non-regular protocols}, YEAR = {2005}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {April}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, OPTVOLUME = {}, ABSTRACT = {Behavioral specifications which are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such specifications are typically limited to finite-state protocols because more expressive notions of protocol do not support reasonable basic composition properties, such as compatibility and substitutability. In this paper, we present first results of the integration into component interfaces of a notion of non-regular protocols based on {``}non-regular process types{''} introduced by Puntigam. More concretely, we present three contributions: (i) a motivation of the usefulness of non-regular protocols in the context of peer-to-peer applications, (ii) a language for non-regular protocols and an outline of a suitable formal definition, (iii) a discussion of basic composition properties and an analysis of how to adequately integrate protocol-modifying operators in the model. } } @MISC{fss+05a, AUTHOR = {Thomas Fritz and Marc Ségura-Devillechaise and Mario Südholt and Egon Wuchner and Jean-Marc Menaud}, HOWPUBLISHED = {Proc. of the International Workshop on Dynamic Aspects at AOSD (DAW'05)}, MONTH = {March}, OPTNOTE = {}, TITLE = {An application of dynamic AOP to medical image generation}, YEAR = {2005} } @INCOLLECTION{douence-fradet-sudholt.aop-book2003, AUTHOR = {Rémi Douence and Pascal Fradet and Mario Südholt}, BOOKTITLE = {Aspect-Oriented Software Development}, PUBLISHER = {Addison-Wesley}, TITLE = {Trace-Based Aspects}, YEAR = {2004}, OPTADDRESS = {}, OPTCHAPTER = {}, OPTCROSSREF = {}, OPTEDITION = {}, EDITOR = {Mehmet Aksit and Siobhán Clarke and Tzilla Elrad and Robert E. Filman}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTPAGES = {}, OPTSERIES = {}, OPTTYPE = {}, OPTVOLUME = {} } @ARTICLE{cointe-noye-al.jfp2004, AUTHOR = {Pierre Cointe and Jacques Noyé and Rémi Douence and Thomas Ledoux and Jean-Marc Menaud and Gilles Muller and Mario Südholt}, JOURNAL = {RSTI L'Objet}, TITLE = {Programmation post-objets : des langages d'aspects aux langages de composants}, YEAR = {2004}, OPTMONTH = {}, NOTE = {Colloque en l'honneur de Jean-François Perrot}, NUMBER = {4}, OPTPAGES = {}, VOLUME = {10}, URL = {http://www.lip6.fr/colloque-JFP} } @INPROCEEDINGS{douence-fradet-sudholt.aosd2004, AUTHOR = {Rémi Douence and Pascal Fradet and Mario Südholt}, BOOKTITLE = {Proc. of the 3rd Int. Conf. on Aspect-Oriented Software Development (AOSD'04)}, TITLE = {Composition, Reuse and Interaction Analysis of Stateful Aspects}, YEAR = {2004}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, ORGANIZATION = {ACM}, OPTPAGES = {}, PUBLISHER = {ACM Press}, OPTSERIES = {}, OPTVOLUME = {} } @INPROCEEDINGS{muller-lawall-al.ew2004, AUTHOR = {Gilles Muller and Julia Lawall and Jean-Marc Menaud and Mario Südholt}, BOOKTITLE = {ACM SIGOPS European Workshop 2004 (EW'2004)}, TITLE = {Constructing Component-Based Extension Interfaces in Legacy Systems Code}, YEAR = {2004}, ADDRESS = {Louvain, Belgique}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @TECHREPORT{cointe-sudholt.proc-jfdlpa2004, AUTHOR = {Pierre Cointe and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Actes de la Première Journée Francophone sur le Développement du Logiciel par Aspects (JFDLPA'04)}, YEAR = {2004}, OPTADDRESS = {}, MONTH = {September}, OPTNOTE = {}, NUMBER = {04/7/INFO}, OPTTYPE = {}, URL = {http://www.emn.fr/x-info/obasco/events/jfdlpa04/actes/} } @TECHREPORT{farias-sudholt.tr2004, AUTHOR = {Andres Farias and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Integrating protocol aspects with software components to address dependability concerns}, YEAR = {2004}, OPTADDRESS = {}, MONTH = {November}, OPTNOTE = {}, NUMBER = {04/6/INFO}, OPTTYPE = {}, URL = {http://www.emn.fr/sudholt/papers/tr-6-2004.pdf} } @INPROCEEDINGS{douence-sudholt.lmo2003, AUTHOR = {Rémi Douence and Mario Südholt}, BOOKTITLE = {LMO 2003}, TITLE = {Un modèle et un outil pour la programmation par aspects événementiels}, YEAR = {2003}, ADDRESS = {Vannes}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {February}, NOTE = {version anglaise: [douence-sudholt.tr2002]}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Hermès}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {AOP, EAOP, aspect composition, tool, Java} } @INPROCEEDINGS{aaberg-lawall-al.acp4is2003, AUTHOR = {Rickard A. Åberg and Julia Lawall and Mario Südholt and Gilles Muller}, BOOKTITLE = {The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)}, TITLE = {Evolving an OS Kernel using Temporal Logic and Aspect-Oriented Programming}, YEAR = {2003}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {March}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {AOP, OS, Temporal logic, EAOP, Bossa} } @INPROCEEDINGS{aaberg-lawall-al.ase2003, AUTHOR = {Rickard A. Åberg and Julia Lawall and Mario Südholt and Gilles Muller and Le Meur, Anne-Françoise}, BOOKTITLE = {Proceedings of the 18th IEEE International Conference on Automated Software Engineering 2003 (ASE 2003)}, TITLE = {On the automatic evolution of an OS kernel using temporal logic and AOP}, YEAR = {2003}, ADDRESS = {Montreal, Canada}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, ABSTRACT = {Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly complicated when considering large pieces of software, even when the modifications appear to be systematic. We illustrate this situation in the context of evolving the Linux kernel to support Bossa, an event-based framework for process-scheduler development. To support Bossa, events must be added at points scattered throughout the kernel. In each case, the choice of event depends on properties of one or a sequence of instructions. To describe precisely the choice of event, we propose to guide the event insertion by using a set of rules, amounting to an aspect, that describes the control-flow contexts in which each event should be generated. In this paper, we present our approach and describe the set of rules that allow proper event insertion. These rules use temporal logic to describe sequences of instructions that require events to be inserted. We also give an overview of an implementation that we have developed to automatically perform this evolution.} } @INPROCEEDINGS{barreto-douence-al.acpis-aosd2002, AUTHOR = {Luciano Porto Barreto and Rémi Douence and Gilles Muller and Mario Südholt}, BOOKTITLE = {International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD}, TITLE = {Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering}, YEAR = {2002}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {April}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, ABSTRACT = {There is a continuous demand for new scheduling policies to address specific requirements of modern OSes. However, the implementation of such policies within an existing OS kernel raises many problems, mainly because optimizations within schedulers hinder code maintenance and implementation of existing schedulers is spread over the kernel. In this paper we motivate that schedulers form an aspect within OS kernels. We show how the DSL of the Bossa system for the definition of scheduling policies and its runtime support can be integrated with a framework for Aspect-Oriented Programming, Event-based AOP. Finally, we discuss the generalization of AOP-based techniques to other OS kernel modules.} } @INPROCEEDINGS{douence-fradet-sudholt.gpce2002, AUTHOR = {Rémi Douence and Pascal Fradet and Mario Südholt}, BOOKTITLE = {Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings}, TITLE = {A framework for the detection and resolution of aspect interactions}, YEAR = {2002}, ADDRESS = {Pittsburgh, PA, USA}, OPTCROSSREF = {}, EDITOR = {D. Batory and C. Consel and W. Taha}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {173--188}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {2487}, KEYWORDS = {aop, static analysis}, ABSTRACT = {Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between conflicting aspects and implementing conflict resolution code. In this paper, we propose a solution to this problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution.} } @INPROCEEDINGS{farias-gueheneuc-sudholt.bs-oopsla2002, AUTHOR = {Andres Farias and Yann-Gaël Guéhéneuc and Mario Südholt}, BOOKTITLE = {Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer}, TITLE = {Integrating Behavioral Protocols in Enterprise Java Beans}, YEAR = {2002}, OPTADDRESS = {}, OPTCROSSREF = {}, EDITOR = {Kenneth Baclawski and Haim Kilov}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {80--89}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {protocols, component models, detection, verification, EJB, JavaBeans} } @INPROCEEDINGS{farias-sudholt.doa2002, AUTHOR = {Andres Farias and Mario Südholt}, BOOKTITLE = {On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002}, TITLE = {On components with explicit protocols satisfying a notion of correctness by construction}, YEAR = {2002}, OPTADDRESS = {}, OPTCROSSREF = {}, EDITOR = {R. Meersam and et al, Zahir Tari}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {995--1012}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {2519}, KEYWORDS = {protocols, component models, composition, EJB, JavaBeans} } @TECHREPORT{douence-fradet-sudholt.tr2002, AUTHOR = {Rémi Douence and Pascal Fradet and Mario Südholt}, INSTITUTION = {INRIA}, TITLE = {Detection and resolution of aspect interactions}, YEAR = {2002}, OPTADDRESS = {}, MONTH = {April}, OPTNOTE = {}, NUMBER = {RR-4435}, OPTTYPE = {}, KEYWORDS = {aop, static analysis}, ABSTRACT = {Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between conflicting aspects and implementing conflict resolution code. In this paper, we propose a solution to this problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution.} } @TECHREPORT{douence-sudholt.tr2002, AUTHOR = {Rémi Douence and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {A model and a tool for Event-based Aspect-Oriented Programming (EAOP)}, YEAR = {2002}, OPTADDRESS = {}, OPTMONTH = {}, NOTE = {2nd edition, french version to be published at LMO'03}, NUMBER = {02/11/INFO}, OPTTYPE = {}, KEYWORDS = {AOP, aspect composition, tool, Java} } @TECHREPORT{farias-sudholt.tr2002, AUTHOR = {Andres Farias and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {On the construction of components with explicit protocols}, YEAR = {2002}, OPTADDRESS = {}, OPTMONTH = {}, OPTNOTE = {}, NUMBER = {02/4/INFO}, OPTTYPE = {}, ABSTRACT = {Component-based programming promises to facilitate the construction of large-scale applications, which is supported by the important concept of interfaces. In most current component models, interfaces essentially declare types and sets of services that a component implements. They are not expressive enough to formulate many properties important for component collaboration. In this paper we consider an important class of such properties, sequencing constraints, which components must obey when calling one another services. We consider the integration into interfaces of sequencing properties by means of protocols formalized in terms of finite-state machines. The paper presents three contributions. First, a set of protocol composition operators and a discussion of correctness properties of such operators useful for component assembly. Second, we provide a first step toward the integration of additional state information into protocols. Finally, we show how JavaBeans can benefit from the techniques we present. } } @ARTICLE{douence-sudholt.hosc2001, AUTHOR = {Rémi Douence and Mario Südholt}, JOURNAL = {Higher-Order and Symbolic Computation}, TITLE = {A generic reification technique for object-oriented reflective languages}, YEAR = {2001}, MONTH = {March}, OPTNOTE = {}, NUMBER = {1}, PAGES = {7--34}, VOLUME = {14}, KEYWORDS = {reflection, object-oriented programming, program transformation}, PUBLISHER = {Kluwer Academic Publishers}, ABSTRACT = {Computational reflection is gaining interest in practical applications as witnessed by the use of reflection in the Java programming environment and recent work on reflective middleware. Reflective systems offer many different reflection programming interfaces, the so-called Meta-Object Protocols (MOPs). Their design is subject to a number of constraints relating to, among others, expressive power, efficiency and security properties. Since these constraints are different from one application to another, we should be able to easily provide specially-tailored MOPs. In this paper, we present a generic reification technique based on program transformation. It enables the selective reification of arbitrary parts of object-oriented metacircular interpreters. The program transformation can be applied to different interpreter definitions. Each resulting reflective implementation provides a different MOP directly derived from the original interpreter definition.} } @INPROCEEDINGS{douence-motelet-sudholt.reflection2001, AUTHOR = {Rémi Douence and Olivier Motelet and Mario Südholt}, BOOKTITLE = {Proceedings of the 3rd International Conference on Reflection 2001}, TITLE = {A formal definition of crosscuts}, YEAR = {2001}, ADDRESS = {Kyoto, Japan}, OPTCROSSREF = {}, EDITOR = {A. Yonezawa and S. Matsuoka}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {170--186}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {2192}, ABSTRACT = {Crosscutting, i.e. relating different program points is one of the key notions of Aspect-Oriented Programming. In this report, we consider a general and operational model for crosscutting based on execution monitors. A domain-specific language for the definition of crosscuts constitutes the core of the report. The semantics of this language is formally defined by means of parser operators matching event patterns in execution traces. We define an operational semantics of the matching process by means of rules relating the operators. The use of the language is exemplified by several sophisticated crosscut definitions. We sketch a prototype implementation in Java which has been systematically derived from the language definition.} } @TECHREPORT{bouraqadi-douence-al.tr2001, AUTHOR = {Noury M. Bouraqadi-Saâdani and Rémi Douence and Thomas Ledoux and Olivier Motelet and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Status of work on AOP at the OCM group}, YEAR = {2001}, OPTADDRESS = {}, MONTH = {April}, OPTNOTE = {}, NUMBER = {01-4-INFO}, OPTTYPE = {}, KEYWORDS = {AOP, execution monitoring, program transformation, interpreter}, ABSTRACT = {The OCM (Object, Components, Model) group of the computer science department at Ecole des Mines de Nantes is interested in Aspect-Oriented Programming (AOP). This report is a collection of three short articles presenting work in progress at our lab. We focus on two approaches: AOP from a monitoring perspective (articles 1 and 2) and different approaches to achieve AOP weaving (article 3).} } @TECHREPORT{bouraqadi-ledoux-sudholt.reflection2001, AUTHOR = {Noury M. Bouraqadi-Saâdani and Thomas Ledoux and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {A Reflective Infrastructure for Coarse-Grained Strong Mobility and its Tool-Based Implementation}, YEAR = {2001}, OPTADDRESS = {}, MONTH = {September}, NOTE = {Invited presentation at the phInternational Workshop on Experiences with reflective systems (held in conjunction with Reflection 2001, the ph``3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns'')}, NUMBER = {01-7-INFO}, OPTTYPE = {} } @TECHREPORT{bouraqadi-ledoux-sudholt.tr2001b, AUTHOR = {Noury M. Bouraqadi-Saâdani and Thomas Ledoux and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Description du prototype RAM}, YEAR = {2001}, OPTADDRESS = {}, MONTH = {September}, OPTNOTE = {}, OPTNUMBER = {}, TYPE = {Rapport technique}, HOWPUBLISHED = {5ème et dernier livrable du projet RAM, CTI FT R&D} } @TECHREPORT{bouraqadi-ledoux-sudholt.tr2001a, AUTHOR = {Noury M. Bouraqadi-Saâdani and Thomas Ledoux and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Un survol de l'architecture du prototype RAM}, YEAR = {2001}, OPTADDRESS = {}, MONTH = {May}, OPTNOTE = {}, OPTNUMBER = {}, TYPE = {Rapport technique}, HOWPUBLISHED = {4ème livrable du projet RAM, CTI FT R&D} } @TECHREPORT{douence-motelet-sudholt.tr2001, AUTHOR = {Rémi Douence and Olivier Motelet and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {A formal definition of crosscuts}, YEAR = {2001}, OPTADDRESS = {}, OPTMONTH = {}, OPTNOTE = {}, NUMBER = {01-3-INFO}, OPTTYPE = {}, ABSTRACT = {Crosscutting, i.e. relating different program points is one of the key notions of Aspect-Oriented Programming. In this report, we consider a general and operational model for crosscutting based on execution monitors. A domain-specific language for the definition of crosscuts constitutes the core of the report. The semantics of this language is formally defined by means of parser operators matching event patterns in execution traces. We define an operational semantics of the matching process by means of rules relating the operators and illustrate how to use these rules to formally prove optimization properties. The use of the language is exemplified by several sophisticated crosscut definitions. We present a prototype implementation in Java which has been systematically derived from the language definition.} } @MISC{cointe-douence-al.klee2001, AUTHOR = {Pierre Cointe and Rémi Douence and Thomas Ledoux and Jean-Marc Menaud and Jacques Noyé and Mario Südholt}, HOWPUBLISHED = {Première version de la proposition de projet hors site IRISA}, MONTH = {December}, NOTE = {Document de travail}, TITLE = {KLEE - Langages à objets, programmation par aspects et modèles de composants : vers des architectures logicielles adaptables}, YEAR = {2001} } @MISC{douence-motelet-sudholt.asoc-ecoop2001, AUTHOR = {Rémi Douence and Olivier Motelet and Mario Südholt}, HOWPUBLISHED = {ECOOP 2001 Workshop on Advanced Separation of Concerns}, MONTH = {June}, OPTNOTE = {}, TITLE = {Sophisticated crosscuts for e-commerce}, YEAR = {2001} } @INPROCEEDINGS{douence-sudholt.rmla-ecoop2000, AUTHOR = {Rémi Douence and Mario Südholt}, BOOKTITLE = {ECOOP'00 Workshop on Reflection and Meta-Level Architectures}, TITLE = {On the Lightweight and Selective Introduction of Reflective Capabilities in Applications}, YEAR = {2000}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {reflection, program transformation, Java} } @INPROCEEDINGS{douence-sudholt.mcseai2000, AUTHOR = {Rémi Douence and Mario Südholt}, BOOKTITLE = {Proceeding of 6th International Maghrebian Conference on Computer Science}, TITLE = {Une technique générique de réification dans les langages à objets}, YEAR = {2000}, ADDRESS = {Fes, Morocco}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {November}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {311--320}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {reflection, program transformation, MOP, Java} } @TECHREPORT{bouraqadi-douence-al.tr2000, AUTHOR = {Noury M. Bouraqadi-Saâdani and Rémi Douence and Thomas Ledoux and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {Un modèle de mobilité forte en Java}, YEAR = {2000}, OPTADDRESS = {}, OPTMONTH = {}, NOTE = {Deuxième livrable de la CTI FT R&D sur l'application de la programmation par aspects au code mobile Java}, OPTNUMBER = {}, OPTTYPE = {} } @INPROCEEDINGS{fradet-sudholt.aop-ecoop1999, AUTHOR = {Pascal Fradet and Mario Südholt}, BOOKTITLE = {International Workshop on Aspect-Oriented Programming at ECOOP}, TITLE = {An aspect language for robust programming}, YEAR = {1999}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {aop, abstract interpretation} } @TECHREPORT{douence-sudholt.tr1999, AUTHOR = {Rémi Douence and Mario Südholt}, INSTITUTION = {École des Mines de Nantes}, TITLE = {The next 700 reflective object-oriented languages}, YEAR = {1999}, OPTADDRESS = {}, OPTMONTH = {}, OPTNOTE = {}, NUMBER = {99-1-INFO}, OPTTYPE = {}, KEYWORDS = {MetaJ, oop, Smithonian reflective programming, program transformation, meta-object protocol}, ABSTRACT = {Since Smith seminal work, there have been numerous reflective language definition and implementation proposals. These proposals, initially restricted to functional languages, have been quickly extended to object-oriented languages. Unfortunately, reflective object-oriented language definitions remained mostly ad hoc. In this paper, we present a generic reification technique which enables the selective reification of arbitrary parts of object-oriented language interpreters. Our program transformation can be applied to different interpreter definitions. Each resulting reflective implementation provides a different meta-object protocol based on the original interpreter definition. This technique paves the way to a systematic study of reflective object-oriented language implementations.} } @INPROCEEDINGS{fradet-sudholt.aop-ecoop1998, AUTHOR = {Pascal Fradet and Mario Südholt}, BOOKTITLE = {International Workshop on Aspect-Oriented Programming at ECOOP}, TITLE = {AOP: towards a generic framework using program transformation and analysis}, YEAR = {1998}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {July}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {aop, abstract interpretation, aspect of program robustness}, ABSTRACT = {What exactly are aspects? How to weave? What are the join points used to anchor aspects into the component program? Is there a general purpose aspect language? We address these questions for a particular but quite general class of aspects: aspects which can be described as static, source-to-source program transformations. We discuss the design of a generic framework to express aspects as syntactic transformations as well as a generic weaver. We also consider how to use semantic properties for the definition of aspects and how to implement these properties using static analysis techniques. As an application of the framework, we sketch how to describe and implement an aspect dealing with program robustness and exceptions.} } @PHDTHESIS{sud97a, AUTHOR = {Mario Südholt}, SCHOOL = {Technische Universität Berlin}, TITLE = {The Transformational Derivation of Parallel Programs using Data-Distribution Algebras and Skeletons}, YEAR = {1997}, OPTADDRESS = {}, MONTH = {August}, OPTNOTE = {}, OPTTYPE = {} } @INPROCEEDINGS{holzbacher-perin-sudholt.coordination1997, AUTHOR = {A. A. Holzbacher and M. Périn and Mario Südholt}, BOOKTITLE = {2nd International Conference on COORDINATION}, TITLE = {Modeling railway control systems using graph grammars: a case study}, YEAR = {1997}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {September}, NOTE = {long version published as INRIA TR 3210: click ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3210.pdf.gz}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1282}, KEYWORDS = {software architecture, graph grammar, software evolution}, ABSTRACT = {In this paper we develop in three phases a railway control system. We are mainly concerned with the \emph{software architecture} of the control system and its \emph{dynamic evolution}; we do not discuss here the implementation details of the components forming the control system. First, we informally discuss our design proposal for the architecture of the control system: a hierarchy of controllers whose leaves are local controllers connected in a network that mimics the underlying railway topology. Second, we formally define by means of particular \emph{graph grammars} a style of software architectures for the railway control system consisting of two complementary \emph{views} and ensuring several desirable properties by construction. The dynamic evolution of the architecture is modelled by a set of \emph{coordination rules} which define graph transformations and are \emph{verified} w.r.t. to the graph grammar. Third, using a coordination rule as a formal specification of a dynamic modification of the railway control system, we derive its implementation in ConCoord, a programming environment for concurrent coordinated programming. With regard to software engineering, the two first phases belong to the system design while the third one forms the first implementation step.} } @INPROCEEDINGS{ps97a, AUTHOR = {P. Pepper and M. Südholt}, BOOKTITLE = {Proceedings of the 30rd Hawaii International Conference on System Sciences, 7th--10th January 1997}, TITLE = {Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm}, YEAR = {1997}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {January}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {IEEE}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {functional programming, parallel programming, skeleton, data distribution algebra, partition algorithm}, URL = {http://uebb.cs.tu-berlin.de/papers/published/HICSS97.dvi.gz}, ABSTRACT = {Parallel and distributed programming are much more difficult than the development of sequential algorithms due to data distribution issues and communication requirements. This paper presents a methodology that enables the abstract description of the distribution of data structures by means of overlapping covers that form data distribution algebras. Algorithms are formulated and derived by transformation in a functional environment using skeletons, i.e. higher-order functions with specific parallel implementations. Communication is specified implicitly through the access to overlapping parts of covers. Such specifications enable the derivation of explicit lower-level communication statements. We illustrate the concepts by a complete derivation of Wang's partition algorithm for the solution of tridiagonal systems of linear equations. } } @INPROCEEDINGS{spop97a, AUTHOR = {M. Süudholt and C. Piepenbrock and K. Obermayer and P. Pepper}, BOOKTITLE = {50th Working Conference on Algorithmic Languages and Calculi}, TITLE = {Solving Large Systems of Differential Equations using Covers and Skeletons}, YEAR = {1997}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {February}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Chapman & Hall}, OPTSERIES = {}, OPTVOLUME = {}, ABSTRACT = {The design and implementation of parallel algorithms for distributed memory architectures is much harder than the development of sequential algorithms. This is mainly due to the communication and synchronization that is necessary to manage distributed data correctly. This paper applies a methodology for the transformational derivation of parallel programs using \emph{data distribution algebras} that enable an abstract description of data distribution issues. Algorithms are formulated using \emph{skeletons}, that is, specialized higher-order functions with particular parallel implementations. The methodology is applied to a the solution of a \emph{system of ordinary differential equations} where convolutions can be computed using the Fast Fourier transformation. The example illustrates the practical optimization problems for a development model of the visual system that involves large scale neural network simulations. Finally, this algorithm is compared to an implementation of the same system of equations in the programming language C* on a CM-5.} } @INPROCEEDINGS{fgps96a, AUTHOR = {Thomas Frauenstein and Wolfgang Grieskamp and Peter Pepper and Mario Südholt}, BOOKTITLE = {Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk}, TITLE = {Communicating Functional Agents and their Application to Graphical User Interfaces}, YEAR = {1996}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {June}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, VOLUME = {1181}, ANNOTE = {PSI '96}, KEYWORDS = {functional programming, graphical user interface, Opal, gate} } @TECHREPORT{fgs96a, AUTHOR = {Thomas Frauenstein and Wolfgang Grieskamp and Mario Südholt}, INSTITUTION = {TU Berlin}, TITLE = {On the Semantics of a Concurrency Monad with Choice and Services}, YEAR = {1996}, OPTADDRESS = {}, MONTH = {July}, NOTE = {Revised Version}, NUMBER = {TR96-14}, OPTTYPE = {}, KEYWORDS = {functional programming, concurrency, monadic choice, monad, duration calculus, transistion semantics, denotational semantics} } @INPROCEEDINGS{ps95a, AUTHOR = {Peter Pepper and Mario Südholt}, BOOKTITLE = {Software Engineering im Scientific Computing}, TITLE = {Formulation and development of parallel numerical algorithms with data distribution algebras}, YEAR = {1995}, OPTADDRESS = {}, OPTCROSSREF = {}, OPTEDITOR = {}, MONTH = {June}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, OPTPAGES = {}, OPTPUBLISHER = {}, OPTSERIES = {}, OPTVOLUME = {} } @TECHREPORT{fgps95a, AUTHOR = {Thomas Frauenstein and Wolfgang Grieskamp and Peter Pepper and Mario Südholt}, INSTITUTION = {TU Berlin}, TITLE = {Communicating Functional Agents and their Application to Graphical User Interfaces}, YEAR = {1995}, OPTADDRESS = {}, OPTMONTH = {}, NOTE = {Revised Version, April 1996}, NUMBER = {TR95-19}, OPTTYPE = {}, ANNOTE = {PSI '96}, KEYWORDS = {functional programming, graphical user interface, Opal, gate} } @INCOLLECTION{sud94a, AUTHOR = {Mario Südholt}, BOOKTITLE = {Programming Concepts, Methods and Calculi}, PUBLISHER = {North-Holland}, TITLE = {Data Distribution Algebras --- A Formal Basis for Programming Using Skeletons}, YEAR = {1994}, OPTADDRESS = {}, OPTCHAPTER = {}, OPTCROSSREF = {}, OPTEDITION = {}, EDITOR = {E.-R. Olderog}, MONTH = {June}, OPTNOTE = {}, OPTNUMBER = {}, PAGES = {19--38}, OPTSERIES = {}, OPTTYPE = {}, OPTVOLUME = {}, KEYWORDS = {parallel programming, functional programming, skeleton}, ORGANIZATION = {IFIP (Transactions A-56)}, ABSTRACT = {Today there is no programming model or language support which offers a uniform programming methodology on a wide variety of parallel architectures. In this paper functional languages are proposed as such a methodology using an extension of the concept of {\em skeletons} --- higher-order functions coupled with parallel implementation templates. An essential part of the proposed methodology is the use of {\em data distribution algebras} as a structured language concept to specify distribution issues explicitly in a skeleton-based approach. It is shown how the {\em skeleton composition problem} can be solved using data distribution algebras. Finally the methodology is applied to the solution of partial differential equations in the context of fluid dynamics.} } @MANUAL{gs94a, TITLE = {Handcoder's Guide to OCS Version 2}, OPTADDRESS = {}, AUTHOR = {Wolfgang Grieskamp and Mario Südholt}, OPTEDITION = {}, MONTH = {February}, OPTNOTE = {}, ORGANIZATION = {The Opal Language Group}, YEAR = {1994}, KEYWORDS = {functional programming, Opal, handcoding}, ABSTRACT = {OPAL is a scheme language, by which we understand that it doesn't provide a priori more than the essential builtin data types of boolean numbers and textual denotations. Consequently, the OPAL compiler must support a way to add handcoded structures to the compilation system without loosing efficiency compared to as data types defined by these structures are built into the language. There is a second --- even more important --- reason which is independent of OPAL being a scheme language. In most cases software is not constructed from scratch, but is embedded in and does embed existing software: the operating system, the user interface, the data base manager and so on. This calls for a well defined interlanguage working interface. Nowadays C is the de facto standard for system programming; hence, it is desirable that OPAL programs can corporate with C software and vice versa. This manual describes on a technical level how to add handcoded structures to the OPAL Compilation System Version 2, and how to embed OPAL structures into C programs.} } @INCOLLECTION{pes93b, AUTHOR = {Peter Pepper and Jürgen Exner and Mario Südholt}, BOOKTITLE = {Informatik --- Wirtschaft --- Gesellschaft}, PUBLISHER = {Springer Verlag, Berlin, Heidelberg, New York}, TITLE = {Funktionale Programmierung für massiv parallele Systeme}, YEAR = {1993}, OPTADDRESS = {}, OPTCHAPTER = {}, OPTCROSSREF = {}, OPTEDITION = {}, EDITOR = {H. Reichel}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, PAGES = {551--556}, SERIES = {Informatik aktuell}, OPTTYPE = {}, OPTVOLUME = {} } @INCOLLECTION{ss93a, AUTHOR = {Mario Südholt and Christoph Steigner}, BOOKTITLE = {APS '93 --- Arbeitsplatzrechensysteme}, PUBLISHER = {vde-verlag}, TITLE = {xPPUC++ --- A Development Platform for Distributed Applications}, YEAR = {1993}, OPTADDRESS = {}, OPTCHAPTER = {}, OPTCROSSREF = {}, OPTEDITION = {}, EDITOR = {Djamshid Tavangarian and Helmut Bähring}, MONTH = {May}, OPTNOTE = {}, OPTNUMBER = {}, PAGES = {161--170}, OPTSERIES = {}, OPTTYPE = {}, OPTVOLUME = {}, KEYWORDS = {distributed programming, program development, object oriented programming} } @INPROCEEDINGS{pes93a, AUTHOR = {P. Pepper and Jürgen Exner and Mario Südholt}, BOOKTITLE = {Formal Methods in Programming and Their Applications. Proceedings International Conference Novosibirsk, June/July 1993. Lecture Notes on Computer Science 735}, TITLE = {Functional Development of Massively Parallel Programs}, YEAR = {1993}, OPTADDRESS = {}, OPTCROSSREF = {}, EDITOR = {D. Bjorner and M. Broy and I.V. Pottosin}, OPTMONTH = {}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {217--238}, PUBLISHER = {Springer Verlag, Berlin}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {functional programming, massively parallel computation, data parallel computation, skeleton} } @TECHREPORT{pse93a, AUTHOR = {Peter Pepper and Mario Südholt and Jürgen Exner}, INSTITUTION = {Technische Universität Berlin}, TITLE = {Functional Programming of Massively Parallel Systems}, YEAR = {1993}, OPTADDRESS = {}, MONTH = {October}, OPTNOTE = {}, NUMBER = {93-16}, OPTTYPE = {}, KEYWORDS = {functional programming, massively parallel computation, data parallel computation, skeleton}, ABSTRACT = { Parallel programming is intrinsically more difficult than sequential programming. To this day there is no universal programming methodology which provides a simple programming model applicable to a wide range of architectures. In this report a methodology is presented which aims at solving this dilemma using a transformational approach based on skeletons. First steps towards a general theory of skeletons are set up using results from sheaf theory. These results provide the basis for the formal definition of {\em data distribution algebras} underlying our definition of skeletons. The papers presents several examples in some detail which illustrate the use of the presented formalism in application domains important to parallel programming. Keywords: functional programming, parallel programming, skeleton, data distribution algebra.} } @INPROCEEDINGS{ss92a, AUTHOR = {Mario Südholt and Christoph Steigner}, BOOKTITLE = {Compiler Construction, 4th International Conference, CC '92}, TITLE = {On Interprocedural Data Flow Analysis for Object-Oriented Languages}, YEAR = {1992}, OPTADDRESS = {}, OPTCROSSREF = {}, EDITOR = {U. Kastens and P. Pfahler}, MONTH = {October}, OPTNOTE = {}, OPTNUMBER = {}, OPTORGANIZATION = {}, PAGES = {156--162}, PUBLISHER = {Springer Verlag, Berlin, Heidelberg, New York}, OPTSERIES = {}, OPTVOLUME = {}, KEYWORDS = {data flow analysis, object oriented programming, late binding, c++} } @MASTERSTHESIS{sud92a, AUTHOR = {Mario Südholt}, SCHOOL = {Universität Koblenz-Landau}, TITLE = {Parallelizing Compilers for Object-Oriented Languages}, YEAR = {1992}, OPTADDRESS = {}, MONTH = {June}, OPTNOTE = {}, OPTTYPE = {} }