论文部分内容阅读
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。
Web服务组合语义一致性验证研究
【摘 要】
：
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了
【机 构】
：
河海大学计算机与信息工程学院,南京邮电大学计算机学院
【出 处】
：
计算机集成制造系统
【发表日期】
：
2009年1期
【基金项目】
：
国家自然科学基金资助项目（60573098）,国家973计划资助项目（2002CB312002）,江苏省自然科学基金资助项目（BK2006168）.
其他文献
２０１１年版历史课程标准中说：“通过义务教育阶段历史课程的教学，学生能够掌握中外历史的基本知识，初步掌握学习历史的基本方法和基本技能；对人类历史的延续和发展产生认知兴趣，感悟中华
目的：研究润燥止痒胶囊和咪唑斯汀联合治疗老年人皮肤瘙痒症的效果。方法：选取2013年5月-2015年5月笔者所在医院收治的76例皮肤瘙痒症老年患者,将其随机分为观察组与对照组,各3
为提高工作流模型在分布式执行过程中的自动化程度，解决语义异构问题，提出了一种基于本体的业务过程执行语言语义标注方法，构建了业务工程执行语言流程树和Web本体描述语言领域
目的：探讨经口气管插管口腔护理效果。方法：选取笔者所在医院2013年2月-2015年4月收治的经口气管插管患者90例,将其随机分成两组,每组45例。观察组患者采用改良后优质口腔护理
坚持以文化人以文育人,是办好中国特色高职教育的内在要求。潍坊工程职业学院根植百年“培诚明德,至善至真”精神的文化沃土,把握校政行企军五强合作的重大契机,以校军合作、
针对应用服务提供商系统的结构特点,分析了应用服务提供商系统的访问控制权限管理的需求,基于角色的访问控制模型和相关技术,引入全局角色的概念,使用域标签技术,设计了“1＋n
生产过程中存在许多不确定性事件,其影响直接表现为生产效能方面的损失。为了减小这种影响,基于设备整体效能的角度,分析了不确定性事件对生产过程的干扰和对调度过程的影响,
【摘要】文章通过提出大学生在就业过程中出现的几种常见的心理问题，然后针对这些心理问题提出一些对策或者解决方法争取能够在最大限度上帮助学生进行就业，提高大学生的就业质量。 【关键词】大学生心理 就业 【中图分类号】G647.38 【文献标识码】A 【文章编号】2095-3089（2018）29-0029-01 一、当前大学生就业心理常见问题 1.怯懦。怯懦通常是指懦弱、胆怯、拘谨、怕事的人格
目的：探讨循证护理在预防神经外科手术坐位并发症中的应用效果。方法：本研究选取笔者所在医院2012年4月-2013年4月收治的90例神经外科手术患者作为研究对象,将其随机分为对照组
【摘 要】助读系统是语文教材四大系统之一，插图作为其中的重要组成部分，是重要的语文教学资源之一。课文插图按不同的分类标准，可分为多种类型，不同类型的课文插图在数量上有明显差异。对部编本初中语文七年级教材课文插图进行研究，通过统计和分析课文插图的类型、课文插图的特色并用多元智力理论的理论视角来分析，用以小见大的方法，对部编本初中语文教材课文插图进行了系统的研究，希望对新版语文教材课文插图研究提供参考