%0 Journal Article
%T Research on a Concurrent Object-Oriented Synchronization Model<br>一种并发面向对象同步模型研究
%A L?Jian
%A YANG Da-jun
%A LIAO Yu
%A TANG Bao
%A <br>吕建
%A 杨大军
%A 廖宇
%A 唐宝
%J 软件学报
%D 2002
%I 
%X Synchronization between processes is one of the main features of concurrent programming. However, under the framework of concurrent object-oriented, the existence of synchronization constraints can cause undesired re-definitions of inherited code. Based on the two kinds of synchronization mechanisms in VDM++, a synchronization model, guard trace structure is presented in this paper to be applied to a wide-spectrum concurrent object-oriented specification language. This model can support not only reuse of general code,but also that of synchronization code effectively.
%K concurrent object orientation
%K inheritance
%K synchronization
%K inheritance anomaly<br>并发面向对象
%K 继承
%K 同步
%K 继承异常
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BBB180C047BDB16F&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=CA4FD0336C81A37A&sid=4F2F18DD6F870C2C&eid=9C65ADEB5990B252&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=10