活动
1、 如果作为源的活动上有带条件的出去的顺序流,那么它上面应该至少还有另外一条出去的顺序流。
2、 如果作为源的活动上有默认的出去的顺序流,那么它上面应该至少还有另外一条出去的顺序流。
3、 如果子流程是展开的,子流程内部的元素就不能够与子流程外部的元素相连。
4、 事件子流程不能有任何进入或者出去的顺序流。
5、 事件子流程有且只有一个开始事件。
6、 事件子流程的开始事件必须有一个触发器,这个触发器必须是以下类型:消息、错误、升级、补偿、条件、信号和复合(Multiple)。
7、 如果事件子流程的开始事件是非中断的,其事件定义类型一定不能是错误以及补偿。
事件
8、 如果有开始事件,那么就一定有至少一个结束事件。
9、 如果有结束事件,那么就一定有至少一个开始事件。
10、 开始事件必须有一个出去的顺序流。
11、 开始事件出去的顺序流不能带条件。
12、 结束事件必须有一个进来的顺序流。
13、 开始事件如果不出现在事件子流程中,它不能被中断。
14、 正常流中的中间事件必须有一个进来的和出去的顺序流。
15、 如果中间事件附属在活动的边界:那么中间事件不能成为顺序流的目标,不能有进入的顺序流,只能成为顺序流的源。
16、 捕获的取消类型的中间事件只能附属在事务子流程的边界。
17、 取消的结束事件只能在事务子流程中使用。
18、 如果边界事件是非中断的,它的事件定义类型一定不能是错误、取消以及补偿。
19、 捕获的补偿类型的中间事件只能附属在活动的边界。
20、 无事件定义的捕获类型事件,不能附属在活动的边界。
网关
21、 一个网关要么有多个顺序流进入,要么有多个顺序流出去。
22、 网关类型为converging时必须有多条进来的顺序流,最多只能有一条出去的顺序流。
23、 网关类型为diverging时必须有多条出去的顺序流,最多只能有一条进入的顺序流。
24、 网关类型为mixed时必须有多条出去的和多条进来的顺序流。
25、 如果作为源的网关上有带条件的出去的顺序流,那么它的类型就不能是并行或者事件。
26、 事件网关必须有两个以上的出去的顺序流,这些顺序流不能带条件。
27、 事件网关的目标连接对象不能再有其他进入的顺序流。
28、 事件网关的目标连接对象可以是中间事件或者接收任务。
29、 事件网关的目标连接对象如果是中间事件,其事件定义类型只能是消息、信号、定时器、条件和复合(Multiple)。
30、 事件网关的目标连接对象如果是消息中间事件,就不能再有接收任务;如果是接收任务,就不能再有消息中间事件。
31、 和事件网关相连的接收任务不能有边界事件。
32、 事件网关的类型如果是并行,那么其instantiate属性必须为true。
连接物
33、 顺序流不能跨越池子的边界,它只能出现在池子的内部。
34、 顺序流不能从开始事件进入。
35、 顺序流不能从结束事件出去。
36、 默认的顺序流不能带条件。
37、 补偿关联的源必须是包含补偿类型的边界事件。
38、 补偿关联的目标必须是补偿性质的活动。
39、 Association的目标或者源必须是一个流对象(活动、事件和网关),另外一个是人工物。
数据
40、 如果数据输入直接被包含在流程里,它就不能成为数据关联的目标。只有被活动或者事件包含的数据输入才能成为数据关联的目标。
41、 如果数据输出直接被包含在流程里,它就不能成为数据关联的源。只有被活动或者事件包含的数据输出才能成为数据关联的源。
分享到:
相关推荐
3. XML Schema(XSD):用于定义BPMN模型的结构和约束。 BPMN2.0标准规范的实现包括: 1. BPMN模型编辑器:用于创建和编辑BPMN模型的图形编辑器。 2. BPMN模型执行引擎:用于执行BPMN模型的引擎。 3. BPMN模型分析...
3. org.eclipse.emf.validation_1.7.0.201306111341.jar:这是EMF验证框架的实现,提供了一种机制,可以在模型元素创建或修改时进行一致性检查和约束验证,确保设计的BPMN流程符合预设规则。 当在Eclipse中安装...
4. **规范性**:提供了一套完整的语法规则和约束条件,确保了流程模型的一致性和正确性。 #### 三、BPMN v2.0的关键组件 - **流程元素**:包括事件(Event)、活动(Activity)和网关(Gateway),用于构建基本的...
它可以精确地表示业务流程中的并发行为、同步机制以及资源约束等复杂关系,对于验证流程模型的正确性和一致性具有重要作用。 - **过程代数**:这是一种形式化的语言,用于描述和分析系统的动态行为。在业务流程...
BPMN V1.1允许通过扩展属性来增强模型的表达能力,同时提供了一系列的约束条件,确保模型的正确性和一致性。 ### 法律条款概览 - **版权声明**:OMG及各版权持有者对BPMN V1.1标准享有版权,但授予用户非独占、免...
使用 BPMN 2.0 流程模型分析工具发现,BPMN 流程中最常见的错误之一是违反约束(在 BPMNspector 中命名为 EXT.023): < startEvent xss=removed xss=removed></ startEvent> ...
由于固有的不确定性、不准确性、可变性和动态性,模拟以交互人类活动、资源、业务规则和约束为特征的组织过程是一项具有挑战性的任务。 针对这个问题,目前可用的业务流程模拟(BPS)方法和工具无法有效地捕捉整个...
在设计实时约束下的网络物理嵌入式系统时,软件设计实践中存在着对最坏情况下时间场景验证和验证不足的问题。这对于确保安全关键型系统的正常运行至关重要。例如,在航空业和汽车行业,供应商被要求提供关于软件最坏...
二是语义性质检验,验证工作流模型是否符合预定的业务规则和约束条件。 ##### 结构合理性检验 结构合理性检验主要关注工作流模型是否能够正确地执行所有预期的任务,并且能够在完成所有任务后正常终止。这通常涉及...
该工具基于通用的BPMN2.0标准流程图模型,确保与主流工作流引擎的兼容性,从而在软件开发的全过程中实现模型的共享。通过使用AutoTCG,测试人员可以实现从需求分析到测试执行的自动化流程。 **AutoTCG简介** ...
2. 业务建模:使用 BPMN 2.0 标准流程图模型,创建业务流程模型。 3. 动作设置:设置动作适配器,支持图形化配置,同时内置脚本编辑器。 4. 数据设置:设置测试数据和约束条件。 5. 约束设计:设计数据约束条件,...
2. **业务建模**:采用BPMN2.0标准流程图,兼容主流工作流程引擎,简化复杂业务的建模。 3. **动作设置**:为测试工具定制专用的动作适配器,支持图形化配置和内置脚本编辑器。 4. **数据设置**:允许配置节点参数和...
它包含了流程图(BPMN图),描述了各个任务(Task)之间的关系,以及流程中的规则和约束。在jbpm4中,一个processDefinition通常对应一个XML文件(*.bpmn或*.bpmn2),该文件使用Business Process Modeling Notation...
- **约束**:流程中的限制条件。 - **动作**:执行特定逻辑或操作的功能。 - **事件**:流程执行过程中触发的特定事件。 - **定时器**:设置流程中特定时间点发生的动作。 - **流程更新**:包括流程实例迁移等内容。...
根据给定文件的部分内容,...每种技术都有其特点和应用场景,选择合适的工具取决于特定项目的需求和约束条件。在工作流系统设计和实施中,合理选择和对比这些工具能够帮助开发人员和架构师制定更有效的工作流解决方案。