检索结果-南通市图书馆

ws-cdl编排到BPEL编制的转换与实现

在线全文

学校读者我要写书评

暂无评论

华东理工大学学报（自然科学版） 2012年第2期38卷 239-246页

作者：周洁颖阮彤张弘华东理工大学信息科学与工程学院上海200237 中国建设银行浙江省分行杭州310003

Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范ws-cdl与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换... 详细信息

Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范ws-cdl与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的ws-cdl编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。

关键词： ws-cdl 编排流程编制流程

基于Petri网的挖掘ws-cdl编排并行性的方法

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2017年第6期34卷 1750-1755,1761页

作者：陈凤强赵文卓代飞云南大学软件学院昆明650091 云南大学云南省软件工程重点实验室昆明650091

挖掘ws-cdl(Web services choreography description language)编排中的并行性,使其中的交互任务尽量并行执行,是缩短业务过程执行时间,提高业务过程效率的重要手段。现有针对ws-cdl编排的研究主要是集中在编排的可实现性方面,没有关注... 详细信息

挖掘ws-cdl(Web services choreography description language)编排中的并行性,使其中的交互任务尽量并行执行,是缩短业务过程执行时间,提高业务过程效率的重要手段。现有针对ws-cdl编排的研究主要是集中在编排的可实现性方面,没有关注编排并行性方面。使用Petri网对ws-cdl编排模型进行建模,从分析交互变迁相关性的角度提出一种方法,挖掘Petri网中可并行的交互变迁,并重构Petri网模型,从而通过编排并行度的提高使得编排效率得到提升。

关键词：业务过程挖掘 ws-cdl Petri网

一个基于ws-cdl的服务编排行为模型及角色映射

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2014年第7期35卷 1561-1566页

作者：尤殿龙申利民王辉耿大伟燕山大学信息科学与工程学院河北秦皇岛066004 河北省计算机虚拟技术与系统集成重点实验室河北秦皇岛066004

Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的ws-cdl映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型... 详细信息

Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的ws-cdl映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型符合分散式服务编制由各个成员服务独立处理交换信息的特点,通过引入角色映射这一中间环节,解决了因ws-cdl和BPEL在语法上不具有一一对应关系而无法完全直接转换的问题.最后,给出了面向角色的服务编排协议映射的实例分析过程,并通过开发的原型系统,验证了映射规则的正确性和算法的可实现性.

关键词： Web服务组合服务编排协议行为模型 ws-cdl 角色映射

Mapping UML State Machine Diagram And ws-cdl For Modeling Participant’s Behavioral Scenarios

在线全文

学校读者我要写书评

暂无评论

Mapping UML State Machine Diagram And WS-CDL For Modeling Pa...

基于ws-cdl的多方协同流程监控技术研究及实现

International Conference on Computer Science and Information Technology(ICCSIT’2011);International Conference on Electrical,Electronics and Civil Engineering(ICEECE’2011);International Conference on Mechanical,Production and Automobile Engineering(ICMPAE’2011);International Conference on Humanities,Geography and Economics(ICHGE’2011);International Conference on Chemical,Ecology and Environmental Sciences(ICCEES’2011);International Conference on Medical,Biological and Pharmaceutical Sciences (ICMBPS’2011)

作者： Seyed Mohammad Javad. Zakerfar Naser. Nematbakhsh Farhad. Mardukhi Mohammad. Naderi Dehkordi the Dept.of Computer Engineering Najafabad BranchIslamic Azad University Dept.Of Computer Engineering University of Isfahan Dept.of Computer Engineering Najafabad BranchIslamic Azad University

Web service choreography has two points of view, public and local. The observable behavior of collaborating services to obtain the common goal based on ws-cdl language is called public choreography. The behavior of each participant services in the form of UML state machines to participate in collaboration is called local choreography .This paper proposes a mapping mechanism of ws-cdl （public view） to generate partner’s UML state machines （local view）.

关键词： ws-cdl UML state machine choreography behavioral interface.

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于WS-CDL的多方协同流程监控技术研究及实现

作者：罗珍华东理工大学

学位级别：硕士

业务流程经常会涉及到多个服务之间的协作交互,交互过程中不可避免地呈现动态多变的特征,因而对流程运行状况的监控成为实际流程执行过程中不可缺少的功能。而从监控的角度来说,需要提供从多方的、全局的角度来保证多方协同交互的有效... 详细信息

业务流程经常会涉及到多个服务之间的协作交互,交互过程中不可避免地呈现动态多变的特征,因而对流程运行状况的监控成为实际流程执行过程中不可缺少的功能。而从监控的角度来说,需要提供从多方的、全局的角度来保证多方协同交互的有效性和正确性,即整体的监控甚于局部。全局的监控需要对全局业务的完整描述,本文采用ws-cdl来完成这个综合视图的描述。ws-cdl是目前业界最为流行的流程编排语言,与传统的流程编制语言不同,它从全局的角度描述了各个参与方之间的平等交互,没有集中控制方,不包括各方的执行过程,只关注各方对交互规则的共同认可。本文提出了一种协同流程监控技术。不同于以往只在单方进行数据层面的监控,是关注功能确认与信息流动的动态监测,对多方业务服务互操作的接口信息顺序性与数据相关性进行监控。提出了基于ws-cdl对象结构编排文件的解析方法,同时对多方协作交互的图形化展示方法进行研究,完成基于ws-cdl的协同监控模型构造,该模型展示和保存多方全局交互理想路径。对多方协同服务间动态交互消息的采集方法进行研究,采集多点交互消息,对采集到的消息进行重组分析,与协同监控模型结合,实现流程的正确性验证。本文提供了丰富的可视化界面的系统原型,使用户可以直观地看到监控结果。另外,本文给出了协同流程监控工具的架构设计以及具体的实现过程,并且给出了其在本文所述的应用背景下的一个实现结果,从而验证了协同流程监控技术在该应用背景下的适用性。

关键词：协同交互全局监控协同监控模型 ws-cdl 消息采集消息匹配

基于ws-cdl的图形化编辑工具关键技术研究与实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于WS-CDL的图形化编辑工具关键技术研究与实现

作者：周洁颖华东理工大学

学位级别：硕士

Web服务组合方式主要有两种,一种是从全局角度描述各参与方之间交互,称为服务编排;另一种是以单个参与方为主体,描述该参与方与其他参与方之间的交互,称为编制。Web服务编排描述语言（ws-cdl）是W3C在2005年制定的Web服务编排标准,作为... 详细信息

Web服务组合方式主要有两种,一种是从全局角度描述各参与方之间交互,称为服务编排;另一种是以单个参与方为主体,描述该参与方与其他参与方之间的交互,称为编制。Web服务编排描述语言（ws-cdl）是W3C在2005年制定的Web服务编排标准,作为新兴的规范,ws-cdl规范还有很多有待研究的地方,如缺乏公认的图形化标识语言,缺乏形式化语义模型,缺乏与编制之间的转换标准等。由于上述问题,现有的ws-cdl图形编辑工具,如Pi4SOA,存在图形模型可读性差,转换成BPEL后语义不正确等问题。本文主要对构造ws-cdl图形化编辑器涉及到的两项关键技术,图形化标识和BPEL规范转换进行了研究。在图形化标识研究方面,本文弥补了现有图形化研究成果中的不足,脱离XML标签的束缚,实现了高层次抽象、合理、直观的图形化表示方式,并实现了该图形化模型与ws-cdl之间的转换。在与编制模型的转换方面,本文给出了ws-cdl编排规范到BPEL编制规范的转换规则集。通过该转换规则集,一个ws-cdl规范文档能够准确而合理地转换成多个参与方的BPEL规范文档。最后,本文使用Eclipse插件GMF实现基于上述图形化标识的ws-cdl图形化编辑工具,并使用XSLT实现该编辑工具生成的规范ws-cdl文档到规范BPEL文档的转换。

关键词： ws-cdl BPEL ws-cdl-N 编排规范编制规范

基于ws-cdl的贸易协同流程建模工具的研究与实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于WS-CDL的贸易协同流程建模工具的研究与实现

作者：郑姜华东理工大学

学位级别：硕士

贸易流程十分复杂,牵涉到很多部门、组织和公司等。快速而又准确的描述一个贸易流程可以极大的提高工作的效率,这时候就需要一个好的流程建模工具。本文的研究重点就是开发一个适合贸易流程的建模工具,让用户可以快速建立贸易流程的模... 详细信息

贸易流程十分复杂,牵涉到很多部门、组织和公司等。快速而又准确的描述一个贸易流程可以极大的提高工作的效率,这时候就需要一个好的流程建模工具。本文的研究重点就是开发一个适合贸易流程的建模工具,让用户可以快速建立贸易流程的模型。该工具还具有模型验证功能,可以帮助用户修正模型中存在的错误。本文在研究建模工具的过程中引入了ws-cdl。ws-cdl是一种对Web Service的描述语言,它的重点在于从全局的观点来描述多个参与者之间的交互过程。ws-cdl是一种自顶向下的描述方法,可以有效避免局部业务描述可能导致的死锁。在国际贸易流程中,会有多个参与者,并且参与者之间会有频繁的交互,ws-cdl恰好适合作为这种流程的描述语言。为了实现流程建模工具,本文设计了一套图形化标记——ws-cdl-N,它实现了高层次的抽象,元素细节图形化合理,编排流程表示直观。接下来选择结合了GEF与EMF的GMF框架来制作建模工具,将ws-cdl-N中定义的标记一一实现,最终完成了一个界面简洁友好、符合贸易流程建模要求的建模工具。 GMF可以快速定制模型界面以及模型间的依赖关系,并且生成基于XML的存储代码。这种存储格式并不是标准的ws-cdl,因此还要设计一个转换工具,将GMF生成的代码转换为标准的ws-cdl格式。由于GMF生成的代码与ws-cdl都是基于XML的,本文使用XPath和JDOM相结合的方法来处理XML文件。在转换过程中,把GMF生成的用于描述图形化关系的代码转换为用于描述流程的ws-cdl代码将是研究的难点之一。在用户建立模型并将其存储为ws-cdl格式之后,本文还设计了一个检测器,用于验证用户定义的模型是否存在错误或者死锁。本文将ws-cdl文档中的元素映射到Java的类,并将其转换为Java的可执行代码,再通过JPF来验证Java代码的正确性,从而找到ws-cdl模型中出现的错误。

关键词： ws-cdl 贸易流程建模 ws-cdl-N GMF 模型验证

A Formal Method for Service Choreography Verification Based on Description Logic

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2020年第2期62卷 893-904页

作者： Tingting Zhang Yushi Lan Minggang Yu Changyou Zheng Kun Liu PLA Army Engineering University NanjingChina The 28th Research Institute of China Electronics Technology Group Corporation NanjingChina Southeast University NanjingChina

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.Based on the framework,a set of rules and constraints are defined in Description Logic for choreography model verification.To automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the method.Furthermore,the work will be compared with other related research.

关键词： Service choreography ws-cdl meta-concept model description logic formal verification

多方协同应用中基于编排模型的业务流程监控技术的研究与实现

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机应用与软件 2013年第3期30卷 165-169页

作者：张敬谊陈诚童庆刘龙万达信息股份有限公司研究发展中心上海201112 华东理工大学信息科学与工程学院上海200237

当前SOA架构已经广泛地应用于各种跨系统、跨组织的电子商务。对多方协同中所涉及到的业务数据进行跟踪与监控的需求日益增长。业务活动监控的主要难点是如何从商业应用中获取数据以及定义跟踪目标。提出基于ws-cdl模型对监控目标进行定... 详细信息

当前SOA架构已经广泛地应用于各种跨系统、跨组织的电子商务。对多方协同中所涉及到的业务数据进行跟踪与监控的需求日益增长。业务活动监控的主要难点是如何从商业应用中获取数据以及定义跟踪目标。提出基于ws-cdl模型对监控目标进行定义,截取网络包数据获得运行时数据的新方法。该方法避免为不同的业务流程重复性的开发不同监控适配器。对监控系统的架构、监控目标定义规则以及交互消息捕获算法进行阐述。

关键词：编排多方协同 ws-cdl 网络包截获