苏州大学学报（工科版）
囌州大學學報（工科版）
소주대학학보（공과판）
JOURNAL OF SOOCHOW UNIVERSITY ENGINEERING SCIENCE EDITION
2010年
4期
14-19
,共6页
有色Petri网%Web服务组合%建模%可达性分析
有色Petri網%Web服務組閤%建模%可達性分析
유색Petri망%Web복무조합%건모%가체성분석
形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的.
形式化定義瞭Web服務組閤過程中的5種基本邏輯結構,併採用有色Petri網錶示,然後將其抽象為服務的代數運算;在此基礎上,提齣瞭經過服務運算後得到的服務的性質及組閤服務的構造方法;最後通過實例分析,說明該建模方法可以保證組閤的服務是正確且可終止的.
형식화정의료Web복무조합과정중적5충기본라집결구,병채용유색Petri망표시,연후장기추상위복무적대수운산;재차기출상,제출료경과복무운산후득도적복무적성질급조합복무적구조방법;최후통과실례분석,설명해건모방법가이보증조합적복무시정학차가종지적.
