loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Software Engineering Conference (APSEC'95)
From Scenarios to Timed Automata: Building Specifications from Users Requirements
Brisbane, Australia
December 06-December 09
ISBN: 0-8186-7171-8
Stephane Some, DIRO, University of Montreal
Rachida Dssouli, DIRO, University of Montreal
Jean Vaucher, DIRO, University of Montreal
Scenarios as partial behavior descriptions, are used more and more to represent users requirements, and to conduct software engineering. This paper examines automatic generation of specifications from requirements. This is a crucial step when accuracy is desired in the requirement engineering process. Automatic construction of specifications from scenarios reduces to the merging of partial behaviors into global specifications, such that these specifications can reproduce them. This paper presents an incremental algorithm that synthesizes timed automata from scenarios with timing constraints. The algorithm is based on a formalism developed for scenarios. Its uses operations semantics, and a mapping between concepts of scenarios, and those of the theory of timed automata.
Index Terms:
Requirements Engineering, Scenarios, Timed automata, Synthesis, Timing constraints
Citation:
Stephane Some, Rachida Dssouli, Jean Vaucher, "From Scenarios to Timed Automata: Building Specifications from Users Requirements," apsec, pp.48, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.