从状态图到规则的转换

TRANSITION FROM STATE-DIAGRAM TO RULES

本文指出了在一个面向嵌入式实时系统软件的需求定义环境中 ,系统如何将可视的分层状态图转换为形式化规则的方法 ,以及转换后的规则如何存放于模板中和被显示 .最后 ,本文也阐述了此工作的作用和意义 .

This paper presents a method how the system translates the visual and hierarchical state diagram into formal rules and how the rules are stored in templates and displayed, under an embedded real time system software oriented requirement defining environment. Finally, the paper also introduces the use and meaning of the work.