10.3969/j.issn.1006-9348.2005.z1.076
基于Petri网和B语言集成的形式化方法
随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Petri-B网可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式).
形式化方法、佩特里网、集成化
TP306.1(计算技术、计算机技术)
上海市自然科学基金03QG14016
2005-09-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
288-291