业务流程建模与应用

本专著介绍了复杂业务系统CBS的开发现状，对国内外常见的业务流程描述方法和模型进行了综述。针对开发CBS存在的问题，着重介绍了一种基于双状态的业务流程描述模型DSBPDM,并详细给出了DSBPDM模型的形式化定义，以此为基础给出各种业务流程模式的严格定义，从而推导出“业务流程的推进过程等同于其实例格局不断变迁”的结论，把对业务流程的研究转化为对表单实例格局的研究。