本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则，以此为基础，提出了一种层次式功能理解方法，并讨论了基估ＨＯＳ规格......