计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
10期
146-149
,共4页
层次颜色Petri网%模型驱动架构%Web服务组合%正确性分析
層次顏色Petri網%模型驅動架構%Web服務組閤%正確性分析
층차안색Petri망%모형구동가구%Web복무조합%정학성분석
web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块.利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求.随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错.给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程.还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性.
web服務技術日趨成熟,它提供瞭一種平檯獨立、自描述、位置透明的軟件模塊.利用Web服務組閤技術,能夠快速、靈活地滿足複雜多變的業務需求.隨著Web服務組閤流程日趨複雜,組閤流程設計越來越容易齣錯.給齣瞭一箇描述Web服務組閤流程的擴展層次顏色Petri網模型,它獨立于具體的流程描述語言,支持流程的層次錶達且能較全麵地刻畫Web服務組閤流程.還給齣瞭模型的控製流網正確性、數據流網正確性、流程實例正確性的驗證方法,從3箇層麵確保瞭Web服務組閤流程的正確性.
web복무기술일추성숙,타제공료일충평태독립、자묘술、위치투명적연건모괴.이용Web복무조합기술,능구쾌속、령활지만족복잡다변적업무수구.수착Web복무조합류정일추복잡,조합류정설계월래월용역출착.급출료일개묘술Web복무조합류정적확전층차안색Petri망모형,타독립우구체적류정묘술어언,지지류정적층차표체차능교전면지각화Web복무조합류정.환급출료모형적공제류망정학성、수거류망정학성、류정실례정학성적험증방법,종3개층면학보료Web복무조합류정적정학성.
