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
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;
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
DOI :
10.1109/SERA.2009.15