论文部分内容阅读
Web服务组合是电子政务建设中主要技术和有效方法,本文在分析了电子政务中Web服务组合工作流模式后,给出了六种基于Petri网的Web服务组合模式。在借鉴工作流正确性定义后,给出了电子政务中Web服务组合流程模型的正确性要求,并指出了建模正确性验证中可能出现的三种错误原因,最后通过一个具体的建模实例展示了电子政务中Web服务组合工流程的Petri网建模。