BACK TO INDEX

Publications of year 2001
Articles in journal or book chapters
  1. Noury M. Bouraqadi-Saâdani and Thomas Ledoux. Le point sur la programmation par aspects. RSTI - Technique et Science Informatique, 20(4), 2001.


  2. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, 7(1):19-36, 2001.


  3. Rémi Douence and Mario Südholt. A generic reification technique for object-oriented reflective languages. Higher-Order and Symbolic Computation, 14(1):7-34, March 2001. Keyword(s): reflection, object-oriented programming, program transformation.
    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.


Conference articles
  1. Hervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, and Narendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together. In D. Richardson, M. Feather, and M. Goedicke, editors, 16th IEEE conference on Automated Software Engineering (ASE 2001), San Diego, USA, pages 166-173, November 2001.
    Abstract:
    Design patterns ease designing, understanding, and re-engineering software. Achieving a well-designed piece of software require a deep understanding and a good practice of design patterns. Understanding existing software relies on the ability to identify architectural forms resulting of the implementation of design patterns. Maintaining software involves spotting places that can be improved using better design decisions, like those advocated by design patterns. Nevertheless, there is a lack of tools automatizing the use of design patterns to achieve well-designed pieces of software, to identify recurrent architectural forms, and to maintain software. In this paper, we present a set of tools and techniques to help OO software practitioners design, understand, and re-engineer a piece of software, using design-patterns. A first prototype tools, Patterns-Box, provides assistance in designing the architecture of a new piece of softwaren, while a second prototype tool, Ptidej, identifies design patterns used in an existing one. These tools, in combination, support maintenance by higlighting and applying corrections based on widely-accepted design patterns solutions.


  2. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Design Pattern Application: Pure-Generative Approach vs. Conservative-Generative Approach. In Krzysztof Czarnecki, editor, Proceedings of the OOPSLA Workshop on Generative Programming, October 2001. ACM Press.


  3. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Design Patterns: A Round-Trip. In G. Ardourel, M. Haupt, J.-L. Herrero Agustin, R. Ruggaber, and C. Suscheck, editors, Proceedings of ECOOP 11th Workshop for PhD Students in Object-Oriented Systems, June 2001.
    Abstract:
    Design patterns are of major interest to increase software quality and abstraction level. However, design patterns are difficult to choose, to apply, and to recover. We propose a set of tools to use design patterns in a round-trip fashion. We a meta-model to describe design patterns. This meta-model is specifically oriented towards design patterns instantiation and detection. We develop a source-to-source transformation engine to modify the source code to comply with design patterns descriptions. Meanwhile, we use an explanation-based constraint solver to detect design patterns in source code from their descriptions. With these tools, we hope to offer a mean to apply and to recover design patterns without overhead for the developers.


  4. Hervé Albin-Amiot and Yann-Gaël Guéhéneuc. Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis. In Bedir Tekinerdogan, editor, Proceedings of ECOOP Workshop on Automating Object-Oriented Software Development Methods, June 2001.
    Abstract:
    Design Patterns have been quickly adopted by the object-oriented community, in particular since the publication of "Design Patterns: Elements of Reusable Object-Oriented Software". They offer elegant and reusable solutions to recurring problems of design. Their use increases productivity and development quality. However, these solutions, at the boundary of programming languages and design models, suffer from a lack of formalism. For this reason, their application remains empirical and manually performed. This position paper presents how a meta-model can be used to obtain a representation of design patterns and how this representation allows both automatic code generation and design patterns detection.


  5. Gabriela Arévalo and Isabelle Borne. Architectural Description of Object Oriented Frameworks: an Approach. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 183-198, January 2001. Hermès. Note: L'Objet, 7(1-2).


  6. Noury M. Bouraqadi-Saâdani and Thomas Ledoux. How to weave?. In ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.


  7. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. In Proceedings of the 8th Asia-Pacific Software Engineering Conference, APSEC'2001, pages 169-176, 2001. IEEE Computer Society Press.


  8. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001, volume 2029 of Lecture Notes in Computer Science, pages 124-139, 2001. Springer-Verlag.


  9. Pierre-Charles David, Thomas Ledoux, and Noury M. Bouraqadi-Saâdani. Two-step weaving with reflection using AspectJ. In OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, 2001.


  10. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 170-186, September 2001. Springer-Verlag.
    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.


  11. Rémi Douence, Olivier Motelet, and Mario Südholt. Sophisticated crosscuts for e-commerce. In ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.


  12. Yann-Gaël Guéhéneuc and Hervé Albin-Amiot. Using Design Patterns and Constraints to Automate the Detection and Correction of Inter-Class Design Defects. In Q. Li, R. Riehle, G. Pour, and B. Meyer, editors, Proceedings of TOOLS USA, pages 296-305, 2001. IEEE Computer Society Press.


  13. Yann-Gaël Guéhéneuc and Narendra Jussien. Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception. In B. Neveu, editor, 7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), Toulouse, France, June 2001. ONERA.
    Abstract:
    Les patrons de conception décrivent des micro-architectures qui résolvent des problèmes architecturaux récurrents. Il est important d'identifier ces micro-architectures lors de la maintenance des programmes orientés objets. Mais ces micro-architectures apparaissent souvent sous des formes dégradées dans le code source. Nous présentons une application de la programmation par contraintes avec explications pour l'identification de ces micro-architectures dégradées.


  14. Yann-Gaël Guéhéneuc and Narendra Jussien. Using Explanations for Design-Patterns Identification. In IJCAI'01 Workshop on Modelling and Solving problems with constraints, Seattle, WA, USA, August 2001.
    Abstract:
    Design-patterns describe micro-architectures that solve recurrent architectural problems in objec-oriented programming languages. It is important to identify these micro-architectures during the maintenant of objec-oriented programs. But, these micro-architectures often appear distorted in the source code. We present an application of explanation-based constraint programming for identifying these distorted micro-architectures.


  15. Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. In Proceedings of the 15th IPDPS 2001 Symposium, FMPPTA, San Francisco, USA, 2001. IEEE Computer Society Press.


  16. François Sarradin and Thomas Ledoux. Adaptabilité dynamique de la sémantique de communication dans Jonathan. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 45-62, January 2001. Hermès. Note: L'Objet, 7(1-2).


  17. Éric Tanter, Noury M. Bouraqadi-Saâdani, and Jacques Noyé. Reflex - Towards an Open Reflective Extension of Java. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 25-42, September 2001. Springer-Verlag.


  18. Éric Tanter, Noury M. Bouraqadi-Saâdani, and Jacques Noyé. Reflex: une extension réflexive de Java portable, souple et performante. In Robert Godin and Isabelle Borne, editors, LMO 2001 - Langages et modèles à objets, Le Croisic, France, pages 165-180, January 2001. Hermès. Note: L'Objet, 7(1-2).


  19. David Touzet, Jean-Marc Menaud, Frédéric Weis, Paul Couderc, and Michel Banâtre. SIDE Surfer: a Spontaneous Information Discovery and Exchange System. In 2nd international Workshop on Ubiquitous Computing and Communication, Barcelona, Spain, September 2001.


Internal reports
  1. Noury M. Bouraqadi-Saâdani, Rémi Douence, Thomas Ledoux, Olivier Motelet, and Mario Südholt. Status of work on AOP at the OCM group. Technical report 01-4-INFO, École des Mines de Nantes, April 2001. Keyword(s): 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).


  2. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, and Mario Südholt. A Reflective Infrastructure for Coarse-Grained Strong Mobility and its Tool-Based Implementation. Technical report 01-7-INFO, École des Mines de Nantes, September 2001. 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'').


  3. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, and Mario Südholt. Description du prototype RAM. Rapport technique, École des Mines de Nantes, September 2001.


  4. Noury M. Bouraqadi-Saâdani, Thomas Ledoux, and Mario Südholt. Un survol de l'architecture du prototype RAM. Rapport technique, École des Mines de Nantes, May 2001.


  5. Pierre-Charles David. Une infrastructure pour middleware adaptable. Rapport de DEA, École des Mines de Nantes, Université de Nantes, September 2001.
    Abstract:
    Cette étude a permis de concevoir et développer une infrastructure pour le middleware adaptable, capable d'adapter de façon la plus transparente possible (pour le programmeur d'application) les applications à des conditions changeantes d'exécution, aussi bien statiquement (configuration au déploiement) que dynamiquement (reconfiguration automatique à l'exécution). La solution proposée est basée sur un protocole à métaobjets de type run-time permettant de séparer le code fonctionnel des services non-fonctionnels des applications et de modifier dynamiquement leurs associations. L'infrastructure développée met en oeuvre des politiques d'adaptation crites en {XML} (certaines définies par le programmeur, d'autres de type système indépendantes des applications) pour décider quand et comment effectuer ces reconfigurations à la volée.


  6. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. Technical report 01-3-INFO, École des Mines de Nantes, 2001.
    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.


  7. Jean-Charles Quantin. Consulations d'informations techniques sur terminaux mobiles. Technical report, September 2001.


  8. Jean-Claude Royer. Concepts et modèles formels pour l'analyse et la conception à objets. Technical report, IRIN, 2001. Note: Habilitation à diriger des recherches.


Miscellaneous
  1. Gustavo Bobeff. ARCom (Another Reusable Component Model). Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, September 2001.


  2. V. H. Arroyo Ibanez. Aspect-Oriented Programming for Features in Telecom Applications. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, 2001.


  3. Liang Peng. Formalization of Static and Dynamic UML Using Algebraic Specifications. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, September 2001.


  4. État de l'art sur l'adaptabilité, December 2001.


  5. Pierre Cointe, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Jacques Noyé, and Mario Südholt. KLEE - Langages à objets, programmation par aspects et modèles de composants : vers des architectures logicielles adaptables, December 2001. Note: Document de travail.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html