The paper uses CCS to describe the travel agency's business process model, and gives a method on how to verify the substitutability of Web services using tool CWB-NC.
论文还使用进程代数CCS对旅行社业务模型进行形式化描述,给出了使用工具CWB-NC验证服务之间可替换性的具体方法。
参考来源 - Web服务组合重配置方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐