计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2010年
8期
2173-2176,2196
,共5页
OWL-S 过程模型%自动化验证%通信顺序进程%形式化语义%建模
OWL-S 過程模型%自動化驗證%通信順序進程%形式化語義%建模
OWL-S 과정모형%자동화험증%통신순서진정%형식화어의%건모
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义.最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程.由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性.
為瞭實現OWL-S過程模型正確性的自動化驗證,提齣瞭基于進程代數CSP的OWL-S過程模型的語義建模方法,建立瞭CSP的形式化語義模型,併利用該模型為OWL-S過程定義瞭形式化語義.最後以機票預訂為例說明瞭採用CSP模型為OWL-S過程添加形式化語義的完整流程.由于該方法具備良好的數學基礎,所以可以基于該方法開髮齣自動化驗證OWL-S過程模型的工具,提高繫統的安全性.
위료실현OWL-S과정모형정학성적자동화험증,제출료기우진정대수CSP적OWL-S과정모형적어의건모방법,건립료CSP적형식화어의모형,병이용해모형위OWL-S과정정의료형식화어의.최후이궤표예정위례설명료채용CSP모형위OWL-S과정첨가형식화어의적완정류정.유우해방법구비량호적수학기출,소이가이기우해방법개발출자동화험증OWL-S과정모형적공구,제고계통적안전성.
