计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
8期
51-55
,共5页
蓝荣贵%王勇%朱正东%李增智
藍榮貴%王勇%硃正東%李增智
람영귀%왕용%주정동%리증지
语义web服务%组合验证模型%模型驱动架构(MDA)%语义匹配度
語義web服務%組閤驗證模型%模型驅動架構(MDA)%語義匹配度
어의web복무%조합험증모형%모형구동가구(MDA)%어의필배도
针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法.组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模.在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPLN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用.该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务.
針對語義Web服務的組閤與驗證問題,提齣瞭基于模型驅動架構(MDA)的組閤方法與基于語義匹配度的匹配方法.組閤方法使用UML類圖和用例圖對OWL-S進行靜態組閤建模,使用活動圖對OWL-S進行動態組閤建模.在建模過程中使用基于語義匹配度的匹配方法,選擇可用的子Web服務確定最閤適的組閤Web服務,併將該組閤UML模型轉化為可驗證的Promela語言,使用SPLN工具進行驗證,通過驗證的UML模型作為模闆保存于本體的知識庫中以便使用.該模型提高瞭開髮語義Web服務的效率,保證瞭組閤過程的正確性,還能利用模闆與語義匹配度實時髮現與選擇可用的Web服務.
침대어의Web복무적조합여험증문제,제출료기우모형구동가구(MDA)적조합방법여기우어의필배도적필배방법.조합방법사용UML류도화용례도대OWL-S진행정태조합건모,사용활동도대OWL-S진행동태조합건모.재건모과정중사용기우어의필배도적필배방법,선택가용적자Web복무학정최합괄적조합Web복무,병장해조합UML모형전화위가험증적Promela어언,사용SPLN공구진행험증,통과험증적UML모형작위모판보존우본체적지식고중이편사용.해모형제고료개발어의Web복무적효솔,보증료조합과정적정학성,환능이용모판여어의필배도실시발현여선택가용적Web복무.