CORBA系统事务处理的模拟和分析  

Simulation and analysis of the Transaction Process based on CORBA

作　　者：郑红[1] 李师贤[1,2] 

机构地区：[1]中国科学院软件所 [2]中山大学计算机科学系广州510275

出　　处：《系统仿真学报》2003年第z1期123-127,共5页Journal of System Simulation

基　　金：国家自然科学基金委员会;香港研究资助局联合科研资助基金项目(79910161989)。

摘　　要：事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则。CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责将事务处理与对象在ORB层上结合。事务成为分布式对象系统中恢复、一致性、并发的基本单位。用着色时序Petri网模拟和分析CORBA环境下的事务处理。One of the most important CORBA services defined by OMG is the Object Transaction Service (OTS), which augments CORBA object model with the notion of distributed transactions. The implementation design of the OTS is critical for the service to be effective for applications. A three tier OTS formal model is presented by colored temporal Petri nets. the transaction processing is analyzed and validated.

关 键 词：CORBA CORBA事务 时序PETRI网 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]