保持健全性的同步与异步交互工作流网组件组合
计算机科学中的逻辑
2022-08-03 v4
摘要
本文提出一种组合方法，由交互组件的正确模型构造信息系统的正确形式化模型。组件行为用工作流网（Petri 网的一类）表示。组件间的交互编码于一个附加的接口网中。所提方法用于建模并组合同步与异步交互的工作流网。利用 Petri 网态射及其性质，我们证明了交互工作流网的组合保持组件与接口的正确性。
引用
@article{arxiv.2001.08064,
title = {Soundness-preserving composition of synchronously and asynchronously interacting workflow net components},
author = {Luca Bernardinello and Irina Lomazova and Roman Nesterov and Lucia Pomello},
journal= {arXiv preprint arXiv:2001.08064},
year = {2022}
}