Deriving behavioural models of component-based software systems from requirements specifications

Software behavioural models that derive from early requirements specifications such as use-case scenarios and properties have proven useful in early analysis and checking of the design correctness of individual components or whole system. However, deriving of these models becomes harder as a system specification grows. Expressive scenario description language that able to compact and concise scenario specifications is one of the solutions can enhance the ability of modeling large requirements specifications. Deriving behaviour models from compacted scenario specifications is a challenge related to this solution. This paper, introduce expressive scenario language and outline a process to derive system behavioural models from scenarios of this language in form of Labelled Transition Systems (LTS). In addition, the paper also covers some discussion of how these derived models can help analysis of software quality attributes.