Transformation of Logical Workflow Nets

Author

Wei Liu ; YuYue Du ; Mengchu Zhou ; Chun Yan

Author_Institution

Coll. of Inf. Sci. & Eng., Shandong Univ. of Sci. & Technol., Qingdao, China

Volume

44

Issue

10

fYear

2014

fDate

Oct. 2014

Firstpage

1401

Lastpage

1412

Abstract

Interorganizational logical workflow nets (LWNs) are formally proposed to represent the cooperations across organizations in this paper. The LWN transformation means that each organization involved in the agreement converts its agreement-level model to detailed one. The soundness of the interorganizational LWNs is introduced and analyzed. The transformation rules of LWNs are presented. The detailed model of each organization can be investigated based on its agreement-level model and the transformation rules. The concepts and techniques proposed in this paper are illustrated with an example of online shopping in electronic commerce.

Keywords

Petri nets; electronic commerce; formal logic; organisational aspects; LWN transformation; agreement-level model; electronic commerce; interorganizational logical workflow nets; online shopping; transformation rules; Batch production systems; Cooperative systems; Cybernetics; Educational institutions; Organizations; System recovery; Cooperative system; Logical workflow nets (LWNs); Petri net (PN); e-commerce; transformation; transformation rules;

fLanguage

English

Journal_Title

Systems, Man, and Cybernetics: Systems, IEEE Transactions on

Publisher

ieee

ISSN

2168-2216

Type

jour

DOI

10.1109/TSMC.2014.2311392

Filename

6783727