%0 Journal Article %A 王 丹 %A 常建生 %A 赵文兵 %T 使用Pi演算的构件交互可信性验证模型 %D 2012 %R 10.3778/j.issn.1673-9418.2012.05.004 %J 计算机科学与探索 %P 419-429 %V 6 %N 5 %X 为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。 %U http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.2012.05.004