Personal tools
FUNDP > Research > Projects
 
PHD thesis

The Albert II Language. On the Design and the Use of a Formal Specification Language for Requirements Analysis (PDU)

Duration

1989-1995

Description

The requirements engineering activity,

which concerns the elicitation, the modelling, the analysis, and the

validation the customers' needs, is recognized as a crucial activity

in the software lifecycle.

Specification languages supporting this activity for

complex systems, like real-time systems, are expected possess two main

qualities:

  • expressiveness so that requirements can be modelled in a natural

    way,

  • formality allowing automated reasoning on a specification document

    in order to discover potential incompletenesses and/or inconsistencies.

The Albert II language has been designed with these objectives in mind.

In this thesis, the Albert II language is presented intuitively

and formally, and is illustrated through the handling of a real-size

case study. Various issues around the language are discussed, e.a. methodological

issues, availability of tools, link with other phases of the software

lifecycle,...

Research unit(s)

Research theme(s)

Staff (finished contracts)

Chairperson(s)
Eric DUBOIS Leader

Research staff
Philippe DU BOIS Researcher
Pierre-Yves SCHOBBENS Researcher 081/724990

Publications (5)

Collective work contributions

1993
Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems, in Information Infrastructure Systems for Manufacturing, collection IFIP Transactions, volume B-14, pp. 141-156
Marc DERROITTE, Eric DUBOIS, Philippe DU BOIS, Michaël PETIT, Jean-Pol MICHEL

Conference Proceedings

1994
ALBERT: an Agent-oriented Language for Building and Eliciting Requirements for real-Time systems, in Proc. of the 27th Hawaii International Conference on System Sciences - HICSS-27
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT
1994
Agent-oriented Requirements Engineering: A Case Study using the Albert Language, in Proc. of the Fourth International Working Conference on Dynamic Modelling and Information System (DYNMOD-IV), pp. 205-238
Eric DUBOIS, Philippe DU BOIS, Frederic DUBRU, Michaël PETIT
1993
Elicitating and formalising requirements for CIM information systems, in Proc. of the 5th conference on advanced information systems engineering, collection LNCS, volume 685, pp. 252-274
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT
1993
O-O requirements analysis: an agent perspective, in ECOOP'93 - Object-Oriented Programming, collection LNCS, volume 707, pp. 458-481
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT