切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Web服务组合语义一致性验证研究
Web服务组合语义一致性验证研究
来源 :计算机集成制造系统 | 被引量 : 0次 | 上传用户:xing_h0576
【摘 要】
:
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了
【作 者】
:
王志坚
程永上
徐经纬
【机 构】
:
河海大学计算机与信息工程学院,南京邮电大学计算机学院
【出 处】
:
计算机集成制造系统
【发表日期】
:
2009年1期
【关键词】
:
WEB服务组合
语义
PETRI网
一致性
服务质量
Web service composition
semantics
Petri nets
cons
【基金项目】
:
国家自然科学基金资助项目(60573098),国家973计划资助项目(2002CB312002),江苏省自然科学基金资助项目(BK2006168).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。
其他文献
精心设计导课环节,提高历史课堂的生命力
2011年版历史课程标准中说:“通过义务教育阶段历史课程的教学,学生能够掌握中外历史的基本知识,初步掌握学习历史的基本方法和基本技能;对人类历史的延续和发展产生认知兴趣,感悟中华
期刊
历史教学
导课环节
历史课堂
润燥止痒胶囊和咪唑斯汀联合治疗老年人皮肤瘙痒症的效果
目的:研究润燥止痒胶囊和咪唑斯汀联合治疗老年人皮肤瘙痒症的效果。方法:选取2013年5月-2015年5月笔者所在医院收治的76例皮肤瘙痒症老年患者,将其随机分为观察组与对照组,各3
期刊
润燥止痒胶囊
咪唑斯汀
瘙痒症
老年
Runzaozhiyang Capsule
Mizolastine
Pruritus
Elderly
业务过程执行语言流程语义标注方法研究
为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域
期刊
业务过程执行语言
Web本体描述语言
语义标注
语义消歧
Web服务本体描述语言
工作流
business process execution language
经口气管插管的优质口腔护理效果
目的:探讨经口气管插管口腔护理效果。方法:选取笔者所在医院2013年2月-2015年4月收治的经口气管插管患者90例,将其随机分成两组,每组45例。观察组患者采用改良后优质口腔护理
期刊
经口气管插管
口腔护理
效果
高职院校职业文化育人模式探析——以潍坊工程职业学院为例
坚持以文化人以文育人,是办好中国特色高职教育的内在要求。潍坊工程职业学院根植百年“培诚明德,至善至真”精神的文化沃土,把握校政行企军五强合作的重大契机,以校军合作、
期刊
职业文化育人
高职院校
模式探析
应用服务提供商模式下的系统访问控制模型
针对应用服务提供商系统的结构特点,分析了应用服务提供商系统的访问控制权限管理的需求,基于角色的访问控制模型和相关技术,引入全局角色的概念,使用域标签技术,设计了“1+n
期刊
应用服务提供商
基于角色的访问控制
授权策略
权限管理
application service provider
role based access cont
基于设备整体效能和多Agent的预测-反应式调度
生产过程中存在许多不确定性事件,其影响直接表现为生产效能方面的损失。为了减小这种影响,基于设备整体效能的角度,分析了不确定性事件对生产过程的干扰和对调度过程的影响,
期刊
预测调度
反应式调度
鲁棒性调度
设备整体效能
多AGENT
predictable scheduling
reactive scheduling
robu
大学生就业心理分析及指导对策
【摘要】文章通过提出大学生在就业过程中出现的几种常见的心理问题,然后针对这些心理问题提出一些对策或者解决方法争取能够在最大限度上帮助学生进行就业,提高大学生的就业质量。 【关键词】大学生心理 就业 【中图分类号】G647.38 【文献标识码】A 【文章编号】2095-3089(2018)29-0029-01 一、当前大学生就业心理常见问题 1.怯懦。怯懦通常是指懦弱、胆怯、拘谨、怕事的人格
期刊
大学生心理
就业
循证护理在预防神经外科手术坐位并发症的应用
目的:探讨循证护理在预防神经外科手术坐位并发症中的应用效果。方法:本研究选取笔者所在医院2012年4月-2013年4月收治的90例神经外科手术患者作为研究对象,将其随机分为对照组
期刊
循证护理
预防
神经外科手术
坐位并发症
应用
部编本初中语文教材课文插图研究
【摘 要】助读系统是语文教材四大系统之一,插图作为其中的重要组成部分,是重要的语文教学资源之一。课文插图按不同的分类标准,可分为多种类型,不同类型的课文插图在数量上有明显差异。对部编本初中语文七年级教材课文插图进行研究,通过统计和分析课文插图的类型、课文插图的特色并用多元智力理论的理论视角来分析,用以小见大的方法,对部编本初中语文教材课文插图进行了系统的研究,希望对新版语文教材课文插图研究提供参考
期刊
部编本
初中语文
课文插图
与本文相关的学术论文