随着Internet逐步演变成一个全球化的开放计算平台,基于Web服务的服务集成成为过程技术应用与研究的热点。服务集成通过把功能单一的Web服务组合起来,实现异构应用的集成与协作。服务集成的建模是验证集成服务正确性的前提。目前的服务集成过程模型集中关注业务需求导向的全局集成服务过程,忽略参与集成伙伴服务的内部过程行为。在动态、多变的开放环境下,难以支持集成服务过程与参与集成伙伴服务内部过程行为一致的检验。针对上述问题,本文采用关注点分离原则,提出一种基于对象Petri网的分层服务集成过程模型,实现集成服务过程以及独立的参与集成伙伴服务过程的统一建模。基于该模型,不仅能够实现全局集成服务过程的建模,而且能够建立集成服务过程与参与集成伙伴服务的内部过程之间的关联关系,从而支持两者之间行为一致的检验。具体而言,本文的工作主要包括以下几点：·给出了分层服务集成过程模型相关概念,基于对象Petri网和工作流网给出了分层服务集成过程模型的形式化定义。在此基础上,对分层服务集成过程模型的合理性进行了研究,该属性可用于形式化分析服务集成过程的正确性(单一集成服务过程是否正确,以及是否会发生由于参与伙伴服务过程与集成服务过程行为的冲突而导致的模型死锁),并给出了判定分层服务集成过程模型的合理性的充要条件。·基于分层服务集成过程模型,给出一种自顶向下与自底向上相结合的服务集成建模方法,保障集成服务过程与局部参与伙伴服务内部过程行为-致。·采用活动对之间的本质行为关系抽象表示一个过程模型的行为。基于分层服务集成模型的合理性,从过程间行为一致角度,研究了全局集成服务过程与局部参与伙伴服务在关联关系下相应活动对上的行为约束。并给出了计算一个过程模型其抽象行为表示(活动对间的行为关系集合)的方法。基于开源的PIPE平台,设计并实现实现了一个支持分层服务过程模型建模与行为约束分析的原型工具,L-SIP,支持图形化的服务集成过程建模。为用户提供了一个简单易用、方便直观的服务集成过程建模以及模型行为约束检测工具。