| 一种自顶而下的Web-服务全局行为设计方法 |
| |
| 引用本文： | 吴丘林.一种自顶而下的Web-服务全局行为设计方法[J].数字社区&智能家居,2007,2(10):1010-1012. |
| |
| 作者姓名： | 吴丘林 |
| |
| 作者单位： | 湖南交通职业技术学院信息管理系 湖南长沙410004 |
| |
| 摘 要： | “Web-服务”组合的分布式本质,使得设计者们在需求说明和逻辑确认方面都遇到了新的挑战。我们先分析自底而上方法的不足,提出了一种自顶而下的设计和验证方法。该方法是用“会话协议”来描述想得到的全局行为,然后在全局会话协议上验证预设的系统目标。最后按会话协议合成各实体。
|
| 关 键 词： | Web-服务 模型验证 自顶而下 会话协议 |
| 文章编号： | 1009-3044(2007)10-201010-03 |
| 修稿时间： | 2007年4月15日 |
A Top-Down Approach to Design Global Behaviors of Web Services |
| |
| WU Qiu-lin.A Top-Down Approach to Design Global Behaviors of Web Services[J].Digital Community & Smart Home,2007,2(10):1010-1012. |
| |
| Authors: | WU Qiu-lin |
| |
| Abstract: | Due to the distributed nature of composite web services,designers are facing new challenges in both requirement specification and logic validation. We propose a top-down design approach which specify desired global behaviors with a conversation protocol,after we analyzed the drawback of the bottom-up approach,and then verify whether the global protocol satisfy the preset system goals. Finally peer implementations are synthesized from the conversation protocol. |
| |
| Keywords: | Web-service model checking top-down conversation protocol |
| 本文献已被 CNKI 等数据库收录！ |
