hos规格说明的功能理解及其应用

本文给出了ｈｏｓ方法学中基本控制结构ｊｏｉｎ、ｉｎｃｌｕｄｅ、ｏｒ和复合控制结构ｃｏｊｏｉｎ、ｃｏｉｎｃｌｕｄｅ及ｃｏｏｒ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ｈｏｓ规格说明的语义验证和复用方面的应用．