论文部分内容阅读
在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确定性等特性的问题。利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性。