BPMN
描述业务流程
Semantic Effect Annotation
描述BPMN的模块流程关系
Cumulative Effects of Tasks/Activities
描述每个task的积累效应
Cumulative Effect Scenario
描述每个场景的情况
Logic
介绍一阶逻辑表示法
DMN&TDM
描述模型和被描述的BPMN模型
Process Mining
过程之间的关系
Business Process ComplianceFile
模式合规性检查
XML-based Representation
XML标记法描述BPMN模型
CMMN
离散的业务模型表示法
Petri Nets
有些互斥和临界资源需要Petri Nets来表示。