中文摘要：

流程协同是实施跨组织业务协作的重要手段，但在软件即服务模式下，跨组织流程协同面临着组织机构之间交互的复杂性边界的不确定性和构成上的多样性，同时也强调在线组装、在线交付以及即时运行，这使传统流程协同应用构造中存在的离线、长周期的集成方式、离线交付以及不够灵活的运行方式受到挑战。本课题将针对上述问题，在分析国内外典型的业务流程系统和流程交互模式的基础上，首先归纳总结其中规律性的关系，给出基于时序逻辑的业务流程协同理论模型；然后阐明业务流程可交互性的程度划分以及判定依据，讨论可交互性较弱时的人工干预的调整和协商机制；最后落实流程协同运行时的数据流转正确性保障机制。在评价手段上，除理论验证外，还将搭建一个至少由三个业务流程系统组成的分布式试验环境进行技术验证。本课题的理论和技术成果对于解决软件即服务模式下跨组织流程协同应用的在线组装、在线交付、即时运行和动态协同等问题具有重要意义。

结论摘要：

流程协同是实施跨组织业务协作的重要手段，但在软件即服务模式下，跨组织流程协同面临着组织机构之间交互的复杂性、边界的不确定性和构成上的多样性，同时也强调在线组装、在线交付以及即时运行，这使传统流程协同应用构造中存在的离线、长周期的集成方式、离线交付以及不够灵活的运行方式受到挑战。本课题将针对上述问题，在分析国内外典型的业务流程系统和流程交互模式的基础上: 第一，提出了一种以数据为中心的支持在线组装的跨组织流程协同模型，依据体征数据的变化驱动协同的业务流程加以执行，从而支持不确定情况下跨部门的动态业务协作。第二，针对传统服务交互过程中服务耦合关系过紧而带来的服务交互关系对需求和环境变化适应能力弱的问题，提出了一种能够解耦服务间依赖关系的服务交互逻辑窗口模型，基于时态逻辑对其交互语义进行了精确描述，定义了一组保障其基本性质的良构描述准则。第三，针对基于内容的服务交互需求、服务异构以及服务交互模式复杂的特点，提出并实现了一种内容敏感的两阶段服务匹配机制。该机制可以根据服务请求内容定位到与需求相匹配的服务交互逻辑窗口，实现了业务层面内容敏感的动态“路由”。第四，提出并实现了一种服务交互中适应性数据流转机制，定义了一组数据流转策略和具体的数据流转操作，利用时态逻辑对服务交互性质和数据流转操作的语义进行了精确描述，并通过理论分析表明，该机制能够保障服务交互的活性和安全性。最后，实现了相应的服务交互中介原型系统——VINCA Mediator，并以一个动态供应链场景为案例，文中对研究成果进行了定性定量分析，分析结果表明了本文工作是可行的和有效的。VINCA Mediator还在VINCA服务网格以及中国国家网格CNGrid GOS网格工作流系统中进行了试用。