论文摘要
以Web服务为代表的软件服务及软件服务协同已成为开放网络环境下一种典型的应用,实现服务按需发现,以保证服务有效复用、相容组合,对提高网络软件生产效率,实现跨组织的业务集成具有极其重要的意义。服务的发现和组合是在Web服务协同中两个关键的问题,语义Web服务的提出为之提供了一种有效的解决方案,本文基于语义Web服务描述语言OWL-S,对服务发现及匹配进行了深入研究。在OWL-S描述语言中,一个语义Web服务由三个部分来表示,ServiceProfile,描述服务能做什么;ServiceModel,描述服务的内部流程;ServiceGrounding,描述怎样来访问服务。目前关于语义Web服务匹配的研究主要是基于Web服务的功能性匹配,即OWL-S的ServiceProfie部分,针对ServiceModel和ServiceGrounding的研究较少。在服务组合中,两个具有相同输入/输出参数的服务不一定是兼容的,仅仅通过功能性匹配来查找服务是不够的,还需考虑其过程行为。另外,在不同的Web服务执行环境中,具有同一个概念的两个属性其对应的XML数据结构也可能存在差异,所以,在服务发现和匹配中整合三个层次的匹配是很有必要的,以实现Web服务从功能、行为和数据结构三维的精确匹配,为后续服务的组合、监控和执行提供可靠的信息保障。针对OWL-S描述的三个方面,本文提出了一种多层次的服务匹配模型。在服务协同方面,在OWL-S对服务过程缺乏完备的形式化支持的情况下,引入确定有限自动机(DFA)和工作流网(WF-net)对复合服务的过程模型进行建模,分析复合服务的动态行为,以实现服务的过程匹配;针对原子服务,除了功能性(I/O)匹配之外,引入ServiceGrounding的兼容性匹配,为后续操作提供支撑。在此基础上,设计与实现了基于语义Web服务的多层次匹配模型的原型系统。
论文目录
相关论文文献
- [1].基于逻辑工作流网的有限无死锁组合[J]. 山东科技大学学报(自然科学版) 2020(05)
- [2].一种工作流网的自动生成算法[J]. 湖南理工学院学报(自然科学版) 2019(01)
- [3].基于工作流网的游戏作弊检测系统建模[J]. 计算机工程与科学 2018(11)
- [4].工作流网的混或检测和预防策略[J]. 西安电子科技大学学报 2015(02)
- [5].工作流网合成规则及其在流程设计中的应用[J]. 西安电子科技大学学报 2012(02)
- [6].基于结构化工作流网的隐含任务挖掘方法[J]. 中国管理信息化 2012(07)
- [7].工作流网系统合理性的语言特性[J]. 应用科学学报 2011(01)
- [8].工作流网的结构正确性验证[J]. 中小企业管理与科技(上旬刊) 2009(12)
- [9].基于扩展时间工作流网的工作流过程建模[J]. 空军雷达学院学报 2010(06)
- [10].基于工作流网的应急资源配置与路径规划集成优化[J]. 工业工程 2018(05)
- [11].基于层次工作流网和构件的装备管理过程建模[J]. 空军雷达学院学报 2011(05)
- [12].基于规范化工作流网建模的模型验证方法[J]. 陕西师范大学学报(自然科学版) 2014(03)
- [13].基于工作流网的指挥信息系统军事需求分析系统研究[J]. 舰船电子工程 2018(03)
- [14].自由选择工作流网的可靠完备化简规则集[J]. 软件学报 2013(05)
- [15].基于矩母函数的工作流网性能分析方法[J]. 计算机集成制造系统 2009(12)
- [16].基于随机良构工作流网的工作流进程性能分析[J]. 计算机科学 2011(04)
- [17].一种基于Petri网的工作流模型分解方法[J]. 计算机技术与发展 2008(01)
- [18].基于Petri网的协同工作流建模与分析[J]. 系统仿真学报 2008(S2)
- [19].基于模糊时间工作流网的建筑产品设计过程资源管理与仿真[J]. 土木工程学报 2009(12)
- [20].对工作流网的过程挖掘算法研究[J]. 计算机光盘软件与应用 2012(14)
- [21].带数据工作流的形式化建模语言——数据感知的工作流网[J]. 计算机集成制造系统 2012(08)
- [22].期刊网络化运行系统建模与应用[J]. 武汉理工大学学报(信息与管理工程版) 2009(03)
- [23].基于Petri网的采购流程自动化[J]. 赤峰学院学报(自然科学版) 2008(07)
- [24].一种面向服务组合的隐私保护方法[J]. 小型微型计算机系统 2015(08)
- [25].基于工作流网的电子商务平台建模技术研究[J]. 计算机应用与软件 2010(03)
- [26].真并发等价性下的流程模型转换方法[J]. 西安交通大学学报 2012(10)
- [27].基于工作流网的分布式作业管理系统性能分析方法[J]. 计算机与现代化 2013(01)
- [28].基于扩展型工作流网的网格工作流模型研究[J]. 信息技术 2009(05)
- [29].基于WF-net的卫星在轨测试过程建模[J]. 兵工自动化 2012(08)
- [30].一种基于不变量的从工作流网到PERT图的转换方法[J]. 电子学报 2008(05)