支持工程设计的语义层次事务模型及提交机制

摘要

由于工程设计任务具有长期性、合作性、试探性和分布式性等特点,传统的事务模型和提交机制已经不能很好地满足工程设计任务的需要,本文针对工程设计任务的特点,提出了一种语义层次事务模型(SHTM),SHTM采用了树形层次结构,并集成了事务的语义特征,同时,SHTM通过允许未提交事务借出它们持有的数据资源,放宽了事务的隔离性,在此基础上,进一步提出了能确保一致性数据操作的双层提交机制(DTCM),DTCM综合事务的语义特征,很好地解决了放宽隔离性可能导致的不一致性情形.