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

Formulization of 3－ Tier Client/Server Software Architectural Style Using Z

作　　者：张乃孝[1] 张明恒[1] 

机构地区：[1]北京大学,北京100871

出　　处：《微电子学与计算机》2000年第5期1-5,共5页Microelectronics & Computer

基　　金：国家自然科学基金资助项目

摘　　要：基于交易中间件的客户 /服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有助于提高系统的正确性和可靠性。文章根据该系统的抽象模型对它的主要“构件”和“操作”的功能进行抽象的分析；并用规范语言 Z对这种体系结构的模型进行了系统的形式化描述。Three－ tier Client/Server architecture based on TP monitor is one common form of distributed system architecture. In this paper, the architecture is studied in an abstract view. The architecture including components and operators in this system are formal specified in Z.

关 键 词：形式描述 客户/服务器 交易中间性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]