BPMN在描述逻辑中的形式化
人工智能
2021-09-23 v1
摘要
在本文中，我们基于OMG最新稳定的BPMN规范[BPMN 1.1版——2008年1月]，以描述逻辑的形式给出了BPMN本体论的文本描述，该本体论对业务流程建模符号(BPMN)的结构组件提供了清晰的语义形式化。本体的开发以BPMN规范附录B中所包含的完整BPMN元素属性与类型描述为指导。
引用
@article{arxiv.2109.10716,
title = {A formalisation of BPMN in Description Logics},
author = {Chiara Ghidini and Marco Rospocher and Luciano Serafini},
journal= {arXiv preprint arXiv:2109.10716},
year = {2021}
}