面向服务软件工程

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来表示。