-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=商业流程可执行语言 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
Web服务组合的互模拟验证被引量：2
《计算机应用》2006年第10期2466-2469,共4页袁勇福 高春鸣 刘荣胜 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互...
关键词：Π-演算 商业流程可执行语言 开互模拟 on-the-fly算法 模型验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部