Institut d'Informatique

Projet: Le langage ALBERT pour l'ingéniérie des besoins

Project: The ALBERT language for Requirements Engineering

Description:

Français:

Dans la perspective de modélisation de SI coopératifs, nous développons le langage de spécification ALBERT. Ce langage permet de modéliser un système coopératif en termes d'"agents" hétérogènes caractérisés par leurs objectifs individuels, leurs responsabilités vis-à-vis d'actions et leurs moyens de coopération et communication. Le langage supporte différents styles de spécification pour des situations de coopération prédéfinies et repose sur des bases formelles reposant sur la logique temporelle temps-réel.

Durant cette année, le langage a fait l'objet de plusieurs expérimentations de nature industrielle (en particulier, au travers du projet Esprit 2RARE). Ces différentes validations ont conduit à apporter certaines modifications au niveau du langage, tant au niveau des constructions offertes au niveau du langage qu'au niveau de la sémantique formelle associée au langage (voir Unité Sémantique, Logique et Calcul).

Au delá de la modélisation des propriétés d'un système, nous investiguons également les liens existants entre ALBERT et l'approche i* (développée à Toronto) pour le besoin de modéliser les objectifs et contraintes d'une organisation. Cette coopération se fait dans le cadre d'un projet Esprit canado/européen relatif aux systèmes d'information coopératifs

English

For the purpose of modelling real-time cooperative information systems, we are designing the ALBERT specification language. This language allows to model a cooperative system in terms of heterogeneous "agents" characterised in terms of their individual goals, actions responsibilities and of their communication and cooperation capabilities. The language supports different styles of specification for predefined cooperation situations and it relies on formal grounds offered by real-time temporal logic.

During this year, and based upon the results coming from different experimentations (among which the Esprit 2RARE project), feedbacks have been received and resulted in some changes at the level of the language constructs as well as at the semantics level (see Unité Sémantique, Logique et Calcul).

Besides the modelling of the system's requirements, we are also investigating the relationship existing among ALBERT and the i* framework (developed at the Univ. of Toronto) for the purpose of modelling organizational objectives. This cooperation takes place within the context of a joint Esprit EU/Canada project systèmes d'information coopératifs

Responsables

• Eric DUBOIS Chargé de cours
  

Composition

Mots Clés / Keywords

requirements specification language, agent/object, agents responsibilities for action, agents communication/cooperation mechanisms

Plan / Schedule

FUNDP Institut d'Informatique

---