Integration of sequential scenarios

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationSoftware Engineering - ESEC/FSE 1997 - 6th European Software Engineering Conference with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings
EditorsMehdi Jazayeri, Helmut Schauer
PublisherSpringer Verlag
Pages310-326
Number of pages17
ISBN (Print)3540635319, 9783540635314
DOIs
StatePublished - 1997
Externally publishedYes
Event6th European Software Engineering Conference Held Jointly with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 1997 - Zurich, Switzerland
Duration: Sep 22 1997Sep 25 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1301
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th European Software Engineering Conference Held Jointly with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 1997
Country/TerritorySwitzerland
CityZurich
Period9/22/979/25/97

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Keywords

  • Integration
  • Relational approach
  • Requirements elicitation
  • Scenario
  • State-based approach
  • User-system interaction

Fingerprint

Dive into the research topics of 'Integration of sequential scenarios'. Together they form a unique fingerprint.

Cite this