A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets

Wei Liu; Yu Yue Du; You Fu; Chun Yan

doi:10.4028/www.scientific.net/AMM.170-173.3570

Paper Titles

Computational Fluid Dynamics Simulation about the Impact of Products on a Cold Store
p.3550

Simulation Study of the Impact of Two-Stage Turbocharged System on Diesel Engine
p.3555

3D Numerical Simulation of Flow through a 90 Bending Square Duct
p.3560

BIM Application Research Based on Cloud Computing
p.3565

A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets
p.3570

Numerical Simulation and Numerical Differential Computation of Bending Deformation of Ground Surface
p.3575

Simulink Application in Structural Vibration Control and Simulation
p.3580

Dual-Interface Security Smart Card Based Secure Authentication Method of Remote Payment in E-Banking
p.3584

Prediction of Dynamic Impedances Functions Using an Artificial Neural Network (ANN)
p.3588

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 170-173A Formal Representation of Collaborative...

A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets

Abstract:

Combining the advantages of logical workflow nets and colored Petri nets, logical and colored workflow nets and collaborative logical and colored workflow nets are presented to facilitate the modeling of cooperative electronic commerce systems. The formal representation presented in this paper can not only describe the data objects, but also represent passing value indeterminacy and batch processing function of cooperative electronic commerce systems.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 170-173)

Pages:

3570-3574

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.170-173.3570

Citation:

Cite this paper

Online since:

May 2012

Authors:

Wei Liu, Yu Yue Du, You Fu, Chun Yan

Keywords:

Batch Processing Function, Color Sets, Logical Expression, Passing Value Indeterminacy

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] W.M.P. van der Aalst. Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Information and Management, 37(1), 67–75 ( 2000).

DOI: 10.1016/s0378-7206(99)00038-5

Google Scholar

[2] H.M.W. Verbeek , A.Hirnschall, and W.M.P. van der Aalst. XRL/flower: supporting inter-organizational workflows using XML/Petri-Net Technology. In: Proceedings of web services, e-business, and the semantic web, Toronto, Canada. London: Springer-Verlag, 93–108 (2002).

DOI: 10.1007/3-540-36189-8_8

Google Scholar

[3] W.M.P. van der Aalst. Inheritance of interorganizational workflows: how to agree to disagree without loosing control? Information Technology and Management, 4, 345–389 (2003).

Google Scholar

[4] O. Prisecaru, and T. Jucan. Interorganizational workflow nets: a Petri net based approach for modeling and analyzing interorganizational workflows. In: Proceedings of the 4th international workshop on enterprise and organizational modeling and simulation held in conjunction with the CAISE'08 conference, Montpellier, France. Berlin: Springer-Verlag, 64–78 (2008).

DOI: 10.5220/0002200700230032

Google Scholar

[5] Y.Y. Du, C.J. Jiang, and M.C. Zhou. Modeling and analysis of real-time cooperative systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics – Part A:systems and Humans, 37, 643–654 (2007).

DOI: 10.1109/tsmca.2007.902622

Google Scholar

[6] W. Liu, , Y.Y Du,. and C. Yan, Soundness preservation in composed logical time workflow nets. Enterprise Information System, 6(1), 95-113 (2012)

DOI: 10.1080/17517575.2011.617472

Google Scholar

[7] W. Liu, Y.Y. Du.. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets. Information Technology Journal, 8(6): 821-829 (2009)..

DOI: 10.3923/itj.2009.821.829

Google Scholar

[8] K.Jensen. Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use Volume 1,Basic Concepts. Monographs in Theoretical Computer Science. Berlin, Heidelberg, New York: Springer-Verlag,2nd corrected printing (1997).

DOI: 10.1145/164853.871713

Google Scholar

[9] K.Jensen. An Introduction to the Theoretical Aspects of Colored Petri Nets. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science, Springer-Verlag,803:230-272 (1994).

DOI: 10.1007/3-540-58043-3_21

Google Scholar