免费论文摘要：鉴于重写论理的OWL-S模子变换与情势化考证

面向效劳框架结构（SOA）代办了软硬件开拓的最新兴盛目标，它的老练与兴盛将引领软硬件行业的新一轮兴盛飞腾。SOA的中心思维是以效劳为基础单元，经过效劳重用和赶快拉拢建立随需应急的松啮合散布式运用体例。暂时，鉴于Web效劳的运用步调功效越来越宏大、越搀杂，给安排与建立兴盛的Web效劳软硬件带来了挑拨。正文探究了一种在软硬件安排阶段对软硬件举行尝试的本领，即沿用情势化本领对软硬件体例体制构造和需要个性举行刻画获得情势化模子，再沿用情势化东西对该模子举行情势化考证，领会软硬件体例的内涵本质，进而在软硬件安排阶段检验和测定出软硬件中展示的与软硬件需要个性不符的缺点。经过矫正那些缺点无助于于缩小软硬件实行后期的尝试处事量和尝试强度，进而贬低软硬件开拓本钱，普及软硬件品质。为了运用情势化本领对软硬件举行刻画和考证，正文提出了一种鉴于重写论理的情势化建立模型和情势化考证计划：运用OWL-S刻画软硬件体制构造，以重写论理扶助个中的动静语义（模子变换），获得情势化模子，而后对该情势化模子举行鉴于重写论理的情势化考证。正文的重要处事实质囊括：(1)提出了一种将OWL-S模子变换为Maude模子的本领，并在此普通上安排、实行了机动变换东西。以OWL-S重写框架为普通，接洽了简直的模子从OWL-S谈话向Maude谈话变换的本领。该本领对OWL-S模子的IOPE、数据绑定、遏制构造和过程主体等各个构成局部以及波及的数据典型辨别举行变换，并为过程建立一个实行情况动作情势化考证的初始状况，经过调整那些变换天生完备的Maude模子。(2)沿用Maude体例供给的情势化考证东西对变换获得的Maude模子举行了情势化考证。情势化考证囊括非功效属性考证和功效属性考证两局部，非功效属性考证指考证变换获得的Maude模子能否满意与体例功效无干的属性，如中断性、干流性、完美性和普遍性；功效属性考证即考证运用Maude谈话刻画的软硬件体例能否满意软硬件的需要个性，进而检验和测定软硬件在安排上面不满意软硬件需要个性的缺点。(3)在上述实质的普通上，安排、实行了一个集成OWL-S模子变换与情势化考证功效的OWL-S模子变换与情势化考证原形体例。同声运用OWL-S建立相映的Web效劳软硬件范例，运用正文所实行的原形体例对准范例举行模子变换与情势化考证，经过领会截止考证正文所述本领及原形体例的灵验性。

来源：半壳优胜育转载请保留出处和链接！

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