“bpel”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果72个，建议您升级VIP下载更多相关专利

[发明专利]基于有向图的WS－BPEL控制环路检测方法-CN200810118124.4无效
发明人：马殿富;孙斗;刘敏;刘建 -专利权人：北京航空航天大学
申请日： 2008-08-12 - 公布日： 2009-01-07 - 主分类号： G06F9/44 文献下载
摘要：一种基于有向图的WS－BPEL控制环路检测方法，其步骤为：首先将WS－BPEL转换为扩展有向图BPEL－Graph，然后对BPEL－Graph中的非控制环路循环，即while和repeatUntil活动进行解环，迭代去掉BPEL－Graph中入度或者出度为零的顶点，因为这些顶点肯定不在任何有向回路上面，接下来采用深度优先算法查找BPEL－Graph中所有有向回路，最后将BPEL－Graph中的有向回路定位到原有WS－BPEL中相应位置。本发明将WS－BPEL的控制环路检测问题转换为有向图的有向回路检测问题，能够快速检测出复杂WS－BPEL中的控制环路，并且可以将控制环路定位到原WS－BPEL中的相应位置。
基于 ws bpel 控制环路检测方法

[发明专利]一种流程调用方法、系统及应用服务器-CN201110459045.1有效
发明人：马亮;闫鹏;皮开元;刘春 -专利权人：山东中创软件工程股份有限公司;山东中创软件商用中间件股份有限公司
申请日： 2011-12-31 - 公布日： 2012-07-18 - 主分类号： G06F9/46 文献下载
摘要：一种流程调用方法，预先创建Web服务与业务流程执行语言BPEL流程的对应关系，所述方法包括：BPEL引擎接收业务流程服务请求，触发所述BPEL流程；依据预先构建的流程执行顺序，执行所述BPEL流程；判断在所述BPEL流程执行过程中是否需要调用Web服务，如果是，依据所述Web服务与BPEL流程的对应关系，从Web服务容器中获取所述Web服务，并调用所述Web服务，如果否，执行所述BPEL流程，从而在BPEL流程执行过程中，可以根据BPEL流程执行顺序自动调用Web服务。
一种流程调用方法系统应用服务器

[发明专利]基于程序依赖图的BPEL过程一致性度量方法-CN201310064554.3有效
发明人：宋巍;张学伟;邢建春;杨启亮;张文嘉 -专利权人：南京理工大学
申请日： 2013-03-01 - 公布日： 2013-06-12 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种基于程序依赖图的BPEL过程一致性度量方法。以两个BPEL过程为输入，以这两个BPEL过程的一致性程度为输出结果；该方法使用的BPEL过程必须严格符合WS-BPEL2.0规范，并且过程中不包含活动；根据BPEL的特性将两个BPEL过程分别转化为控制流程图；根据每个BPEL过程的控制流程图，分析活动间的三种依赖关系，生成程序依赖图PDG；基于两个BPEL过程的程序依赖图，计算出这两个BPEL过程的一致性程度。本发明提出的方法，可以对两个BPEL过程的一致性给出一个从0到1的数值，而不是像传统方法那样仅仅提供一致和不一致的定性结论，从而有效区分不同程度的BPEL过程一致性。
基于程序依赖 bpel 过程一致性度量方法

[发明专利]基于BPEL数据交换的过程处理方法及处理系统-CN200910013199.0无效
发明人：张霞;许力;纪勇;周进刚 -专利权人：东软集团股份有限公司
申请日： 2009-08-11 - 公布日： 2010-01-20 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种基于BPEL的数据交换的过程处理方法，包括；步骤11.创建务任实例，构建BPEL实例所需参数；步骤12.创建BPEL实例；步骤13.按预定BPEL模型执行数据交换过程；步骤14.执行BPEL实例，判断是否执行结束，如否，返回步骤13；如是，结束BPEL实例和任务实例。本发明还涉及一种基于BPEL数据交换的过程处理系统，一种基于BPEL数据交换的断点续传处理方法及处理系统，一种基于BPEL数据交换的动态监控处理方法及系统。
基于 bpel 数据交换过程处理方法系统

[发明专利]面向服务环境中基于模板实现BPEL子流程复用的方法及系统-CN201010101686.5有效
发明人：程渤;章洋;陈俊亮;邓敏 -专利权人：北京邮电大学
申请日： 2010-01-26 - 公布日： 2010-07-14 - 主分类号： G06F9/45 文献下载
摘要：本发明公开了一种面向服务的开发环境中基于模板机制实现BPEL子流程复用的方法及系统。其包括：对模板进行模型定义，以保存抽取BPEL子流程进行复用所需要的相关信息；对已有的BPEL文件和相关联的WSDL文件进行解析，建立BPEL和WSDL模型，根据所建立的模型，从已有BPEL文件中抽取需要的BPEL子流程，封装成模板并保存到模板库中；开发时从模板库中读取模板信息，将模板调入到BPEL流程可视化开发窗口，使用户在进行BPEL流程开发的同时也能调用模板来辅助流程设计和开发，从而实现模板机制和BPEL本发明可实现对BPEL子流程的复用，能通过预先设计的行业内通用流程模板或者用户自定义复用模板，大大减少开发人员的工作量，提高服务组合的开发效率，缩短开发周期。
面向服务环境基于模板实现 bpel 流程方法系统

[发明专利]实现带有人工任务的自动流程的方法、装置及系统-CN201010230266.7有效
发明人：马亮;李敏静;崔新川 -专利权人：山东中创软件工程股份有限公司;山东中创软件商用中间件股份有限公司
申请日： 2010-07-15 - 公布日： 2010-10-13 - 主分类号： G06F9/44 文献下载
摘要：本申请公开了一种实现带有人工任务的自动流程的方法，根据业务需求进行流程分析，得出使用的自动活动和人工活动以及逻辑关系；根据流程分析结果，对自动流程和人工流程进行建模；将XPDL流程的逻辑转化成BPEL流程节点，并将由XPDL流程逻辑转换得到的BPEL流程节点导入到原有BPEL流程中涉及人工任务的插入点；对XPDL流程和导入了由XPDL流程逻辑转换得到的BPEL流程节点的BPEL流程进行部署；运行导入了由XPDL流程逻辑转换得到的BPEL流程节点的BPEL流程。本方法对现有XPDL产品进行了改造，改造后的XPDL产品与BPEL产品进行集成，从建模、运行、管理三个方面实现了带有人工任务的自动流程。
实现带有人工任务自动流程方法装置系统

[发明专利]一种业务处理执行语言流程部署方法-CN201110278491.2有效
发明人：马亮;刘春 -专利权人：山东中创软件工程股份有限公司;山东中创软件商用中间件股份有限公司
申请日： 2011-09-19 - 公布日： 2011-12-14 - 主分类号： G06F9/44 文献下载
摘要：本发明实施例公开了一种业务处理执行语言流程部署方法，用于实现BPEL流程的部署，同时可进一步实现流程部署更新。本发明实施例方法包括：BPEL部署监听器监听流程部署目录，并将为新的部署单元创建的新增子目录发送给BPEL目录分析器；BPEL目录分析器接收新增子目录；BPEL目录分析器检测新增子目录是否包含流程部署文件，如果不包含流程部署文件，则向BPEL流程部署监听器发送部署报错信息，如果包含流程部署文件，则进一步检测部署单元是否包含部署标记，若没有部署标记，则为部署单元创建部署标记，向BPEL引擎发送部署单元信息，BPEL引擎读取部署单元信息进行流程部署，若有部署标记，则检查部署单元是否发生变更，若部署单元存在变更，进行流程部署更新。
一种业务处理执行语言流程部署方法

[发明专利]BPEL工作流活动约束图生成方法及相关设备-CN202111413252.3在审
发明人：王洪达;杨曼;周煜韬;曹常青;赵九冰 -专利权人：中国人民解放军海军勤务学院
申请日： 2021-11-25 - 公布日： 2022-04-12 - 主分类号： G06F8/20 文献下载
摘要：本申请提供一种BPEL工作流活动约束图生成方法及相关设备。所述方法包括：将BPEL工作流映射为活动约束图。首先获取两个BPEL工作流，并将其分别转化为控制流程图，然后根据得到的两个控制流程图之间BPEL活动节点的约束关系生成活动约束图，从而对BPEL工作流的建模起到支撑作用。
bpel 工作流活动约束生成方法相关设备

[发明专利]一种基于扩展控制流图的程序转换方法-CN201611025281.1有效
发明人：吉顺慧;马魏;张鹏程 -专利权人：河海大学
申请日： 2016-11-18 - 公布日： 2019-09-10 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种基于扩展控制流图的程序转换方法，包括如下步骤：(1)构建BPEL组合流程的XCFG模型；(2)构建成员服务的XCFG模型；(3)基于组合流程和成员服务的XCFG模型创建Promela程序本发明的有益效果为：基于中间模型XCFG来实现BPEL组合服务到Promela程序的转换，在构建BPEL流程对应XCFG模型的基础上，分析并构建各个成员服务的XCFG模型以描述其参与组合的工作流程，并将组合流程和成员服务的XCFG模型转换为Promela进程以创建完整的Promela程序，用于BPEL组合服务的自动化分析和验证。所采用的模型不仅可以表达BPEL流程，还能表达BPEL流程的执行环境，更完整地实现了BPEL组合服务到Promela程序的转换。
一种基于扩展控制程序转换方法

[发明专利]基于Pi演算的分布式流程验证系统及方法-CN201010609285.0无效
发明人：郭小群;侯红;丁剑洁 -专利权人：西北大学
申请日： 2010-12-28 - 公布日： 2011-05-04 - 主分类号： G06F11/00 文献下载
摘要：本发明公开了一种基于Pi演算的分布式流程验证系统，至少包括如下模块：BPEL语言编辑模块，BPEL语言到Pi演算的转换模块；Pi演算编辑模块；Pi演算验证模块；死锁原因显示模块，所述BPEL语言编辑模块、BPEL语言到Pi演算的转换模块、Pi演算编辑模块、Pi演算验证模块和死锁原因显示模块依次相连接。本发明的验证方法：用BPEL语言描述将要部署的流程；对用BPEL语言描述的流程进行转换，得到若干个Pi演算流程；对得到的Pi演算流程进行改写；采用Pi演算的规约理论进行死锁检查；用文本文件解释死锁状态。本发明可以验证用BPEL语言描述的分布式流程是否存在死锁，并精确定位死锁位置，保证在把流程部署到真实环境之后，流程运行的正确性。
基于 pi 演算分布式流程验证系统方法

[发明专利]一种基于BPEL组合服务的数据流分析方法-CN201710650778.0在审
发明人：吉顺慧;马魏;张鹏程 -专利权人：河海大学
申请日： 2017-08-02 - 公布日： 2017-12-12 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于BPEL组合服务的数据流分析方法，包括如下步骤(1)构建BPEL组合服务的扩展控制流图XCFG；(2)计算XCFG结点的可到达定义；(3)计算变量的定义‑使用对。本发明的有益效果为基于扩展控制流图XCFG来计算BPEL组合服务中变量的定义‑使用对，用于解决其数据流测试中测试用例生成的问题；与传统的数据流分析方法相比，所采用的模型可以覆盖BPEL规约中特有的元素，所定义的数据流方程式考虑了BPEL规约特有元素的语义，可以有效地分析BPEL组合服务中的数据流关联。
一种基于 bpel 组合服务数据流分析方法

[发明专利]业务流程图转换为事件驱动的bpel模型的方法-CN200910235805.3无效
发明人：范玉顺;刘胜 -专利权人：清华大学
申请日： 2009-10-09 - 公布日： 2010-04-14 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了属于信息技术领域的一种业务流程图转换为事件驱动的bpel模型的方法。所述业务流程图由一个开始活动、一个结束活动、多个表示具体执行的任务的一般活动和多个逻辑结构通过若干有向连接线按照实际业务逻辑连接而成，业务流程图转换为事件驱动的bpel模型按先进行结构化变换，得到结构化业务流程图、再进行容器化变换、串行化变换；对串行化业务流程图进行容器级bpel文本变换，每一个容器转换成一对bpel文本，并进行活动级bpel代码变换，在bpel模型中表示为包括文本头和文本尾的一对文本，至此就完成从业务流程图到事件驱动的bpel模型的转换，从而实现企业的简便建模，高效执行企业工作流程的目标。
业务流程图转换事件驱动 bpel 模型方法

[发明专利]一种将XPDL格式的工作流模型转换成BPEL格式的方法-CN200610125450.9无效
发明人：金海;袁平鹏;李胜利;袁世伦;邝坪;何亨 -专利权人：华中科技大学
申请日： 2006-12-13 - 公布日： 2007-07-11 - 主分类号： G06Q10/00 文献下载
摘要：一种将XPDL格式的工作流模型转换成BPEL格式的方法，它属于计算机应用领域的工作流技术。为解决传统的将XPDL流程转化成BPEL流程的方法，所存在的BPEL引擎解析转换后的流程结构复杂，解析效率低的问题，本发明所述方法按如下步骤进行：将用XPDL描述的工作流脚本转换成图，用邻接矩阵存贮；依次扫描矩阵，识别流程中的各种结构块；对识别的结构块进行转换；更新邻接矩阵；生成BPEL流程代码。本发明所述将XPDL格式的工作流模型转换成BPEL格式的方法，可高效地完成格式的转换，使得用XPDL来建模的客户能够可靠地参与到BPEL建模的体系架构中来。
一种 xpdl 格式工作流模型转换 bpel 方法

[发明专利]BPEL工作流测试方法及相关设备-CN202111415697.5在审
发明人：王洪达;杨曼;周煜韬;曹常青;赵九冰 -专利权人：中国人民解放军海军勤务学院
申请日： 2021-11-25 - 公布日： 2022-04-12 - 主分类号： G06F11/36 文献下载
摘要：本申请提供一种BPEL工作流测试方法及相关设备。所述方法包括：首先将BPEL工作流转化为活动约束图，然后根据活动约束图确定BPEL活动路径的可行性并获取对应的测试用例；再根据生成的程序依赖图从测试用例中选择目标测试用例并确定目标测试的优先级；最后根据优先级对目标测试用例进行测试对BPEL工作流的测试起到支撑作用，能够在保障BPEL工作流的测试在安全的前提下，提高测试的精确性和效率。
bpel 工作流测试方法相关设备

[发明专利]基于BPEL的图形与XML文档相互转换的方法-CN200510114689.1无效
发明人：马殿富;李晖;刘敏;曾晋;孙斗;朱岩 -专利权人：北京航空航天大学
申请日： 2005-10-28 - 公布日： 2007-05-02 - 主分类号： G06F17/30 文献下载
摘要：本发明公开了一种基于BPEL的图形到XML文档的转换方法，它包括以下步骤：1.创建基于BPEL的图形；2.创建与基本图形相对应的元集；3.将创建好的元集序列化，生成与基于BPEL的基本图形相对应的XML另外，本发明还公开了一种实现XML文档到基于BPEL的图形转换的方法，它包括以下步骤：1.通过反序列化操作，将XML文档转换成元集；2.使用递归的方法，将元集转换成基于BPEL的图形。
基于 bpel 图形 xml 文档相互转换方法

1
2
3
4
5
下一页»
尾页
共 72 条