Institut d'Informatique

Projet: Méthode d'ingéniérie de cahiers de charges et applications

Project: Requirements Engineering Method and Applications

Description:

Français:

Le langage ALBERT est utilisé pour produire des cahiers de charges pour différents types d'applications distribuées. Plus particulièment, nous avons traité des applications appartenant aux domaines des télécommunications, du contrôle de processus, des SI distribués et de la productique (CIM).

Ce dernier type d'application fait l'objet du développement d'une méthodologie basée sur l'utilisation de méthodes formelles et s'inscrivant dans le cadre de l'approche CIMOSA. Au delà de l'utilisation de Albert, l'objectif est de pouvoir identifier des composants réutilisables ("patterns") ainsi que des heuristiques et règles concernant leur utilisation.

Enfin, dans le projet CREWS, nous étudions l'utilisation du langage Albert et de son outil d'animation dans le cadre de méthodologies existantes et surtout de méthodologies orientées scénarios. La guidance méthodologique est exprimée sous forme d'un ensemble reutilisable de fragments de méthodes.

English

The language ALBERT is in use for producing requirements documents inherent to different kinds of composite systems. In particular, specific attention is brought to telecommunications applications, process control applications, distributed information systems and CIM (Computer Integrated Manufacturing) applications.

At the level of CIM systems, we define specific guidelines and methodology relying on the use of formal methods and in the line of the CIMOSA approach. Besides the use of Albert, we are considering the development of specific components patterns as well as the identification of heuristics and rules governing the customization of these patterns to specific situations.

Finally, within the CREWS project, we investigate how the use of the Albert language and its associated animator tool can be integrated into existing methodologies and especially scenario-based ones. Methodological guidelines are expressed as a set of reusable method fragments.

Responsables

• Eric DUBOIS Chargé de cours
  

Composition

Mots Clés / Keywords

requirements engineering method, process model, heuristics and rationales, Computer Integrated Manufacturing, Telecommunications and security

Plan / Schedule

FUNDP Institut d'Informatique

---