%0 Journal Article %T 一种从object—z到csp规格说明的转化方法 %A 文志诚 缪淮扣 许庆国? %J 计算机科学 %D 2006 %X 面向对象形式规格说明语言obiect-z与进程代数csp相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行为,但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法,把object-z规格说明转化为csp规格说明,可以方便地处理结合后的规格说明,因此求精与推理对结合后的规格说明可以按csp规则与方法一致来进行处理。此外,转化后的object-z规格说明可以按照csp方法进行模型检查。 %K object—zcsp形式规格说明参数化进程转化 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=23166253&flag=1