语义增强型工件系统的验证（扩展版）
人工智能
2013-08-30 v1
摘要
近年来，以工件为中心的系统已成为一种合适的框架，通过结合静态和动态方面来建模与业务相关的实体。特别是，Guard-Stage-Milestone (GSM) 方法最近被提出，用于以声明式方式对工件及其生命周期进行建模。在本文中，我们利用一个完整的 OWL 2 QL 本体论并通过映射规范链接到工件信息模型，为 GSM 增强了语义层。该本体论提供了所研究领域的概念视图，并允许人们在更高的抽象层次上理解工件系统的演化。在此设定下，我们提出了一种在语义层上指定时间属性并根据底层 GSM 模型的演化对其进行验证的技术。该技术已在一个工具中实现，该工具利用最先进的基于本体论的数据访问技术，根据本体论和映射操作时间属性，并依赖 GSMC 模型检查器进行验证。
引用
@article{arxiv.1308.6292,
title = {Verification of Semantically-Enhanced Artifact Systems (Extended Version)},
author = {Babak Bagheri Hariri and Diego Calvanese and Marco Montali and Ario Santoso and Dmitry Solomakhin},
journal= {arXiv preprint arXiv:1308.6292},
year = {2013}
}