首页> 中文期刊> 《微电子学与计算机》 >基于交易中间件的客户 /服务器系统的形式描述

基于交易中间件的客户 /服务器系统的形式描述

         

摘要

基于交易中间件的客户 /服务器系统是一种典型的分布式事务处理系统,深入研究这种系统的一般模型,有助于深刻理解这种软件的特征与性质,有助于提高系统的正确性和可靠性。文章根据该系统的抽象模型对它的主要“构件”和“操作”的功能进行抽象的分析;并用规范语言 Z对这种体系结构的模型进行了系统的形式化描述。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号