计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2009年
1期
202-208
,共7页
web服务组合%语义%Petri网%一致性%服务质量
web服務組閤%語義%Petri網%一緻性%服務質量
web복무조합%어의%Petri망%일치성%복무질량
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网.使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证.提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法.最后,进行了总结,并提出了下一步的工作.
通過分析Web服務組閤正確性驗證方法,給齣瞭與Web服務組閤相對應的語義Petri網.使用語義Petri網不但可以描述Web服務組閤過程,而且能夠進行Web服務組閤的正確性驗證.提齣瞭Web服務組閤語義一緻性所包含的內容,給齣瞭其相應驗證算法.最後,進行瞭總結,併提齣瞭下一步的工作.
통과분석Web복무조합정학성험증방법,급출료여Web복무조합상대응적어의Petri망.사용어의Petri망불단가이묘술Web복무조합과정,이차능구진행Web복무조합적정학성험증.제출료Web복무조합어의일치성소포함적내용,급출료기상응험증산법.최후,진행료총결,병제출료하일보적공작.
