一种并发系统的规约方法

摘要：

提出了并发系统的一种规约方法.这一方法可用于对并发系统进行建模和对模型的验证.将形式化工具融入到一种二维的规约方法中,这样就能使形式化工具更易于应用到并发软件的开发过程中.此外,还提出了一种并发系统的形式化抽象模型.

关键词：并发系统、形式化规约、面向对象模式、Unity逻辑、软件开发方法

所属期刊栏目：17

分类号：TP3(计算技术、计算机技术)

资助基金：云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37

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

页数：共3页

页码：15-17