63、混合过程模型的语义解析

混合过程模型的语义解析

1 引言

在过程建模中，混合模型已展现出其独特的价值。例如，在筛选拒绝申请的决策场景中，混合模型能直观地呈现过程的相关部分，助力发现错误，而声明式模型则需一系列约束条件，其相互作用对建模者而言并非一目了然。为避免讨论中的歧义，精确界定混合模型所代表的行为至关重要，这就需要提供形式化的语义。同时，形式化语义也有助于基于该方法创建建模、模拟、执行和分析工具。

2 形式化挑战

2.1 挑战识别

在形式化混合模型语义的过程中，我们遇到了诸多挑战，这些挑战源于对混合模型确切语义的深入探讨，以及对声明式/命令式过程建模语言相关方面的考量，具体如下：
- Q1 ：如何结合不同形式主义所做的开放和封闭世界假设？
- Q2 ：代表声明式子过程的转换何时被启用和/或触发？
- Q3 ：子过程上的约束何时被激活和/或满足？

为部分解决这些挑战，我们引入了上下文的概念。上下文确保了动作和子过程之间存在唯一映射，并且通过允许上下文包含比子过程中建模的更多动作，缩小了开放和封闭世界假设之间的差距。对于子过程的启用/触发和激活/满足相关挑战，我们通过对声明式和命令式过程模型的可能组合进行深入分析来解决，得出以下两个解决方案：
1. 声明式子过程的终止需要执行一个动作。
2. 对声明式约束中子过程否定的解释。

2.2 通过上下文缩小开放/封闭世界差距

Declare 的开放世界假设是我们遇到的首个挑战，即除非另有说明，否则一切都是允许的