面向服务的业务流程建模与验证研究

作者：张曼

来源：其他, 2012.

• 业务流程建模
• BPEL
• UML活动图
• 流程模型化简自由选择工作流网
• 可分离工作流网 business process modeling
• BPEL
• UML activity diagram process model reduction
• free choice WF-net
• separable WF-net

业务流程是对组织内外各种管理逻辑的抽象和视图的描述。在业务流程管理(Business Process Management, BPM)领域，面向服务的架构(Service OrientedArchitecture, SOA)为跨组织建立业务流程提供了一整套的技术规范。业务流程建模作为BPM的重要组成部分，是业务流程整个生命周期的起点。业务流程模型的验证是检验流程模型正确性的技术，在流程投入运行前对流程模型进行验证有重要意义。 业务流程的设计模型通常采用图形化的语言建模，而业务流程执行语言(Business Process Executable Language, BPEL)是BPM与S...

• 单位
  西安电子科技大学