8、大型系统以用户为中心的业务流程建模与基于模式的开发

大型系统以用户为中心的业务流程建模与基于模式的开发

在敏捷软件开发中，信息系统的利益相关者（如用户和开发者）进行协作设计和开发至关重要。尤其是在大型信息系统的开发中，这种协作虽重要但难以实现。本文将介绍一种用于需求分析的业务流程建模方法，以及基于 Web 流程架构的开发框架，以解决大型系统开发中利益相关者的协作问题。

业务流程建模与开发框架概述

为解决大型系统开发中利益相关者的协作问题，我们引入了业务流程建模方法和基于 Web 流程架构的开发框架。建模方法使用带有业务表单生命周期（BFLs）的工作流，使利益相关者更易就需求达成一致，并采用形式化方法验证业务流程的一致性。开发框架则基于服务中日常任务的模式，通过短期循环实现快速螺旋式开发。

基于带有业务表单生命周期工作流的业务流程建模

• 关注业务流程与业务表单 ：随着社会科技进步，业务和信息系统变得庞大复杂。我们关注业务流程（事件流）以及其中的业务表单。业务表单是业务流程中某些事件使用的结果文档，检查业务表单的生命周期有助于验证事件流的有效性。
• 工作流及其正确性
  • 工作流定义 ：工作流是由节点和弧组成的有向图，节点表示事件或控制流符号，弧表示事件的顺序关系。节点分为触发、终端、事件、XOR - 拆分、XOR - 合并、AND - 拆分和 AND - 合并等类型。
  • 操作语义 ：使用令牌定义工作流的操作语义，令牌在弧上移动表示事件的执行。