面向服务的软件体系结构的形式化

• 作者: 孙军梅 文志诚 缪淮扣
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件体系结构风格 面向服务的体系结构 形式化
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 发展趋势/热点技术
• 页码范围: 4-5
• 页数: 2页
• 分类号: TP18
• 字数: 1819字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.08.002

摘要

用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化,克服了原先面向服务体系结构的非形式化描述中的限制,为更好地进行面向服务的分布式软件开发提供了指导模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙军梅	杭州师范学院信息工程学院	18	63	4.0	7.0
3	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
6	文志诚	上海大学计算机工程与科学学院	4	21	3.0	4.0