中文摘要：

`从领域应用基础平台的结构特点和应用需求出发,用工作流、业务规则和时序逻辑构建了支持领域应用基础平台的业务过程建模方法:提出了支持领域应用基础平台的内部结构维和外部应用维业务过程模型研究框架,建立了分离宏观业务结构与和微观业务逻辑的业务过程概念模型;分析了业务过程模型的不同形式化表示特点,构建了基于XYZ/E和事件演算的业务过程模型表示和定性、定量分析方法;提出基于XML的业务过程描述语言,构建了其与典型业务过程语言BPEL4WS之间的映射准则;构建了面向领域应用基础平台的业务过程建模工具。同时，项目成果结合国家科技攻关计划"农业信息化平台关键技术开发及应用"中领域应用基础平台进行了应用。项目研究并促进了支持领域应用基础平台的柔性业务过程建模方法的新发展。通过分离业务过程模型中宏观业务结构和易变业务逻辑，确保了业务过程模型在领域应用基础平台业务层面的可描述性和可变更性；通过构造宏观业务结构和易变业务逻辑之间统一的形式化理论基础和描述语言，确保了业务过程模型在领域应用基础平台技术层面的可集成性和可执行性。