计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
11期
109-113
,共5页
吴晓庆%马越%曹存根%眭跃飞
吳曉慶%馬越%曹存根%眭躍飛
오효경%마월%조존근%휴약비
一阶动态逻辑%Web服务模型本体%Web服务%程序%赋值
一階動態邏輯%Web服務模型本體%Web服務%程序%賦值
일계동태라집%Web복무모형본체%Web복무%정서%부치
Web服务有几种形式化表示:WSMO(Web服务建模本体)和OWL-S(Web服务本体语言).为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML.这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质.给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质.
Web服務有幾種形式化錶示:WSMO(Web服務建模本體)和OWL-S(Web服務本體語言).為瞭分析WSML的邏輯特性,提齣用一階動態邏輯來錶示WSML.這裏的一階動態邏輯與傳統的PDL不同,後者是用來錶示程序改變變量的動態性質的,而描述Web服務的一階動態邏輯除瞭描述改變變量的程序動作的動態性質之外,還需要描述改變關繫的服務動作的動態性質.給齣瞭描述Web服務的PDL的語法和語義,併且用一箇例子說明瞭PDL是如何錶示Web服務的靜態屬性和動態屬性的,以及改變變量和改變關繫的動作的動態性質.
Web복무유궤충형식화표시:WSMO(Web복무건모본체)화OWL-S(Web복무본체어언).위료분석WSML적라집특성,제출용일계동태라집래표시WSML.저리적일계동태라집여전통적PDL불동,후자시용래표시정서개변변량적동태성질적,이묘술Web복무적일계동태라집제료묘술개변변량적정서동작적동태성질지외,환수요묘술개변관계적복무동작적동태성질.급출료묘술Web복무적PDL적어법화어의,병차용일개례자설명료PDL시여하표시Web복무적정태속성화동태속성적,이급개변변량화개변관계적동작적동태성질.
