课题组针对企业业务协同中存在的业务与 IT 技术相脱节,IT 系统不能快速适应业务变化、企业业务单元之间协同能力差等问题展开研究,提出了一套面向服务的业务协同方法,面向业务协同运行的生命周期,研究面向服务的协同建模与验证、服务系统的构建与管理、服务组合、服务运行分析等四个方面的关键理论问题和技术。研究的成果包括① 提出了面向服务的协同建模方法,以及从协同过程模型到BEPL4WS服务模型的映射算法。提出了多过程时序一致性动态验证方法来解决现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。② 提出了基于形式化的服务资源管理方法,以解决现有服务系统形式化不足的问题。提出了基于语义的服务标识和搜索算法,以提高服务搜索的有效性。③提出了基于流程中介器的服务组合方法,以及基于数据关联分析的服务组合语义冲突调解方法,以解决服务动态组合和匹配问题。④提出了基于流程相容性分析的执行正确性判定方法,以及服务时间随机条件下的服务组合执行质量的分析方法,并建立了基于仿真的流程分析方法。课题组进展顺利,所取得的成果,包括论文、专利、和原型系统开发、人才培养等均达到或超过项目计划书规定的考核指标。
英文主题词business collaboration,modeling, service resource management,service composition, analysis and verification