应用科学学报
應用科學學報
응용과학학보
JOURNAL OF APPLIED SCIENCES
2010年
3期
326-330
,共5页
王毅俊%缪淮扣%许庆国%曹晓夏
王毅俊%繆淮釦%許慶國%曹曉夏
왕의준%무회구%허경국%조효하
语义网络服务%OWL-S%Z规格说明%形式方法%转换规则
語義網絡服務%OWL-S%Z規格說明%形式方法%轉換規則
어의망락복무%OWL-S%Z규격설명%형식방법%전환규칙
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的0WI-S形式化方法,提出从OWL-S到z规格说明的模型转换规则.基于这些规则,用z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化驗證工具.Z語言是基于集閤論和一階謂詞邏輯的形式化規格說明語言,比OWL-S具有更彊的錶達力.該文研究基于Z的0WI-S形式化方法,提齣從OWL-S到z規格說明的模型轉換規則.基于這些規則,用z定義OWL-S中概唸的形式化語義,併開髮瞭從OWL-S描述到Z規格說明的自動轉換工具OWLS2Z.
OWL-S시중요적Semantic Web Service묘술광가,단결핍유효적형식화험증공구.Z어언시기우집합론화일계위사라집적형식화규격설명어언,비OWL-S구유경강적표체력.해문연구기우Z적0WI-S형식화방법,제출종OWL-S도z규격설명적모형전환규칙.기우저사규칙,용z정의OWL-S중개념적형식화어의,병개발료종OWL-S묘술도Z규격설명적자동전환공구OWLS2Z.
