免费论文摘要：鉴于重写论理的OWL-S语义证明的接洽与实行

软硬件模子对鉴于模子的尝试以及真实性领会等都有要害效率。软硬件模子的刻画谈话五花八门，个中OWL-S动作Web 效劳刻画上面的W3C引荐规范，有着通用性好、刻画本领强、与Web效劳贯串精细、关系资源充分等便宜。但是OWL-S也生存着一局部语义的刻画不是情势化的缺陷：OWL-S本质设置中，没有刻画实行进程中的百般过程的亚原子性、实行办法、实行办法，也没有刻画遏制构造和过程的百般属性怎样感化拉拢过程的实行进程，而是在证明OWL-S的典型顶用天然谈话报告了那些语义。咱们把OWL-S的语义中表白动静动作的局部称之为动静语义，它同声包括了代数语义和操纵语义。OWL-S的动静语义的非情势化性，引导没辙深刻领会OWL-S的刻画。对OWL-S动静语义举行情势化刻画，不妨更灵验的对OWL-S刻画的软硬件构造中的遏制流、数据流及其它实质举行深刻的领会与查看。本舆论在谈话层面沿用重写论理情势化地刻画了OWL-S语义中非情势化的局部，并在此普通上安排并实行了一个机动变换东西。重要处事如次：（1） 运用重写论理情势化地设置了OWL-S语义中非情势化局部。本舆论运用Maude情势化的刻画了过程简化的OWL-S的动静语义和SWRL准则谈话的语义，产生了OWL-S动静语义框架。以此框架为普通，对简直的OWL-S模子的变化处事仅波及把OWL-S刻画语法变化为Maude刻画语法，模子的语义则已经过框架设置，与变换进程无干。（2） 提出了一种从OWL-S模子变换为Maude模子的本领。以第一局部的情势化刻画处事实行的OWL-S语义框架为普通，接洽了简直的模子从OWL-S谈话向Maude谈话变换的本领。该本领对OWL-S模子的IOPR、数据绑定、遏制构造和过程主体等各个构成局部以及波及的数据典型辨别举行变换，并为过程建立一个模仿实行情况，而后拉拢变成完备的Maude模子。（3） 安排并实行了一个OWL-S模子向Maude变换的机动化东西软硬件。为了普及OWL-S模子变换更加是批量变换的速率，贬低变换进程中引入缺点的大概性。在归纳了从OWL-S刻画的简直模子变换为Maude步调的本领与准则的普通上，安排并开拓了一个OWL-S刻画的简直模子向Maude步调机动变换的东西。而后对变换获得的Maude步调举行了领会考证。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/209228.html