在此，我使用的术语，基于模型的系统开发是非常广义的，基本上覆盖了系统分析和设计工作流。
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.
详细阐述了工作流建模和仿真工具的需求分析、设计和实现；重点讨论了工作流模型检测和仿真分析。
This paper expatiates on requirement analysis, design and implementation of workflow modeling and simulation tool, and mainly discusses workflow model check and simulation analysis.
分析用户在没有计算机的情况下的工作流有助于发现和您的产品相关的用户的心智模型。
To help you discover the mental models people associate with your product's tasks, look at how they perform similar tasks without a computer.
该文研究了工作流技术中的业务过程描述方式，设计了一个业务过程模型，并对其结构正确性和语义正确性进行了证明和分析。
In this paper, after studying the description of business process in workflow system, a kind of service process model is defined, and the structure correctness and semantic validity are analysed.
因此，对过程模型进行分析和优化成为工作流技术的研究方向之一。
Thus, process model analysis and improvement become one of research directions in workflow technology.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
但是，很少有产品为建模人员提供全面的工作流仿真分析功能来验证、诊断和优化过程模型，以对企业业务过程提供更有效的支持。
However, few products provide modeling engineer with simulation analysis function to verify, diagnose and optimize business process model so as to sustain BPR.
给出了业务流程过程模型和组织元模型的集成实现过程，从而有利于描述和分析工作流驱动的动态组织行为。
An integrated implementation approach of organizational model and process model is presented, which can facilitate the description and analysis of the workflow-driven dynamic organization activities.
文章分析WFMC工作流参考模型的可扩展性，提出了一个可扩展的工作流元模型。
This paper analyzes the extensibility of the workflow reference model from WFMC, then presents a extensible workflow meta model.
在分析了企业动态联盟对工作流柔性的需求基础上，提出了基于活动分解的工作流模型。
On the basis of analyzing the requirement for flexible workflow in dynamic-virtual enterprise, a workflow model for based activity decomposition was proposed.
本文提出支持动态修改的可适应工作流模型，从时间和过程两个角度分析了工作流动态特性的表现。
In this paper an adaptive workflow model supporting dynamic modification was given. The dynamic characteristics of workflow were analyzed from the points of view of time and process levels.
介绍了工作流技术，分析了现有的PDM产品在实现并行产品开发所存在的缺陷，提出了工艺规划师的概念和模型。
Discuss workflow technique, analyzing insufficiency of traditional PDM in Cooperative Process Planning, bring forth concept and model of process planner.
本文首先分析了企业工作流模型的组成以及模型之间的相互关系。
Firstly, the composition of enterprise workflow model and the interrelation of each part was analyzed in this paper.
构建了一个带有时间约束的基于角色的工作流系统授权模型，分析该模型对最小权限和责任分离要求的满足情况。
And a WFMS authorization model based on role control and time constraints is constructed, and how it meets the desires of least privilege and separation of duty is discussed.
本文首先分析了工作流长事务的特性，并针对工作流中频繁出现的长事务问题基础上提出了一种多层事务模型FLTM。
This paper first analyzes the characteristics of workflow transaction , and on the basis we propose FLTM, a multilevel transaction model.
通过分析工作流管理系统中存在的资源冲突问题，提出了一种工作流活动结点的定义模型以及几种工作流中有关资源分配的原语操作。
Based on the analysis of resource collision in WFMS, a definition model of the activity node and a series of primitive operations related to resource distribution are proposed.
该模型由工作流描述模型和工作流分析模型组成。
It was composed of description model DWF_net and analysis model AWF_net.
接着运用工作流技术对办公过程中的过程模型、组织模型和资源模型进行分析。
Then use the workflow technology to analysis the process model, organization model and resource model.
对工作流的起源、概念以及模型进行了简要的阐述，分析了角色活动图（RAD）模型及其他一些工作流模型，并说明了这些工作流模型在“一站式”审批流程进行建模应用时的不足。
Then it introduces the model of RAD and other workflow models, and explained the shortage of these models using in modeling of the "one-site"examination and approval workflow.
本文的研究集中于对工作流系统的模型建立及分析，以及工作流系统的逻辑设计与系统原型的开发。
This paper is focus on the building and analysis of the workflow system, the logic design of the workflow system and the developing system modeling.
工作流档案管理系统的模型在建立之后需要对其进行一些必要的性能分析，这是考察工作流模型实现效率的重要方面。
The workflow management system model needs to be carried on some essential performance analysis after its establishment, because it is significant to inspect the efficiency of the workflow model.
第二章分析了工作流参考模型和本系统设计应用的面向对象技术。
Chapter 2 analyzes Workflow Reference Model and OOD technology used to design the system.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
然后集中阐述了工作流元模型和工作流过程定义语言XPDL，重点分析了工作流引擎的理论和核心调度机制。
Then the paper gives the details of XPDL and workflow meta-model, and analysis the core mechanism of workflow engine.
模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。
Then time modeling and time possibility analysis of temporal phenomena in FTWF-nets were studied. Finally, an example was given to illustrate the use oft…
通过在流程建模阶段扩展工作流管理联盟的工作流元模型相关定义，重点分析了动态路由和多版本流程迁移在流程运行阶段的调度实现。
It extended basic workflow definition that proposed by workflow management coalition in the process-modeling phase, and mainly introduced the runtime implementation of dynamic characteristics.
通过在流程建模阶段扩展工作流管理联盟的工作流元模型相关定义，重点分析了动态路由和多版本流程迁移在流程运行阶段的调度实现。
It extended basic workflow definition that proposed by workflow management coalition in the process-modeling phase, and mainly introduced the runtime implementation of dynamic characteristics.
应用推荐