Please use this identifier to cite or link to this item: https://doi.org/10.1109/ISoLA.2006.36
Title: Synthesis and traceability of scenario-based executable models
Authors: Goel, A. 
Roychoudhury, A. 
Keywords: Computer aided software engineering
Software requirements and specifications
Issue Date: 2007
Source: Goel, A.,Roychoudhury, A. (2007). Synthesis and traceability of scenario-based executable models. Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 347-354. ScholarBank@NUS Repository. https://doi.org/10.1109/ISoLA.2006.36
Abstract: Message Sequence Charts (MSCs) or Sequence Diagrams are one of the behavioral diagram types in the Unified Modeling Language or UML. In system requirements modeling, MSCs are conventionally used for describing possible system scenarios. In the recent past, there have been concerted attempts to develop executable system modeling languages directly based on MSCs - Live Sequence Charts, Triggered Message Sequence Charts and Interacting Process Classes, to name a few. In this paper, we study the problem of model synthesis in these languages - how to translate informal requirements into formal models. We also discuss (a) test generation from these formal models, and (b) how the generated tests can be traced back to the informal requirements. © 2007 IEEE.
Source Title: Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
URI: http://scholarbank.nus.edu.sg/handle/10635/41259
ISBN: 0769530710
DOI: 10.1109/ISoLA.2006.36
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Dec 13, 2017

Page view(s)

37
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.