在此，我使用的术语，基于模型的系统开发是非常广义的，基本上覆盖了系统分析和设计工作流。
I use the term model-based systems engineering in a very broad sense here, basically covering the systems Analysis and Design workflows.
大多数以工作流为中心的BPM工具要求更多技术人员参与，以便将业务分析人员创建的业务流程模型转换为可执行形式。
Most of the workflow-centric BPM tools require greater involvement of technical people to transform the business process model created by a business analyst into an executable form.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
应用推荐