一种自顶而下的Web-服务全局行为设计方法

摘要：

"Web-服务"组合的分布式本质,使得设计者们在需求说明和逻辑确认方面都遇到了新的挑战.我们先分析自底而上方法的不足.提出了一种自顶而下的设计和验证方法.该方法是用"会话协议"来描述想得到的全局行为,然后在全局会话协议上验证预设的系统目标.最后按会话协议合成各实体.

关键词：web-服务、模型验证、自顶而下、会话协议

所属期刊栏目：2

分类号：TP393(计算技术、计算机技术)

在线出版日期：2007-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1010-1012