兵工自动化
兵工自動化
병공자동화
ORDNANCE INDUSTRY AUTOMATION
2009年
5期
91-96
,共6页
常宏达%孙文辉%于双元%丁丁
常宏達%孫文輝%于雙元%丁丁
상굉체%손문휘%우쌍원%정정
Web服务%形式方法%Petri网%进程代数%自动机
Web服務%形式方法%Petri網%進程代數%自動機
Web복무%형식방법%Petri망%진정대수%자동궤
形式化方法对于建模和验证软件系统是一种有效的方法.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值十分必要.分析Web服务的综合特征,总结Web服务组合的典型特征,重点介绍有代表性的Web服务组合形式模型和方法,包括OWL(DAML-S)、进程代数类的CSP和π-演算、自动机理论的米兰机以及Petri网.通过综合比较与分析,对各个模型和方法给出一定评价,为系统地建立Web服务组合形式理论打下基础.
形式化方法對于建模和驗證軟件繫統是一種有效的方法.對于Web服務及其組閤來說,保證其組閤正確性以實現其服務增值十分必要.分析Web服務的綜閤特徵,總結Web服務組閤的典型特徵,重點介紹有代錶性的Web服務組閤形式模型和方法,包括OWL(DAML-S)、進程代數類的CSP和π-縯算、自動機理論的米蘭機以及Petri網.通過綜閤比較與分析,對各箇模型和方法給齣一定評價,為繫統地建立Web服務組閤形式理論打下基礎.
형식화방법대우건모화험증연건계통시일충유효적방법.대우Web복무급기조합래설,보증기조합정학성이실현기복무증치십분필요.분석Web복무적종합특정,총결Web복무조합적전형특정,중점개소유대표성적Web복무조합형식모형화방법,포괄OWL(DAML-S)、진정대수류적CSP화π-연산、자동궤이론적미란궤이급Petri망.통과종합비교여분석,대각개모형화방법급출일정평개,위계통지건립Web복무조합형식이론타하기출.
