工作流实例方面的建模理论与实现方法的研究

现有工作流模型通过把过程逻辑从功能逻辑分离出来，增强了应用系统在过程变化方面的适应性，但是没有对工作流实例之间在某些方面的关系和约束进行建模和处理。而实例间在某些方面的关系处理是有很大应用价值的。针对该问题，本项目借鉴软件方法学中面向方面（Aspect-Oriented）的理论与方法，拟研究建立正交于传统工作流模型的描述实例方面（Instance Aspect）的纵切面模型来解决实例之间的约束求解及优化组合问题；拟通过扩展元模型支持对实例方面的建模，通过π演算对扩展后模型进行校验；研究解决实例方面组合语义可视化表示，建立实例方面模型操作原语及基于XML的数据流分解与整合方法；研究基于模糊时态约束满足问题求解与工作流仿真的优化方法。通过研究工作流实例方面这一纵切模型及其建模理论和支持技术，可以使现有工作流能够更好地解决实例约束和优化执行问题。