[关键词]
[摘要]
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
[Key word]
[Abstract]
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.
[中图分类号]
[基金项目]
国家自然科学基金资助项目(69873021);国家863高科技发展计划资助项目(863-306-ZT02-02-03);国家杰出青年基金资助项目(61525204);江苏省应用基础研究基金资助项目(BJ99016)
