计算机工程 ›› 2006, Vol. 32 ›› Issue (8): 4-5.
• 发展趋势/热点技术 • 上一篇 下一篇
孙军梅 1,2，缪淮扣2，文志诚2
出版日期:
发布日期:
SUN Junmei1, 2, MIAO Huaikou2, WEN Zhicheng2
Online:
Published:
摘要： 用形式规格说明语言Z 对面向服务这样一种新出现的分布式软件体系结构进行形式化，克服了原先面向服务体系结构的非形式化描述中的限制，为更好地进行面向服务的分布式软件开发提供了指导模型。
关键词: 软件体系结构风格；面向服务的体系结构；形式化
Abstract: This paper discusses the service-oriented software architecture and formalizes the new service oriented SA using formal specification notation Z. It provides model for developing distributed software of service-orinted architecture
Key words: Style of software architecture; Service-oriented architecture; Formal
孙军梅，缪淮扣，文志诚. 面向服务的软件体系结构的形式化[J]. 计算机工程, 2006, 32(8): 4-5.
SUN Junmei, MIAO Huaikou, WEN Zhicheng. Formalization of Service-oriented Software Architecture[J]. Computer Engineering, 2006, 32(8): 4-5.
/ 推荐 / 导出引用
链接本文: https://www.ecice06.com/CN/Y2006/V32/I8/4
https://www.ecice06.com/CN/Y2006/V32/I8/4