5、声明式流程建模技术：Hi - DCR图与目标分支Declare约束探索

声明式流程建模技术：Hi - DCR图与目标分支Declare约束探索

1. Hi - DCR图原型工具实现

为了进行实验，开发了一个用于处理Hi - DCR图的原型工具。该工具具有以下特点：
- 功能特性 ：
- 具备模拟引擎，能够执行转换操作，还能使用无约束组合和细化进行动态重新配置。
- 对于有限状态图，可执行基本的模型检查任务，如查找导致死锁、终止、接受或某些事件启用的路径。
- 输入格式 ：与其他部分以图形表示DCR图不同，该工具输入的是文本表示。例如，以下是一个示例的文本表示：

"Other review"
1
"Lawyer review"
2
-->* "Review report"
3
-->* ("Accept" "Reject")
4
-->% !"Decision"
5
"Decision" -->* "Decision"
6
("Accept" "Reject") -->% "Decision"
7
("Accept" "Reject")
8
*--> "Update report"
9
10
/("Other review" "Lawyer review"
11
"Review report"
12
"Accept" "Reject" "Decision")
13

在这个表示中，默认所有事件都是接口事件，本地事件通过在前面加斜杠‘/’指定（第11 - 13行）。事件还可以加前缀‘+’、‘%’和‘!’，分别表示初始包含、