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

• 作者: 张乃孝 张明恒
• 来源期刊: 微电子学与计算机
• 关键词: 软件体系结构 客户/服务器 交易中间件 形式化方法 规范描述语言Z
• 年，卷（期）: 2000,（5）
• 所属期刊栏目: 研究与分析
• 页码范围: 1-5
• 页数: 5页
• 分类号: TN4|TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2000.05.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明恒		3	26	2.0	3.0
2	张乃孝		11	118	7.0	10.0