10.3969/j.issn.1000-7024.2013.10.067
从行为树转换到UML状态机来验证系统需求
定义了从行为树到统一建模语言状态机的转换.行为树是一种图形化建模方法,它能够抓取和形式化自然语言描写的需求的系统的动态行为,但是在软件开发过程中,人们更广泛的使用UML状态机.把这两种方法结合到一起提供了一种从自然语言需求到系统可执行模型的道路,这反过来又促进了需求验证和到模型驱动软件开发方法的转变.在Eclipse模型框架下实现了从行为树到统一建模语言状态机的转换,并通过一个安全警报案例研究来表明此方法的可行性.
需求验证、行为树、模型转换、统一建模语言、状态机
34
TP311.5(计算技术、计算机技术)
山西科技攻关基金项目2008032208
2013-11-18(万方平台首次上网日期,不代表论文的发表时间)
共7页
3710-3716