Home
Scholarly Works
Integration of sequential scenarios
Conference

Integration of sequential scenarios

Abstract

We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain a more global view of user-system interactions. We restrict ourselves to the sequential case, meaning that we suppose that there is only one user (thus, the scenarios we wish to integrate cannot occur concurrently). Our view of scenarios is state-based, rather than event-based, like most of the other approaches, and can be grafted to the well-established specification language Z. Also, the end product of scenario integration, the specification of the functional aspects of the system, is given as a relation; this specification can be refined using independently developed methods. Our formal description is coupled with a diagram-based, transition-system like, presentation of scenarios, which is better suited to communication between clients and specifiers.

Authors

Desharnais J; Frappier M; Khédri R; Mili A

Series

Lecture Notes in Computer Science

Volume

1301

Pagination

pp. 310-326

Publisher

Springer Nature

Publication Date

January 1, 1997

DOI

10.1007/3-540-63531-9_22

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743
View published work (Non-McMaster Users)

Contact the Experts team