协同建模系统中的一种对象引用正确性保证方法
乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用发生时刻的临时几何模型保证该类对象引用的正确性;对于不可替代对象引用,通过恢复对象引用发生时刻的几何模型,然后完成引用该类对象的操作,最后Redo模型恢复过程中被Undo的并发操作来保证该类对象引用的正确性.在原型系统中对提出的方法进行了验证.
协同建模、复制式结构、乐观并发控制机制、协同命名、对象引用
48
FP391.72
国家自然科学基金项目61070078;中央高校基本科研业务费专项资金项目
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共8页
2031-2038