This paper mainly discusses the formalization description of Event-Condition-Action (ECA) rules and its application in workflow runtime control.

论文主要研究了事件—条件—动作(eca)规则的形式化描述及其在工作流运行控制中的应用。

youdao

It can well describe the role constraints using these transformation rules and formalization description methods, and helps to implement role assignment and composition.

使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系，有助于设计者实现角色的分配及组合。

youdao

The description of the Discovery, Formalization and Realization phases suggest these alternative phases in the Spread aspect.

FORBES: Constellation Research Group's Maturity Model for Social Business