A service creation environment based on scenarios

Scenarios are often constructed for illustrating example runs through reactive system. Scenarios that describe possible interactions between a system and its environment are widely used in requirement engineering, as a means for users to communicate their functional requirements. Various software de...

Full description

Saved in:
Bibliographic Details
Published inInformation and software technology Vol. 41; no. 11; pp. 697 - 713
Main Authors Dssouli, R., Somé, S., Vaucher, J., Salah, A.
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 15.08.1999
Elsevier Science Ltd
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:Scenarios are often constructed for illustrating example runs through reactive system. Scenarios that describe possible interactions between a system and its environment are widely used in requirement engineering, as a means for users to communicate their functional requirements. Various software development methods use scenarios to define user requirements, but often lack tool support. Existing tools are graphical editors rather than tool support for design. This paper presents a service creation environment for elicitation, integration, verification and validation of scenarios. A semi-formal language is defined for user oriented scenario representation, and a prototype tool implementing an algorithm that integrates them for formal specification generation. This specification is then used to automatically find and report inconsistencies in the scenarios.
ISSN:0950-5849
1873-6025
DOI:10.1016/S0950-5849(99)00031-2