Project sheets



(Under construction)


Forspec:
  • Forspec-UIE
  • Forspec-XXX
  • Forspec-YYY
  • SPOOL:
  • SPOOL-CIA
  • SPOOL-DPE
  • SPOOL-OODM
  • SPOOL-TT
  • Layla
  • LoDACE
  • MMCM
  • ORE-VRTPW
  • TEM Project
  • TEM
  • XML4SE
  • XML4SE


  •  
    Project Name  Forspec-UIE (User Interface Engineering) 
    Research Area  User interface specification, prototype generation
    Start  Mai 1996
    End  Ongoing
    Project Manager  Rudolf K. Keller
    Students/Researchers  Mohammed ElKoutbi
    Project Partners  Forspec Team (Laval University, UdeM)
    Description  This project aims to promote the use of formal methods in specifying and designing user interfaces (UI). Conceptually a UI is composed of three blocks (PAC model): presentation, abstraction (data), and control (dialogue). Our interest carries particularly on modeling UIs using object-oriented methods. We base this work on the Unified Modeling Language (UML) which emerges as a consensus of OO methods and supports well the scenario approach recognized by its adequacy in requirements engineering. We want to study the impact of specification techniques in the field of UIs. Within the framework we plan to use Petri nets and Statecharts to compare their respective ability of formalization.
    The goal of this work is:
    • to specify formally the dialogue aspect of UIs in order to improve their quality and to reduce testing and changing efforts;
    • to define an approach which integrates the specifications of the different parts of UIs and if possible to derive partially the specification of a component from another.
    Further information Scenario-based User Interface Prototyping (SUIP) : Free software developed by GELO
    Publications  Modeling Interactive Systems with Hierarchical Colored Petri Nets, by Mohammed Elkoutbi and Rudolf K. Keller. In Proceedings of the 1998 Advanced Simulation Technologies Conference, pages 432-437, Boston, MA, April 1998. The Society for Computer Simulation International. HPC98 Special session on Petri-Nets.
    Full Text (PDF format). 
    Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams, by Ismail Khriss, Mohammed Elkoutbi, and Rudolf K. Keller, in Proceedings of the International Workshop on the Unified Modelling Language UML'98: Beyond the Notation, pages 115-126bis, Mulhouse, France, June 1998.  


     
    Project Name  SPOOL-CIA (Change Impact Analysis) 
    Research Area  Changeability, design properties, change impact analysis, object oriented metrics 
    Start  September 1997 
    End  Ongoing 
    Project Manager  Rudolf K. Keller, François Lustman 
    Students/Researchers  Hind Kabaili 
    Project Partners  Bell Canada 
    Description  The purpose of this project is the study of the relation between architecture and the changeability of object oriented systems. First, we try to analyze the changeability of object oriented systems using an impact analysis model. Such a model makes it possible to define a change clearly, to specify it and predict the resources necessary to the establishment of this change. It thus makes it possible to evaluate the cost of a change and to make a tradeoff in suggested changes. Second, we want to acquire knowledge concerning the architectural properties which have an effect on the changeability. Our objective is to discover and then to show that certain architectural properties influence the changeability of object oriented systems.
    Further information http://www.iro.umontreal.ca/labs/gelo/spool/
    Publications  A Change Impact Model for Changeability Assessment in Object-Oriented Systems, by Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, and Francois Lustman. In Proceedings of the Third Euromicro Working Conference on Software Maintenance and Reengineering, pages 130-138, Amsterdam, The Netherlands, March 1999. IEEE.


     
    Project Name  SPOOL-DPE (Design Pattern Engineering) 
    Research Area  Design composition, design recovery, design pattern
    Start  November 1996
    End  Ongoing
    Project Manager  Rudolf K. Keller
    Students/Researchers  Jean-François Bédard, Pascal Dufresne, Yin Rui, Guy St-Denis, Reinhard Schauer
    Project Partners  Bell Canada, CSER (Canadian Consortium for Software Engineering Research)
    Description  The purpose of this project is to support reuse of pre-defined design solutions, that is, architectural patterns, design patterns, or idioms, for large-scale software construction. The objectives are twofold: 
    • The first objective is to provide established design solutions as tangible and refinable components, that is, as design components that can be retrieved from a central repository and plugged into the software developers' personal design environments. There, they may be refined and assembled with other design components to construct software as a composition of basic design solutions.
    • The second objective is to provide automated support for the detection of design components in large-scale C++ software. Both source code and design components are managed in an object-oriented software repository with the schema of an extended UML metamodel. GEN++ serves as the reverse-engineering environment. The design component detectors are implemented as ODMG queries. The detection results are presented as visual annotations of the UML diagrams representing the source code.
    Further information http://www.iro.umontreal.ca/labs/gelo/spool/
    Publications  Hot Spot Recovery in Object-Oriented Software with Inheritance and Composition Template Methods, by Reinhard Schauer, Sebastien Robitaille, Francois Martel, and Rudolf K. Keller. In Proceedings of the International Conference on Software Maintenance (ICSM'99), Oxford, England, August 1999. IEEE. to appear. 
    Pattern-based reverse engineering of design components, by Rudolf K. Keller, Reinhard Schauer, Sebastien Robitaille, and Patrick Page. In Proceedings of the Twenty-First International Conference on Software Engineering (ICSE '99), pages 226-235, Los Angeles, CA, May 1999. IEEE. 
    Pattern Visualization for Software Comprehension, by Reinhard Schauer and Rudolf K. Keller. In Proceedings of the Sixth International Workshop on Program Comprehension (IWPC'98), pages 4-12, Ischia, Italy, June 1998. 
    Design Components: Towards Software Composition at the Design Level, by Rudolf K. Keller and Reinhard Schauer. In Proceedings of the Twentieth International Conference on Software Engineering (ICSE '98), pages 302-311, Kyoto, Japan, April 1998. IEEE.


     
    Project Name  SPOOL-TT (Transformations and Traceability) 
    Research Area  Transformations, tracability, scenarios synthesis, rapid prototyping, refinement schemas, design patterns.
    Start  May 1996
    End  Ongoing
    Project Manager  Rudolf K. Keller
    Students/Researchers  Ismail Khriss
    Project Partners  Bell Canada, CSER (Canadian Consortium for Software Engineering Research)
    Description  Software development raises the need for traceability, i.e., the ability to trace a given artifact back to the artifacts of previous development stages that impacted in some way or other the given artifact. Traceability cannot be obtained without a systematic transformational approach to software development.

    The objective of this project is to support a transformational approach at the design level by means of algorithms and processes. The Unified Modeling Language (UML) was adopted as the notational framework. We have defined three research themes: generation of behavior models from scenarios models, user interface prototype generation, and pattern-based stepwise refinement of design models.

    In the first research theme, we are proposing an incremental algorithm for synthesizing behavioral specifications from scenarios. This algorithm generates from a given set of UML collaboration diagrams the UML statechart diagrams of all the objects involved.

    The role of the second theme is to provide an approach for generating a user interface (UI) prototype from scenarios. Scenarios are acquired in the form of UML collaboration diagrams, which are enriched with UI information. These diagrams are automatically transformed into UML statechart specifications of the UI objects involved using the algorithm proposed in the first theme. From the set of obtained specifications, another algorithm is designed to generate a UI prototype that will be embedded in a UI builder environment for further refinement.

    The goal of the third research theme is to offer a new approach to the correct stepwise refinement of UML static and dynamic models based on refinement schemas. A refinement schema is composed of two compartments. The first compartment describes the abstract model of the design, and the second compartment shows its corresponding detailed model after application of one design pattern.
    Further information Scenario-based User Interface Prototyping (SUIP) : Free software developed by GELO
    Publications  Algorithmic Support for Model Transformation in Object- Oriented Software Development, by Siegfried Schönberger, Rudolf K. Keller, and Ismail Khriss. In Theory and Practice of Object Systems (TAPOS), 1999. John Wiley and Sons. to appear.
    Transformations for Pattern-based Forward-Engineering, by Ismail Khriss and Rudolf K.Keller. In Proceedings of the International Workshop on Software Transformation Systems (STS'99), pages 50-58, Los Angeles, CA, May 1999. Held in conjunction with the 21st Intl. Conf. on Software Engineering.
    Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams, by Ismail Khriss, Mohammed Elkoutbi, and Rudolf K. Keller. In Jean Bezivin and Pierre Alain Muller, editors, <<UML>>'98: Beyond the Notation, Springer-Verlag, 1999. LNCS 1618. Revised version of UML'98 paper. To appear.
    Generating User Interface Prototypes from Scenarios, by Mohammed Elkoutbi, Ismail Khriss, and Rudolf K. Keller. In Proceedings of the Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, pp. 150-158, June 1999.


     
    Project Name  LoDACE (Load Distribution Architecture in Distributed Object Computing Environments)  
    Research Area  Load distribution, object-based distributed computing
    Start  April 1997
    End  Ongoing
    Project Manager  Rudolf K. Keller, Peter G. Kropf
    Students/Researchers  Elarbi Badidi
    Project Partners  Centre de Recherche Informatique de Montréal (CRIM)
    Description  In this project, we are interested in the automatic load sharing of object servers, i.e. software component objects as the ones defined by distributed object systems such as CORBA and DCOM. Our motivation is that distributed object computing still needs, if it wants to be a successful paradigm for multimedia servers for example, automatic tools that will optimize performance under heavy load. The goal of the LoDACE project is to design a software architecture providing support for load sharing between software servers providing the same service type. The purpose of this architecture is to prevent the occurrence of major load imbalances that can cause failures in distributed applications, and to improve the throughput of object servers. Load Monitoring and object localization are two fundamental issues that need to be considered. The ODP trading service is a potential candidate for dynamic discovery of servers based on their properties. Load management, on the other hand, provides support for the implementation of different load sharing strategies such as the initial placement and the sender-initiated and receiver-initiated strategies.
    Further information http://www.iro.umontreal.ca/~badidi/research.html
    Publications  The Design of a Trader-based CORBA Load Sharing Service, By Elarbi Badidi, Rudolf K. Keller, Peter G. Kropf, and Vincent Van Dongen. In Proceedings of the Twelfth International Conference on Parallel and Distributed Computing Systems (PDCS'99), Fort Lauderdale, FL, August 1999. Intl. Soc. for Computers and their Appl. To appear.
    LoDACE: une architecture de partage de charge dans les systèmes distribués objets, by Elarbi Badidi, Rudolf K. Keller, Peter G. Kropf, and Vincent Van Dongen. In Proceedings of the Colloque International sur les NOuvelles TEchnologies de la REpartition (NOTERE'98), pages 281-296, Montreal, QC, Canada, October 1998. Editions CRIM.
    Vers une architecture de partage de charge dans un environnement CORBA, by Elarbi Badidi, Rudolf K. Keller, and Vincent Van Dongen, in Dominique Mery and Guy Rene Perrin, editors, Proceedings of the Tenth Rencontres francophones du parallélisme des architectures et des systèmes (RenPar'10), pages 103--106, Strasbourg, France, June 1998. University of Strasbourg (publ.).
    Dynamic Server Selection in Distributed Object Computing Systems, by Elarbi Badidi, Rudolf K. Keller, Peter G. Kropf, and Vincent Van Dongen, in Herwig Unger, editor, Proceedings of the Workshop on Distributed Computing on the WEB, pages 39-47, Rostock, Germany, June 1998. German Computer Society (GI), Rostock University Press.


     
    Project Name  MMCM (Modelling and Metamodelling Corporate Memories) 
    Research Area  Modelisation, Metamodelisation, Conceptuals Graphs 
    Start  September 1996 
    End  Ongoing 
    Project Manager  Rudolf K. Keller, Guy W. Mineau (Université Laval) 
    Students/Researchers  Olivier Gerbé 
    Project Partners  HEC 
    Description 

    The project aims to define a formalism for knowledge representation that allows for the modelling and metamodelling of corporate memories. Using this formalism, the structure, the dynamics, and the constraints of corporative knowledge, especially business rules and processes, will be represented in a uniform manner.

    Further information http://www.iro.umontreal.ca/~gerbe
    Publications  Modeling and Metamodeling Requirements for Knowledge Management, by O. Gerbé. and B.Kerhervé. In Proceedings of OOPSLA'98 Workshops, Vancouver, Canada, 1998.
    Conceptual Graphs for Representing Business Processes in Corporate Memories by O. Gerbé. , R. Keller and G. Mineau. In Proceedings of 6th International Conference on Conceptual Structures, Montpellier, France, 1998.
    Modèles et métamodèles pour la connaissance corporative, by O. Gerbé. 66e Congrès de l'Acfas, Laval, 1998.
    Conceptual Graphs for Corporate Knowledge Repositories, by O. Gerbé. In Proceedings of 5th International Conference on Conceptual Structures, Seattle, 1997.
    Contexts: A Formal Definition of Worlds of Assertions, by G.W. Mineau and O. Gerbé. In Proceedings of 5th International Conference on Conceptual Structures, Seattle, 1997.
    Models for Metadata or Metamodels for Data?, by B. Kerhervé and O. Gerbé. In Proceedings of 2nd IEEE Metadata Conference, Silver Spring, 1997.


     
    Project Name  ORE-VRPTW (Operations Research Engineering - Vehicule Routing Problem with Time Window) 
    Research Area  Parallel OO conception of a VRPTW (Vehicule Routing Problem with Time Window)
    Start  January 1999
    End  Ongoing
    Project Manager  T.G. Crainic, Rudolf K. Keller
    Students/Researchers  Alexandre Le Bouthillier
    Project Partners  Center for Research on Transportation (CRT)
    Description  The integration of Software Engineering and Operations Research gives us the ability to formulate mechanisms that use metaheuristics for parallel problem solving. We are currently modeling a object-oriented parallel resolution of a VRPTW (Vehicule Routing Problem with Time Window) under UML (Unified Modelling Language). This model will be mapped into a Java prototype with COM/DCOM. This formalization and implementation will show us the impact of Software Engineering on the life cycle of an application using Operations Research techniques: a clearer representation of the use of parallelism and optimization.
    Further information http://www.iro.umontreal.ca/~lebouthi
    UML draft version 1.3 alpha R2, OMG, janvier 1999, 670p
    A New Parallel Tour Construction Algorithm for VRPTW, Ulrich Derigs, Jurgen Antes, U of Cologne, Albertus Magnus Platz, Koln 41 D-5000, FO 00720 , Germany, 1998
    Méthodes Parallèles de Recherche avec Tabous, Crainic T.G, CRT Pub. No 97-56, 26p., Montréal, QC, Canada, décembre 1997
    Parallel Metaheuristics, Crainic T.G., Toulouse M., CRT Pub. No 97-50, 53p., Montréal, QC, Canada, novembre 1997
    Publications 
    [Top]

    GÉLO GÉLO
    Laboratoire de génie logiciel
    Software engineering group
    Maison
    Home
    Équipe
    Team
    Publications
    Publications
    Projets
    Projects
    Séminaire
    Seminar
    Divers
    Miscellaneous
    Contact
    Contact