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

关键词: 事件 服务模型 Web服务 Internet 分布计算系统 软件服务 结构 偏序关系 基于Web 形式化模型 计算环境 Web化 应用需求 本质特征 效率问题 并行执行 局部变化 组装过程 正确性 分布式 服务化 并发性 分布性 集成 交互