计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
4期
40-43
,共4页
Web服务%Web服务组合%Petri网%建模%验证
Web服務%Web服務組閤%Petri網%建模%驗證
Web복무%Web복무조합%Petri망%건모%험증
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.
Web服務組閤是Web服務的主要研究方嚮之一,對語義Web服務組閤進行形式化描述併進行分析和驗證是組閤服務正確運行的保證.本文首先給齣瞭基于有色Petri網的語義Web服務形式化模型,形式化描述瞭OWL-S的ServiceModel中8種基本的Web服務組閤模式,利用這些組閤模式可以構造齣滿足需求的組閤Web服務.然後,對服務組閤形式化模型的正確性分析和驗證進行研究後,給齣瞭組閤模型語法正確性、可達性、活性和有界性的算法.最後,通過一箇具體的建模實例展示瞭Web服務組閤的Petri網建模.
Web복무조합시Web복무적주요연구방향지일,대어의Web복무조합진행형식화묘술병진행분석화험증시조합복무정학운행적보증.본문수선급출료기우유색Petri망적어의Web복무형식화모형,형식화묘술료OWL-S적ServiceModel중8충기본적Web복무조합모식,이용저사조합모식가이구조출만족수구적조합Web복무.연후,대복무조합형식화모형적정학성분석화험증진행연구후,급출료조합모형어법정학성、가체성、활성화유계성적산법.최후,통과일개구체적건모실례전시료Web복무조합적Petri망건모.
