语义标识的过程模型的可执行性分析

摘要

语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型能提高过程模型的可读性和可复用性,有利于过称模型基于Web服务组合的实现同时能够进行有效的一致性分析.语义过程模型的可执行性问题,即是否过程模型中的每个活动当其被触发时该活动的前置条件都是可满足的,是确保语义过程模型质量的核心问题同时已被证明是一个co-NP难问题.为了解决该问题,基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.