DocumentCode :
3122383
Title :
An Abstract Approach to Describing Scenario-Based Specifications
Author :
Chen, Zhongyu ; Miao, Huaikou
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
fYear :
2009
fDate :
2-4 Dec. 2009
Firstpage :
127
Lastpage :
131
Abstract :
Scenarios have been shown to be very helpful for requirements elicitation. However, they only capture partial behaviors of interaction among system component instances, and system behaviors are modeled by sequences of events. Such a behavioral model only captures parallel composition without synchronization in the sense that all the sequences of events are generated in an interleaving semantics. In this paper, we introduce a time model which is a category of time domains. We provide a trajectory model for the sequence of events. A trajectory describes precisely which events occur along the points of its time domain and show that categorial products allow us to compute parallel composition of behaviors with synchronization constraints. Our approach is helpful for broadening research vision of software engineering.
Keywords :
category theory; formal specification; synchronisation; category theory; event sequences; interleaving semantics; requirement elicitation; scenario-based specification; software engineering; synchronization constraint; system behavior modeling; system component instance; time domains; time model; trajectory model; Application software; Concrete; Concurrent computing; Conference management; Documentation; Engineering management; History; Interleaved codes; Monitoring; Software engineering; behaviour; behaviour composition; scenario; trajectory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Research, Management and Applications, 2009. SERA '09. 7th ACIS International Conference on
Conference_Location :
Haikou
Print_ISBN :
978-0-7695-3903-4
Type :
conf
DOI :
10.1109/SERA.2009.15
Filename :
5381786
Link To Document :
بازگشت