Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

被引：0

作者：

Bernardinello, Luca ^{[1
]}

Lomazova, Irina ^{[2
]}

Nesterov, Roman ^{[1
,2
]}

Pomello, Lucia ^{[1
]}

机构：

[1] Univ Milano Bicocca, Viale Sarca 336-Edifino U14, I-20126 Milan, Italy

[2] HSE Univ, 11 Pokrovskiy Blvd, Moscow 101000, Russia

来源：

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING | 2023年 / 179卷

关键词：

Workflow nets; Interaction; Soundness; Morphisms; Composition; PETRI NETS; SYSTEMS; CONSTRUCTION; REFINEMENT;

D O I：

10.1016/j.jpdc.2023.04.005

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions among components are encoded in an additional interface net. The proposed approach is used to model and compose synchronously and asynchronously interacting workflow nets. Using Petri net morphisms and their properties, we prove that the composition of interacting workflow nets preserves the correctness of components and of an interface.(c) 2023 Elsevier Inc. All rights reserved.

引用

页数：12

共 38 条

[1]

Baldan P., 2001, CONCUR 2001 - Concurrency Theory. 12th International Conference. Proceedings (Lecture Notes in Computer Science Vol.2154), P502

[2]

Bednarczyk MA, 2003, LECT NOTES COMPUT SC, V2679, P140

[3]

Bernardinello Luca, 2022, Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science, Transactions on Petri Nets and Other Models of Concurrency (13220), P1, DOI 10.1007/978-3-662-65303-6_1

[4]

Bernardinello L., 2018, P ATAED 2018 CEUR WO, V2115, P23

[5]

Bernardinello L, 2007, FUND INFORM, V80, P31

[6]

Bernardinello L, 2022, Arxiv, DOI arXiv:2001.08064

[7]

Bernardinello L, 2013, LECT NOTES COMPUT SC, V8100, P48

[8]

BEST E, 1992, LECT NOTES COMPUT SC, V609, P21

[9]

Cardinale Yudith, 2013, Resource Discovery. 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012. Revised Selected Papers: LNCS 8194, P83, DOI 10.1007/978-3-642-45263-5_5

[10]

De Cindo F., 1982, APPL THEORY PETRI NE, V52, P269

← 1 2 3 4 →