检索结果-维普期刊中文期刊服务平台

应用Petri网改进BPEL程序的正确性被引量：2: 1; 作者余波《计算机应用研究》 CSCD 北大核心 2011年第9期3348-3350,3367,共4页; 为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE... 展开更多; 关键词组合WEB服务可执行流程语言 PETRI网变迁触发序列; 在线阅读下载PDF 职称材料

从BPMN模型导出组合服务的代数规约被引量：1: 2; 作者余波《计算机工程与科学》 CSCD 北大核心 2013年第2期74-80,共7页; 针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成... 展开更多; 关键词代数规约组合服务业务流程建模标注业务流程可执行语言; 在线阅读下载PDF 职称材料

Web服务组合的互模拟验证被引量：2: 3; 作者袁勇福高春鸣刘荣胜《计算机应用》 CSCD 北大核心 2006年第10期2466-2469,共4页; 为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互... 展开更多; 关键词 Π-演算商业流程可执行语言开互模拟 on-the-fly算法模型验证; 在线阅读下载PDF 职称材料

用BPMN辅助整合Web Services 被引量：4: 4; 作者胡燕梅邱锦伦《计算机工程与设计》 CSCD 北大核心 2007年第19期4785-4787,4809,共4页; 介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合。鉴于BPMN的图形化设计,... 展开更多; 关键词 WEB服务整合业务流程管理标识面向服务的业务流程可执行语言 WEB Service描述语言; 在线阅读下载PDF 职称材料

题名应用Petri网改进BPEL程序的正确性被引量：2: 1; 作者余波; 机构国防科学技术大学计算机学院中南林业科技大学涉外学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第9期3348-3350,3367,共4页; 基金国家重点基础研究发展计划资助项目(2005CB321802) 湖南省教育厅高校教学改革资助项目(2010-428); 文摘为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。; 关键词组合WEB服务可执行流程语言 PETRI网变迁触发序列; Keywords composite Web service business process executable language Petri net transition fired sequence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名从BPMN模型导出组合服务的代数规约被引量：1: 2; 作者余波; 机构中南林业科技大学涉外学院国防科学技术大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2013年第2期74-80,共7页; 基金湖南省教育厅高校教学改革项目(2010-428); 文摘针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。; 关键词代数规约组合服务业务流程建模标注业务流程可执行语言; Keywords algebraic specification composite web service business process modeling notation business process execution language; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Web服务组合的互模拟验证被引量：2: 3; 作者袁勇福高春鸣刘荣胜; 机构湖南师范大学数学与计算机科学学院; 出处《计算机应用》 CSCD 北大核心 2006年第10期2466-2469,共4页; 基金湖南省重点科技攻关项目(05GK2002) 湖南省自然科学基金资助项目(03JJY6023); 文摘为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。; 关键词 Π-演算商业流程可执行语言开互模拟 on-the-fly算法模型验证; Keywords π-ealculus BPEIMWS open-bisimulation on-the-fly model-ehecking; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名用BPMN辅助整合Web Services 被引量：4: 4; 作者胡燕梅邱锦伦; 机构上海大学计算机工程与科学学院; 出处《计算机工程与设计》 CSCD 北大核心 2007年第19期4785-4787,4809,共4页; 文摘介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合。鉴于BPMN的图形化设计,可以选择喜欢的可执行语言来实现该整合方案,主要采用与BPMN密切关联的Web Service语言——面向服务的业务流程可执行语言(BPEL4WS)。; 关键词 WEB服务整合业务流程管理标识面向服务的业务流程可执行语言 WEB Service描述语言; Keywords web service composition BPM-N BPEL4WS WSDL; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料