基于Petri网和B语言集成的形式化方法

摘要：

随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Petri-B网可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式).

关键词：形式化方法、佩特里网、集成化

分类号：TP306.1(计算技术、计算机技术)

资助基金：上海市自然科学基金03QG14016

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：288-291