Agent-oriented Requirements Engineering a Case Study Using the Albert Language

Abstract

Requirements Engineering is now widely recognised as a key issue in the design and implementation of information systems. Recent research trends plead for the use of formal (i.e. mathematical/logical) languages at this stage of analysis in order to cope with the classical difficulties arisen from the interactions with customers. In this paper, we introduce the language, a formal language based on the concept of ‘agent’ (seen as a specialization of the ‘object’ concept) in terms of which one may express real-time requirements as well as ‘non-functional’ requirements related to the reliability and security aspects of agents. The language is fully presented and illustrated through the handling of a non trivial computer-integrated manufacturing case study. Finally, some methodological guidelines are proposed for providing some help to the analyst in the incremental elaboration of a complex requirements document and a set of tools developped around is presented.

7 Figures and Tables

Statistics

0102030'96'98'00'02'04'06'08'10'12'14'16
Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Dubois1994AgentorientedRE, title={Agent-oriented Requirements Engineering a Case Study Using the Albert Language}, author={Eric Dubois and Philippe Du Bois and Fr{\'e}d{\'e}ric DuBru and Micha{\"{e}l Petit}, year={1994} }