论文部分内容阅读
在这篇论文，一个模型基于有颜色的 Petri 网(CPN ) 提供语义支持因为万维网服务作文被建议，并且合成服务的可靠性和可维护性被改进。在模型的合成构造是顺序，同时发生的事件，选择，循环并且代替。万维网服务被 CPN 正式定义。关上的创作代数学被定义获得启用万维网服务的说明作文的一个框架。合成服务的可获得性，机密，和正直在模型的框架以内被分析基于的 CPN。