搜索到2424篇“ 业务过程执行语言“的相关文章
业务过程执行语言流程语义标注方法研究
2009年
为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。
孙红俊范玉顺
关键词:业务过程执行语言语义标注工作流
Web服务组合形式化验证方法的研究
面向服务的体系结构(Service-oriented Architecture,SOA)是一种新兴的软件体系结构框架,也是一种构建分布式系统的方式,其将功能作为服务提供而且强调服务之间的松散耦合。SOA体系结构的基本组成...
张世杰
关键词:WEB服务组合业务过程执行语言形式化方法PETRI网
基于TOSCA的云应用部署的验证与实现
随着云计算的广泛运用,云编排缺乏可移植性的问题得到了越来越多的关注。云应用拓扑编排规范(Topology and Orchestration Specification for Cloud Applications,简称...
周子健
关键词:自动化部署业务过程执行语言
服务行为交互模型及可信计算方法研究
面向服务的体系结构作为软件集成、系统开发技术领域进步的一个里程碑,近年来凭借其自治、开放以及平台无关等特性,得到了越来越多的关注与应用。服务是构造面向服务系统的基础模块,单个服务所具有的功能存在一定的局限性,组合多个服务...
张宁
关键词:PETRI网WEB服务业务过程执行语言
基于分层过程模型的过程演化技术
2013年
为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。
徐刚胡昊余萍葛季栋吕建
关键词:WEB服务业务过程执行语言
服务流程的自动数据映射
2012年
为解决服务流程中数据流建模因复杂而易出错的问题,提出一种服务流程的服务之间数据映射的自动生成方式。该方式将流程中每个服务的输入参数与可能为它提供数据的服务的输出参数作匹配,得到每个输入参数的最佳匹配,从而自动生成服务之间的数据映射。该方式利用服务输入、输出参数的模式描述,采用自动模式匹配技术进行模式之间的匹配,同时结合服务流程的相关信息提高匹配的准确率,自动生成流程的数据流,使得用户只需关注服务之间的逻辑组合,不必在数据映射过程上浪费大量的时间和精力,提高了工作流系统的可用性。
陈姣娟曹健
关键词:业务过程执行语言数据流自动映射工作流
WEB服务的可信性度量
近年来, WEB 服务和基于WEB 的应用变得日益重要. 本文的主要工作是基于业务过程执行语言(BPEL)来建立WEB 服务可信性的度量模型.首先, 本文修改了基于服务的语言(UTP SEMANTICS FOR WEB ...
关键词:业务过程执行语言WEB服务
基于对象Petri网的BPEL建模技术被引量:4
2009年
讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。
林强胡昊吕建
关键词:对象PETRI网业务过程执行语言
基于SSB整合技术的房屋贷款管理系统
2009年
随着企业需求的变化,SOA标准以其粗粒度、松耦合等优势被广泛应用,SSB整合技术为SOA提供了一个全新的、可用的SOA架构实施策略。本文基于SOA的思想,研究SCA、SDO和BPEL技术的原理和特点,整合了SCA、SDO和BPEL技术,提出了SSB整合技术,通过实现房屋贷款管理系统来验证SSB整合技术。
庞涛刘万军
关键词:服务数据对象业务过程执行语言
基于SPIN的BPEL4WS一致性验证
随着业务过程的结构及交互过程越来越复杂,设计出的系统需要数次的模型转换——由较抽象的纯业务过程模型转换为较低层次的可执行的应用型模型,如BPEL4WS。但在这些模型的转换结束之后。一些关键的特性必须能被维持。为了确保这些...
苏焕程黄志球刘林源
关键词:业务过程执行语言PROMELA线性时态逻辑SPIN一致性

相关作者

吕建
作品数:412被引量:1,939H指数:25
供职机构:南京大学
研究主题:移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
胡昊
作品数:103被引量:272H指数:9
供职机构:南京大学
研究主题:工作流 服务注册 能力成熟度模型 移动AGENT 工作流模型
黄志球
作品数:430被引量:1,080H指数:15
供职机构:南京航空航天大学
研究主题:抽象语法树 WEB服务 隐私 代码 本体
曾云峰
作品数:3被引量:5H指数:2
供职机构:南京航空航天大学
研究主题:测试用例 业务过程执行语言 BPEL WEB服务 本体映射
陈姣娟
作品数:6被引量:10H指数:1
供职机构:上海交通大学
研究主题:软件即服务 数据流 数据映射 数据流处理 业务过程执行语言