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

基于并发事务逻辑的Web服务编制验证被引量：3: 1; 作者王勇代桂平 +2 位作者侯亚荣方娟任兴田《电子学报》 EI CAS CSCD 北大核心 2009年第10期2228-2233,共6页; 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础... 展开更多; 关键词服务编制并发事务逻辑形式化验证; 在线阅读下载PDF 职称材料

Web服务编排的并发事务逻辑模型被引量：2: 2; 作者王勇姜正涛 +2 位作者侯亚荣方娟毛国君《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第8期1132-1137,共6页; 为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性... 展开更多; 关键词 WEB服务并发事务逻辑服务编排; 在线阅读下载PDF 职称材料

基于并发事务逻辑的语义Web服务组合: 3; 作者王雪松钱俊彦 +1 位作者赵岭忠高荣亮《计算机科学》 CSCD 北大核心 2012年第10期139-142,156,共5页; 并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn... 展开更多; 关键词语义WEB服务服务组合并发事务逻辑霍恩子句; 在线阅读下载PDF 职称材料

基于任务的动态角色约束关系研究被引量：3: 4; 作者皮建勇刘心松《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2005年第1期121-125,共5页; 为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态... 展开更多; 关键词 TD-RBAC 谓词任务模型并发事务逻辑动态角色约束访问控制; 在线阅读下载PDF 职称材料

题名基于并发事务逻辑的Web服务编制验证被引量：3: 1; 作者王勇代桂平侯亚荣方娟任兴田; 机构北京工业大学计算机学院北京工业大学电控学院; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第10期2228-2233,共6页; 基金国家937重点研究发展规划(No.2007CB311100) 北京工业大学博士科研启动基金(No.502007013200704) 北京工业大学青年基金(No.97002011200702/X1007011200801); 文摘服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.; 关键词服务编制并发事务逻辑形式化验证; Keywords web service orchestration concurrent transaction logic formalization verification; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Web服务编排的并发事务逻辑模型被引量：2: 2; 作者王勇姜正涛侯亚荣方娟毛国君; 机构北京工业大学计算机学院中国传媒大学计算机学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第8期1132-1137,共6页; 基金国家'九七三'重点基础研究发展规划项目基金资助项目(2007CB311100) 北京工业大学博士科研启动基金资助项目(52007013200704); 文摘为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.; 关键词 WEB服务并发事务逻辑服务编排; Keywords web services concurrent transaction logic service choreography; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于并发事务逻辑的语义Web服务组合: 3; 作者王雪松钱俊彦赵岭忠高荣亮; 机构桂林电子科技大学电子工程与自动化学院桂林电子科技大学计算机科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2012年第10期139-142,156,共5页; 基金国家自然科学基金(61063002) 广西科学基金(2011GXNSFA018166 2011GXN-SFA018164)资助; 文摘并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。; 关键词语义WEB服务服务组合并发事务逻辑霍恩子句; Keywords Semantic Web service Service composition Concurrent transaction logic Horn clause; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于任务的动态角色约束关系研究被引量：3: 4; 作者皮建勇刘心松; 机构电子科技大学; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2005年第1期121-125,共5页; 基金四川省科技攻关项目(02GG006 018); 文摘为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系,从而在传统RBAC模型基础上扩展了动态的角色约束关系。性能评估分析结果显示TD RBAC模型在分布式并行计算环境下具有较好的访问控制效率。; 关键词 TD-RBAC 谓词任务模型并发事务逻辑动态角色约束访问控制; Keywords Concurrent engineering Constraint theory Dynamic programming Mathematical models Parallel processing systems; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于并发事务逻辑的Web服务编制验证	王勇代桂平侯亚荣方娟任兴田	《电子学报》 EI CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
2	Web服务编排的并发事务逻辑模型	王勇姜正涛侯亚荣方娟毛国君	《北京工业大学学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
3	基于并发事务逻辑的语义Web服务组合	王雪松钱俊彦赵岭忠高荣亮	《计算机科学》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
4	基于任务的动态角色约束关系研究	皮建勇刘心松	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料