-
当前计算机行业发展迅猛，关于OWL-S和代数规约的研究已经有不少成果：UML到OWL-S转换、代数规约的结构化基调到面向对象类基调的集合转换、代数规约到OWL-S转换。这3个转换方法都已实现，具体介绍如下。28672
- 上一篇：小目标检测的背景抑制算法国内外研究现状
- 下一篇：云计算服务定价国内外研究现状
（1）UML到OWL-S转换
当前，随着Web的迅速发展，Web服务本体描述和其他描述模型之间的转换研究也在不断深入，比如UML到OWL-S的转换。由于OWL-S语法的复杂性，手动构建OWL-S描述是比较困难的，Il-Woong Kim等人在[13]中提出一个Web服务描述的模型驱动方法，从UML模型自动生成OWL-S，该方法主要分为3步：本体模型、过程模型、转换。
第一步，将UML的操作和活动与本体相连定义他们的输入输出类型（不考虑OWL本体的细节，只关注从领域本体创建概念层次）；
第二步，转换序列图和活动图为OWL-S,向图中增加语义信息，使用UML配置文件中的规则、约束和标记值来适当修改UML图；论文网
第三步，进行实例研究，证明方法可行。
文献[14]介绍类似功能的转换工具实现，并通过实验结果表明所提方法能处理复杂过程的控制流，并且软件开发者可以致力于创建模型而不是写代码或构造语义描述。但由于部分OWL-S规约的不支持，这个方法不能够将一些UML符号转换为OWL-S等式。
（2）代数规约的结构化基调到面向对象类基调的集合转换
代数规约是形式化方法中的一种，形式化规约具有自动化、严密性、可推理等特点，很适合机器的处理，有助于Web服务自动化测试的实现。
关于代数规约与其他模型的转换，Bastian Dolle等人[19]提出将代数规约的结构化基调（signature）转换为面向对象的类基调（signature）的集合，这个转换强调了代数规约与面向对象建模的概念差异，特别是设计决策这一步，整个转换过程通过工具ASIOS来实现。
将代数规约的结构化基调转换为面向对象的类基调的集合，是两种规约之间的转换，体现了规约之间的映射关系。转换使得形式化的规约可以从面向对象的角度来看，具有一定的意义。该研究对于本课题中代数规约的基调（signature）部分转换有一定的帮助。
（3）代数规约到OWL-S转换
刘等人[20]提出了Web服务语义能够以两种不同的方法描述：基于本体的描述和形式化规约描述。前者对软件开发者来说比较易懂，并且机器易于处理，可用于服务搜索；后者给出了可验证并可测试的语义，和形式化规约转换为本体描述的转换规则，并开发实现了一个自动化转换工具，其中具体规则如下。
先给定一个服务Sv的规约(S， ，Ax)，以下规则集合将规约转换为本体。这些规则可以从代数规约中提取classes，properties 和inpiduals：
规则1：对每个规约中的sort s S，产生一个公式Class（s）。其中s是一个类或概念；
规则2：对于在规约的signature (S， )中的扩展关系 ，产生一个公式subClassof( ，s)。subClassof(x，y)的意思是类x是y的子类；
规则3：对于规约中的使用关系 ，产生公式uses 。uses(x，y) 的意思是x是由概念y定义的。
规则4：对于每个操作 ，产生：公式Property( )和 。Property( ) 指 是一个属性， 指y是概念x的一个属性；
规则5：对每一个一般操作 ，产生：公式Class( )。对每个s ，产生Domain( ， s)。每个s ,产生公式Codomain( ， )。Domain( ，x)指x是关系 的输入域，Codomain( ，x)指x是关系 的输出域；
规则6：对于每个常量 ，产生：一个公式Inpidual( )和s( )。Inpidual(y)指y是一个inpidual，x(y)指y是类x的一个实例。
本课题是将Web服务语义描述转换成代数规约，将OWL-S描述中定义的元素转换成代数规约中的相关元素，因此，[20]对本课题的研究很有借鉴价值。
-
石墨烯的研究现状
-
HEVC高效视频编码国内外研究现状和发展趋势
-
文本分类技术国内外研究现状和参考文献
-
锁相环集成产品国内外研究现状和参考文献
-
NH3-SCR催化剂研究现状
-
图像匹配算法国内外研究现状和参考文献
-
磁性传感器国内外研究现状和参考文献
油画创作《舞台》色彩浅析
浅议电视节目主持人的策划意识
松节油香精微胶囊文献综述和参考文献
慕课时代下中学信息技术课程教学改革
糖基化处理对大豆分离蛋白功能的影响
高校计算机辅助教学英文文献和中文翻译
浙江省嘉兴市典型蔬菜基...
msp430g2553单片机高精度差分GPS技术研究
洪泽湖常见水生经济动物资源现状的调查
数据采集技术文献综述和参考文献