支持领域应用基础平台的业务过程建模方法研究

根据领域应用基础平台结构需求以及基于领域应用基础平台构建领域应用系统的功能需求特点，运用工作流建模、业务规则建模、时序逻辑和模型检测等方法和技术，在四个方面研究支持领域应用基础平台的业务过程建模理论方法和关键使能技术：分离宏观业务结构和易变业务逻辑的业务过程模型的概念框架体系研究；面向宏观业务结构和易变业务逻辑相分离的业务过程模型的时序逻辑一致性表示和分析研究；面向宏观业务结构和易变业务逻辑相分离的业务过程模型的执行语言研究；面向宏观业务结构和易变业务逻辑相分离的业务过程建模支持环境及关键使能工具研究。在理论和方法研究的同时，开发基于SOA架构领域应用基础平台中的业务过程建模系统软件原型，作为领域应用基础平台中业务过程建模部分的支持工具，并用中组部组织干部统计的应用实例验证业务过程建模理论、方法和原型系统。