| 摘要: |
| 本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用． |
| 关键词: HOS规格说明，功能理解，验证，复用 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION |
|
L Jian,Fei Zongming
|
| Abstract: |
| This paper gives the semantic synthesis rules for HOS's primitive structures J()IN INCLUDE .OR and co-structures COINCLUDE .COOR COJOIN. Based on these semantic rules, a hierarchical understanding method for HOS specification is presented and its applications to the verification and reuse of HOS specification are also discussed. |
| Key words: HOS specification, functional understanding, verification, reuse |
