THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION
HOS规格说明的功能理解及其应用

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.