Transformation and Verification of System Scenarios

• Main Authors: Bo-Shiun Lee, 李博勛
• Other Authors: Haw-Ching Yang
• Format: Others
• Language: zh-TW
• Published: 2007
• Online Access: http://ndltd.ncl.edu.tw/handle/06350153239056984215

碩士 === 國立高雄第一科技大學 === 系統與控制工程研究所 === 95 === For the requirement development of system software, it is focused on how to realize its design goals, functions and constraints. To describe the requirement, the scenario–based specification in UML is effective and meaningful. Because of insufficient characteristics of UML, these scenarios exist inconsistency and non–feasibility issues which are not easy to process and verify. In this paper, we propose a scenario transformation methodology based on mapping rules to forward transform the UML scenario–based specification into Petri Nets for constructing the system behavior model. To synthesize different models, the sequential and parallel conjunctions are provided to verify these models by Petri Nets tools. After verification with errors, the backward transformation points out what and where these errors are, and what the reasons of these errors are. The results show that the conjunctions can effectively synthesize Petri Nets models for feasibility and consistency issues without losing relations between the scenarios.