Title :
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
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;
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
DOI :
10.1109/TSMC.2014.2311392
