摘要
基于交易中间件的客户 /服务器系统是一种典型的分布式事务处理系统,深入研究这种系统的一般模型,有助于深刻理解这种软件的特征与性质,有助于提高系统的正确性和可靠性。文章根据该系统的抽象模型对它的主要“构件”和“操作”的功能进行抽象的分析;并用规范语言 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.
出处
《微电子学与计算机》
CSCD
北大核心
2000年第5期1-5,共5页
Microelectronics & Computer
基金
国家自然科学基金资助项目
关键词
形式描述
客户/服务器
交易中间性
Formal Method,Software Architecture style,Client/Server system,Transaction Processing Monitor,Z Specification Language