%0 Journal Article
%T 一种并发面向对象同步模型研究
%A 吕建？
%A 杨大军？
%A 廖宇？
%A 唐宝？
%J 软件学报
%P 71-79
%D 2002
%X 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言vdm++(viennadevelopmentmethod)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
%K 并发面向对象
%K 继承
%K 同步
%K 继承异常
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20020110&flag=1