计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2009年
10期
60-63,158
,共5页
黄雨%胡文蕙%高昕%王捍贫
黃雨%鬍文蕙%高昕%王捍貧
황우%호문혜%고흔%왕한빈
WSCI%Petri Nets%Web服务组合
WSCI%Petri Nets%Web服務組閤
WSCI%Petri Nets%Web복무조합
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署.本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法.该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型.本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的.
WSCI是一種Web服務組閤標記語言,對于一些關鍵的業務流程,任何設計錯誤都會造成重大損失,因此有必要為WSCI語言建立形式化模型併給予分析,從而保證正確的業務流程部署.本文主要給齣瞭WSCI的分析方法,基于文獻[1]給齣瞭形式化模型,提齣瞭該形式化模型下的一種網融閤方法.該方法將錶示進程的網模型與其錶示例外處理和子流程的網模型進行閤併,形成統一的網模型.本文最後還給齣瞭在該網模型下的可達圖分析方法,從而達到分析帶有例外處理的WSCI形式化模型的目的.
WSCI시일충Web복무조합표기어언,대우일사관건적업무류정,임하설계착오도회조성중대손실,인차유필요위WSCI어언건립형식화모형병급여분석,종이보증정학적업무류정부서.본문주요급출료WSCI적분석방법,기우문헌[1]급출료형식화모형,제출료해형식화모형하적일충망융합방법.해방법장표시진정적망모형여기표시예외처리화자류정적망모형진행합병,형성통일적망모형.본문최후환급출료재해망모형하적가체도분석방법,종이체도분석대유예외처리적WSCI형식화모형적목적.
