一个基于偏序事件结构的web服务模型及其形式化组装

随着internet的发展，服务化和web化趋势使得一个基于web的分布式软件服务计算环境正在形成；同时随着大规模应用需求的不断涌现，单个的web服务往往不能很好地满足一些复杂的应用。因此web服务之间的集成组装就显得尤为重要。分析web服务的交互和协同行为可以发现，分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证，从而需要提供一定的手段加以支持；同时，基于软件服务分布计算系统的效率问题也值得关注。我们认为，利用偏序关系对这些问题加以处理是一种理想和有效的手段；而同