计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2010年
8期
1442-1449
,共8页
刘莹%张一川%张斌%张明卫%朱志良
劉瑩%張一川%張斌%張明衛%硃誌良
류형%장일천%장빈%장명위%주지량
服务可替换性%服务行为%行为效果%有色Petri网%可替换性判定
服務可替換性%服務行為%行為效果%有色Petri網%可替換性判定
복무가체환성%복무행위%행위효과%유색Petri망%가체환성판정
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.
服務可替換性分析是服務無縫集成與協作領域的一箇重要問題,通過形式化的分析方法驗證替換前後服務組閤效果是否一緻,有助于實現服務的動態組閤.現有研究針對服務內部的操作和操作序列是否一緻對服務的可替換性進行分析,會縮小可替換服務的空間.基于服務執行時的觸髮條件和結果提齣瞭服務可替換性的定量判定方法.該方法採用有色Petri網對服務行為進行建模,將服務執行時的觸髮條件和結果定義為服務的行為效果,給齣瞭行為效果一緻的概唸,併結閤Petri網變換理論實現對服務可替換度的計算.最後通過定理證明瞭方法的有效性,這種定量分析的判定方法對于服務替換的正確建立和替換後組閤服務的可靠執行具有重要作用.
복무가체환성분석시복무무봉집성여협작영역적일개중요문제,통과형식화적분석방법험증체환전후복무조합효과시부일치,유조우실현복무적동태조합.현유연구침대복무내부적조작화조작서렬시부일치대복무적가체환성진행분석,회축소가체환복무적공간.기우복무집행시적촉발조건화결과제출료복무가체환성적정량판정방법.해방법채용유색Petri망대복무행위진행건모,장복무집행시적촉발조건화결과정의위복무적행위효과,급출료행위효과일치적개념,병결합Petri망변환이론실현대복무가체환도적계산.최후통과정리증명료방법적유효성,저충정량분석적판정방법대우복무체환적정학건립화체환후조합복무적가고집행구유중요작용.
