@inproceedings{dd2cad51308b4c9d96d90a7fc92ad749,
title = "Using formal composition of use cases in requirements engineering",
abstract = "Use Case techniques are widely used to capture software requirements. The current tendency is to keep such use case models as understandable and simple as possible. This simplicity is a barrier to make use cases more accurate and may lead to incorrect and inconsistent system specifications. A formal and expressive model may help the modeler to express her/his needs in a more intuitive way. In this paper we propose an approach for generating an overall system specification using use cases. Each use case represents a partial system behavior described as an extended finite automaton. We develop an automated and incremental approach which aims at merging use cases. We define imperative expressions that specify the semantics of the composition to perform. In each increment, the specification is augmented by the set of use cases generated by composition. The approach is illustrated by an e-Purchasing system case study.",
author = "Rabeb Mizouni and Aziz Salah and Rachida Dssouli",
year = "2007",
language = "British English",
isbn = "9781627486613",
series = "19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007",
pages = "238--243",
booktitle = "19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007",
note = "19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 ; Conference date: 09-07-2007 Through 11-07-2007",
}