从行为树转换到UML状态机来验证系统需求  

Validation of system requirements from behavior tree to UML state machine

作　　者：解方[1] 段富[1] 

机构地区：[1]太原理工大学计算机科学与技术学院,山西太原030024

出　　处：《计算机工程与设计》2013年第10期3710-3716,共7页Computer Engineering and Design

基　　金：山西科技攻关基金项目(2008032208)

摘　　要：定义了从行为树到统一建模语言状态机的转换。行为树是一种图形化建模方法,它能够抓取和形式化自然语言描写的需求的系统的动态行为,但是在软件开发过程中,人们更广泛的使用UML状态机。把这两种方法结合到一起提供了一种从自然语言需求到系统可执行模型的道路,这反过来又促进了需求验证和到模型驱动软件开发方法的转变。在Eclipse模型框架下实现了从行为树到统一建模语言状态机的转换,并通过一个安全警报案例研究来表明此方法的可行性。The transformation from the behavior tree to the UML state machine is defined.The behavior tree is a graphical modeling methods,it can capture and formalize the dynamic behavior of system requirements in natural language description,but UML state machine are used in the software development usually.These two methods are combined to provide a path from natural language requirements to the system executable model,it in turn promotes the requirements verification and model-driven software development methods.The approach is realised in Eclipse modeling framework,and a case study of security alarm system demonstrates the feasibility of the method.

关 键 词：需求验证 行为树 模型转换 统一建模语言 状态机 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]