DB-Nets:着色Petri网与关系数据库的融合
数据库
2016-11-14 v1
摘要
业务流程与主数据的集成管理正日益被学术界和工业界视为一个基本问题。在本立场论文中,我们关注该问题的基础,认为当代方法难以在数据相关与过程相关方面之间找到合适的平衡。随后我们提出db-nets,一种通过着色Petri网与关系数据库的融合来平衡这两大支柱的新形式化模型。我们邀请研究界在此模型基础上进行构建,并探讨其在建模、形式化验证与仿真方面的潜力。
引用
@article{arxiv.1611.03680,
title = {DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases},
author = {Marco Montali and Andrey Rivkin},
journal= {arXiv preprint arXiv:1611.03680},
year = {2016}
}