一种并发系统的规约方法  

作　　者：刘剑[1] 李彤[1] 

机构地区：[1]云南大学计算机科学系,昆明65001

出　　处：《计算机应用研究》2000年第5期15-17,共3页Application Research of Computers

基　　金：云南省自然科学基金!(98F005G);云南省中青年科技带头人培养基金!(1998-37)

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

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]