This paper mainly discusses the formalization description of Event-Condition-Action (ECA) rules and its application in workflow runtime control.
论文主要研究了事件—条件—动作(eca)规则的形式化描述及其在工作流运行控制中的应用。
It can well describe the role constraints using these transformation rules and formalization description methods, and helps to implement role assignment and composition.
使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系，有助于设计者实现角色的分配及组合。
A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.
USBD方法至关重要的方面是所确定的业务过程如何支持业务目标的描述和形式化。
A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.
USBD方法至关重要的方面是所确定的业务过程如何支持业务目标的描述和形式化。
应用推荐