计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
22期
58-64
,共7页
语义Web服务%OWL-S%类型%一阶动态逻辑%服务验证
語義Web服務%OWL-S%類型%一階動態邏輯%服務驗證
어의Web복무%OWL-S%류형%일계동태라집%복무험증
语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解,从而实现Web服务的发现、调用、组合等的自动化.分析了目前语义Web服务的研究现状和存在的问题,从类型标注的角度出发,用一种带类型的OWL-S来形式化语义Web服务,并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系,从而为服务组合提供了一种形式化的验证方法.
語義Web服務利用語義Web中的語義標註技術使得Web服務可以被計算機所理解,從而實現Web服務的髮現、調用、組閤等的自動化.分析瞭目前語義Web服務的研究現狀和存在的問題,從類型標註的角度齣髮,用一種帶類型的OWL-S來形式化語義Web服務,併且形式地陳述瞭標註兩箇被組閤的服務的屬性和關繫的類型、對象、本體概唸之間的聯繫,從而為服務組閤提供瞭一種形式化的驗證方法.
어의Web복무이용어의Web중적어의표주기술사득Web복무가이피계산궤소리해,종이실현Web복무적발현、조용、조합등적자동화.분석료목전어의Web복무적연구현상화존재적문제,종류형표주적각도출발,용일충대류형적OWL-S래형식화어의Web복무,병차형식지진술료표주량개피조합적복무적속성화관계적류형、대상、본체개념지간적련계,종이위복무조합제공료일충형식화적험증방법.
