| CORBA系统事务处理的模拟和分析 |
| |
| 引用本文： | 郑红,李师贤.CORBA系统事务处理的模拟和分析[J].系统仿真学报,2003,15(Z1):123-127. |
| |
| 作者姓名： | 郑红 李师贤 |
| |
| 作者单位： | 1. 中国科学院软件所,北京,100080
2. 中国科学院软件所,北京,100080;中山大学计算机科学系,广州,510275 |
| |
| 基金项目： | 国家自然科学基金委员会与香港研究资助局联合科研资助基金项目(79910161989). |
| |
| 摘 要： | 事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.
|
| 关 键 词： | CORBA CORBA事务 时序Petri网 |
| 文章编号： | 1004-731X(2003)S1-0123-05 |
| 修稿时间： | 2003年5月18日 |
Simulation and analysis of the Transaction Process based on CORBA |
| |
| ZHENG Hong,LI Shi-xian.Simulation and analysis of the Transaction Process based on CORBA[J].Journal of System Simulation,2003,15(Z1):123-127. |
| |
| Authors: | ZHENG Hong LI Shi-xian |
| |
| Institution: | ZHENG Hong1,LI Shi-xian1,2 |
| |
| Abstract: | 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. |
| |
| Keywords: | CORBA OTS Petri nets |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
