%0 Journal Article
%T Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net<br>一种基于扩展颜色Petri网的Web服务组合验证机制
%A LI Jing-xi
%A YAN Chun-gang
%A <br>李景霞
%A 闫春钢
%J 计算机科学
%D 2009
%I 
%X Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。
%K Hierarchical colored Petri net
%K Model driven architecture
%K Web service composition
%K Correctness analysis<br>层次颜色Petri网
%K 模型驱动架构
%K Web服务组合
%K 正确性分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=20DD0B82D8D5AF129AF72234EF9C785B&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=F3090AE9B60B7ED1&sid=A020552C37306588&eid=EB552E4CFC85690B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=12