Please use this identifier to cite or link to this item:
|Title:||Synthesis and traceability of scenario-based executable models|
|Authors:||Goel, A. |
|Keywords:||Computer aided software engineering|
Software requirements and specifications
|Citation:||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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 20, 2019
checked on Nov 17, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.