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

计 算 机 学 报 2012 年5 月 CHINESE JOURNAL OF COMPUTERS 语义标识的过程模型的可执行性分析 龚 平 蒋建明 张 仕 (福建师范大学计算机系, 福州 350007) 摘 要 语义标识的过程模型是基于领域本体对过程模型中活动的前置条件效果进行标识后所产生的模型。语义过程模 型能提高过程模型的可读性和可复用性，有利于过称模型基于 Web 服务组合的实现同时能够进行有效的一致性分析。语义 过程模型的可执行性问题，即是否过程模型中的每个活动当其被触发时该活动的前置条件都是可满足的，是确保语义过程模 型质量的核心问题同时已被证明是一个 co-NP 难问题。为了解决该问题，基于关联变量集模型定义了语义过程模型的动态 语义；定义了该动态语义的命题公式的编码规则；提出了基于可满足性求解器的可执行性分析方法；该方法能判定可执行性 问题同时当模型不满足可执行性时能反馈出有问题的活动；此外，实现了相应的原型工具SPMT，该