BACK TO INDEX

Publications of year 2002
Articles in journal or book chapters
  1. Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, 27(3):127-147, 2002.


  2. David Touzet, Jean-Marc Menaud, Frédéric Weis, Paul Couderc, and Michel Banâtre. SIDE Surfer: Enriching Casual Meetings with Spontaneous Information Gathering. ACM SIGARCH CAN, 29(5), December 2002. Note: ISSN 0163-5964.


Conference articles
  1. Hervé Albin-Amiot, Pierre Cointe, and Yann-Gaël Guéhéneuc. Un méta-modèle pour coupler application et détection des design patterns. In M. Dao and M. Huchard, editors, LMO 2002 - Langages et modèles à objets, Montpellier, pages 41-58, January 2002. Hermès.


  2. M. Allemand, C. Attiogbé, Pascal Poizat, Jean-Claude Royer, and G. Salaün. SHE'S project: a report of joint works on integration of formal specification techniques. In H. Ehrig and M. Grosse-Rhode, editors, Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02), Grenoble, France, April 2002.


  3. Michel Allemand and Jean-Claude Royer. Mixed Formal Specification with PVS. In Proceedings of the 15th IPDPS 2002 Symposium, FMPPTA, 2002. IEEE Computer Society Press.


  4. Luciano Porto Barreto, Rémi Douence, Gilles Muller, and Mario Südholt. Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering. In International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002.
    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.


  5. Luciano Porto Barreto and Gilles Muller. Bossa: a Language-based Approach to the Design of Real-time Schedulers. In 10th International Conference on Real-Time Systems (RTS'2002), Paris, France, pages 19-31, March 2002.


  6. Gustavo Bobeff and Jacques Noyé. Component Specialization: Towards Deeper Adaptation. In Systèmes à composants adaptables et extensibles, Grenoble, France, October 2002.


  7. Gustavo Bobeff and Jacques Noyé. On the Interaction of Partial Evaluation and Inheritance. In First Inheritance Workshop at ECOOP 2002, Malaga, Spain, June 2002.
    Abstract:
    In this paper, we consider a direct, source-to-source, specialization of Java programs. In this setting, specialization does not boil down to partially evaluating functions (here called methods) any longer. Indeed, specialized methods have also to be encapsulated into residual classes. We show that inheritance offers new specialization opportunities but that these opportunities are not so easy to benefit from because of some deep incompatibilities between specialization as partial evaluation and specialization as inheritance in standard object-oriented languages.


  8. Pierre-Charles David and Thomas Ledoux. An Infrastructure for Adaptable Middleware. In R. Meersam and Zahir Tari et al, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002, volume 2519 of Lecture Notes in Computer Science, pages 773-790, October 2002. Springer-Verlag.


  9. Pierre-Charles David and Thomas Ledoux. Dynamic Adaptation of Non-Functional Concerns. In First International Workshop on Unanticipated Software Evolution (USE'02) at ECOOP 2002, Malaga, Spain, June 2002.
    Abstract:
    In order to build programs able to adapt themselves to changing execution conditions, we propose a Separation of Concerns approach distinguishing functional and non-functional concerns. These two kinds of concerns are composed together, at run-time, by a weaver which is aware of the execution conditions so that it can adapt its weaving to their evolution.


  10. Rémi Douence, Pascal Fradet, and Mario Südholt. A framework for the detection and resolution of aspect interactions. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 173-188, October 2002. Springer-Verlag. Keyword(s): 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.


  11. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS'02), Copenhagen, Denmark, July 2002.
    Abstract:
    Using conflict sets (or nogoods) and explanations within constraint programming has been proved very effective. However, most constraint solvers do not provide this feature. This statement could have been made for many other improvements. Indeed, one of the main reasons of that fact is that many improvements in constraint programming are intrusive: their integration requires a general modification of the solvers' implementation and/or architecture. The core part of constraint solvers is often quite simple, however, it represents only a small part of the implementation. The main part of the code is devoted to specific constraint handling, global constraints, search techniques, API, etc. Modifying this code requires a real development effort that may become overly costly. Constraint solvers need non intrusive approaches. Actually, solvers should not be modified at all and only a general information about implementation should be needed to integrate improvements. In this paper, we present a technique used in software engineering to reach that aim: aspect oriented programming. As an example, the non intrusive integration of conflict set generation and use is presented and some insights of what could be done are provided.


  12. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In First AOSD workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Enschede, The Netherlands, April 2002. University of Twente.
    Abstract:
    Constraint solvers are useful tools that provide solutions to very complex problems. These infrastructure software rely on simple mechanisms, however their actual implementation can be quite complex. A good knowledge of their inner mechanisms is required to introduce enhancements which crosscut basic algorithms and structures. In this paper, we advocate non-intrusive constraint solver enhancements. First, a minimal solver is introduced. Second, different enhancements are implemented with the help of aspect oriented programming.


  13. Andrés Farías, Yann-Gaël Guéhéneuc, and Mario Südholt. Integrating Behavioral Protocols in Enterprise Java Beans. In Kenneth Baclawski and Haim Kilov, editors, Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer, pages 80-89, October 2002. Keyword(s): protocols, component models, detection, verification, EJB, JavaBeans.


  14. Andrés Farías and Mario Südholt. On components with explicit protocols satisfying a notion of correctness by construction. In R. Meersam and Zahir Tari et al, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002, volume 2519 of Lecture Notes in Computer Science, pages 995-1012, October 2002. Springer-Verlag. Keyword(s): protocols, component models, composition, EJB, JavaBeans.


  15. Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, and Gilles Muller. THINK: A Software Framework for Component-based Operating System Kernels. In USENIX'02, Monterey, CA, USA, pages 73-86, June 2002. USENIX.


  16. Yann-Gaël Guéhéneuc. Three Musketeers to the Rescue - Meta-modelling, Logic Programming, and Explanation-based Constraint Programming for Pattern Description and Detection. In Kris De Volder, Kim Mens, Tom Mens, and Roel Wuyts, editors, Proceedings of the ASE Workshop on Declarative Meta-Programming, CICSR Technical Report, Edinburgh, UK, September 2002. University of British Columbia.
    Abstract:
    Software maintenance is a costly and tedious phase in the software development process Woods98-ConstraintRecovery. During this phase, a maintainer needs both to understand and to modify a program source code. Therefore, the maintainer must obtain a representation of the program that accurately reflects its structure and its behavior. Then, the maintainer must find those places in the program that require modification. Finally, the maintainer must perform changes that improve the program behavior and do not introduce further defects. In our research work, we focus on the maintainer's first and second tasks: The obtention of an accurate representation of the program structure and behavior, and the detection of places to improve. We propose a set of software engineering tools, for the structural and dynamic representation of Java program, and for the (semi-) automated detection of design patterns and design defects. Design patterns and design defects are related: A group of classes which micro-architecture is similar (but not identical) to a design pattern corresponds to a possible design defect.


  17. Yann-Gaël Guéhéneuc, Rémi Douence, and Narendra Jussien. No Java without Caffeine -- A Tool for Dynamic Analysis of Java Programs. In Proceedings of ASE 2002 : 17th International IEEE Conference on Automated Software Engineering, Edinburgh, UK, September 2002.


  18. D. He, Gilles Muller, and Julia Lawall. Distributing MPEG movies over the Internet using programmable networks. In The 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, pages 161-170, July 2002.


  19. Zahi Jarir, Pierre-Charles David, and Thomas Ledoux. Dynamic Adaptability of Services in Enterprise JavaBeans Architecture. In Seventh International Workshop on Component-Oriented Programming (WCOP'02) at ECOOP 2002, Malaga, Spain, June 2002.
    Abstract:
    To be in harmony with continuous variations of the execution environment such as fluctuating network bandwidth, decreasing battery power, and so on, new approaches are required for component-based middleware to make them adaptable with regard to these changes. The aim of the work presented in this paper is to enhance the EJB architecture by allowing applications to be aware of, and adapt to, variations in the execution context. We propose to dynamically adapt the association between EJB components and middleware services when necessary. Thus, EJB applications have the advantage to be dynamically adaptive according to changes related to their execution context.


  20. Julia Lawall, Gilles Muller, and Luciano Porto Barreto. Capturing OS Expertise in an Event Type System: the Bossa Experience. In Tenth ACM SIGOPS European Workshop 2002 (EW2002), St. Emilion, France, pages 54-61, September 2002.


  21. Gilles Muller and Julia Lawall. Towards a Scheduling Framework for Dynamically Downloaded Multimedia Applications. In Microsoft Summer Research Workshop 2002, Cambridge, England, September 2002. Microsoft Research.


  22. Pascal Poizat and Jean-Claude Royer. Une proposition de composants formels. In M. Dao and M. Huchard, editors, Actes de LMO'2002, pages 231-245, January 2002. Note: RSTI - L'Objet 8(1-2).


  23. Marc Ségura-Devillechaise and Jean-Marc Menaud. Caching Web Services: Aspect-Orientation to the Rescue. In International Workshop on Web Engineering at Networking 2002, Pisa, Italy, May 2002.


  24. Éric Tanter. Runtime Metaobject Protocols: the Quest for their Holy Application. In 12th ECOOP Workshop of PhD Students in Object-Oriented Systems (PhDOOS 2002), Malaga, Spain, June 2002. Note: In conjunction with the 16th European Conference on Object-Oriented Programming (ECOOP 2002).


  25. Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, and José Piquer. Altering Java Semantics via Bytecode Manipulation. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 283-298, October 2002. Springer-Verlag.


  26. Éric Tanter, Michael Vernaillen, and José Piquer. Towards Transparent Adaptation of Migration Policies. In 8th ECOOP Workshop in Mobile Object Systems (EWMOS 2002), Malaga, Spain, June 2002. Note: In conjunction with the 16th European Conference on Object-Oriented Programming (ECOOP 2002).


Internal reports
  1. Luciano Porto Barreto, Gilles Muller, Julia Lawall, and K. Kono. A framework for simplifying the development of kernel schedulers: design and performance evaluation. Technical report 02/8/INFO, École des Mines de Nantes, August 2002.


  2. Julien Blass. Open containers and dynamic adaptability of services in the EJB model. Rapport de DEA, Tokyo Institute of Technology, École des Mines de Nantes, Université de Nantes, September 2002.


  3. Rémi Douence, Pascal Fradet, and Mario Südholt. Detection and resolution of aspect interactions. Technical report RR-4435, INRIA, April 2002. Keyword(s): 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.


  4. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. Research Report 02-2-INFO, École des Mines de Nantes, Nantes, France, February 2002.


  5. Rémi Douence and Mario Südholt. A model and a tool for Event-based Aspect-Oriented Programming (EAOP). Technical report 02/11/INFO, École des Mines de Nantes, 2002. Note: 2nd edition, french version to be published at LMO'03. Keyword(s): AOP, aspect composition, tool, Java.


  6. Andrés Farías and Mario Südholt. On the construction of components with explicit protocols. Technical report 02/4/INFO, École des Mines de Nantes, 2002.
    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.


  7. Yann-Gaël Guéhéneuc, Hervé Albin-Amiot, Rémi Douence, and Pierre Cointe. Bridging the Gap Between Modeling and Programming Languages. Technical report 02/09/INFO, École des Mines de Nantes, May 2002.
    Abstract:
    A discontinuity exists between modeling languages and object-oriented programming languages. This discontinuity is a consequence of ambiguous notions in modeling languages and lack of corresponding notions in object-oriented programming languages. It hinders the transition between a software design and its implementation, and vice versa. Thus, it hampers the implementation and the maintenance processes. This discontinuity is particularly acute for binary class relationships, which describe, at the design level, notions such as association, aggregation, and composition. From the current state of the art, we propose synthetic definitions for the binary class relationships at the design level and corresponding definitions at the implementation level. We express the latter definitions in terms of common properties. We present algorithms to synthesize code for these properties and to detect these properties in code. These algorithms allow us to generate and to detect binary class relationships. We verify the detection algorithms on several well-known frameworks. The definitions and algorithms bring continuity between modeling languages and object-oriented programming languages.


  8. Yann-Gaël Guéhéneuc, Rémi Douence, and Narendra Jussien. No Java Without Caffeine -- A Tool for Dynamic Analysis of Java Programs. Technical report 02-7-INFO, École des Mines de Nantes, 4, rue Alfred Kastler -- 44307 Nantes Cedex 3 -- France, May 2002.
    Abstract:
    To understand the behavior of a program, a maintainer reads some code, asks a question about this code, conjectures an answer, and searches the code and the documentation for confirmation of her conjecture. However, the confirmation of the conjecture can be error-prone and time-consuming because the maintainer only has static information at her disposal. She would benefit from dynamic information. In this paper, we present Caffeine, an assistant that helps the maintainer in checking her conjecture about the behavior of a Java program. Our assistant is a dynamic analysis tool that uses the Java platform debug architecture to generate a trace, ie an execution history, and a Prolog engine to perform queries over the trace. We present a usage scenario based on the n-queens problem, and two examples based on the Singleton design pattern and on the composition relationship.


  9. Hayfa Zgaya. Aspects pour des solveurs de contraintes -- enrichissements non invasifs d'un solveur de contraintes. Technical report, École des Mines de Nantes, Université de Nantes, September 2002. Note: Rapport de DEA.


Miscellaneous
  1. Rodrigo Meza. A composition aspect for Java components. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2002.


  2. Laura Ponisio. A Binding-Time Analysis for petitCafé. Master's thesis, Vrije Universiteit Brussel and École des Mines de Nantes, August 2002.



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