论文部分内容阅读
用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化，克服了原先面向服务体系结构的非形式化描述中的限制，为更好地进行面向服务的分布式软件开发提供了指导模型。
面向服务的软件体系结构的形式化
【摘 要】
：
用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化，克服了原先面向服务体系结构的非形式化描述中的限制，为更好地进行面向服务的分布式软件开发提
【机 构】
：
杭州师范学院信息工程学院,上海大学计算机工程与科学学院
【出 处】
：
计算机工程
【发表日期】
：
2006年8期
【基金项目】
：
国家“973”计划基金资助项目（2002CB312001）,国家自然科学基金资助项目（60373072）
其他文献
本文总结了当前高校系统相关基层部门在一般建设工程项目招投标过程中,容易忽视招标投标函附录与投标一览表的功能作用,以及存在其相关必要内容严重欠缺的问题,给出了针对客
网络信誉系统是一个用于综合运算、记录并发布各个客户端以往行为表现的系统。在P2P开放网络资源共享系统中,网络信誉系统起到了两个重要的作用：向用户提供信息以决定对方是否