Modeling and monitoring of E-commerce workflows

Information Sciences

Volumn 179, Issue 7, 2009, Pages 995-1006

  Du, YuYue ^a   Jiang, ChangJun ^b   Zhou, MengChu ^c,d   Fu, You ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d XIDIAN UNIVERSITY   (China)

Author keywords

Electronic commerce workflow; Labeled workflow net; Modeling; Monitoring; Soundness

Indexed keywords

COMMERCE; GRAPH THEORY; INFORMATION THEORY; INTERNET; MANAGEMENT; MARINE BIOLOGY; PAPER; PETRI NETS;

COMMERCIAL TRANSACTIONS; COOPERATIVE ACTIVITIES; DYNAMIC BEHAVIORS; E COMMERCES; FORMAL MODELS; INTERNET APPLICATIONS; INTERORGANIZATIONAL WORK FLOWS; LABELED WORKFLOW NET; MODELING; NONBLOCKING; SOUNDNESS; WORKFLOWS;

ELECTRONIC COMMERCE;

EID: 58249122331     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2008.11.025     Document Type: Article

References (30)

1. van der Aalst W.M.P. Verification of Workflow Nets. Lecture Notes in Computer Science LNCS 1248 (1997), Springer, Berlin, Germany pp. 407-426
2. van der Aalst W.M.P. Interorganisational workflows: an approach based on message sequence charts and Petri nets. Systems Analysis-Modelling-Simulation 34 3 (1999) 335-367
3. van der Aalst W.M.P. Loosely coupled interorganisational workflows: modeling and analyzing workflows crossing organizational boundaries. Information and Management 37 1 (2000) 67-75
4. van der Aalst W.M.P., and Basten T. Inheritance of workflows: an approach to tackling problems related to change. Theoretical Computer Science 270 1-2 (2002) 125-303
5. Anderson B.B., Hansen J.V., Lowry P.B., and Summers S.L. Model checking for E-business control and assurance. IEEE Transactions on Systems, Man, and Cybernetics - Part C: Application and Reviews 35 3 (2005) 445-450
6. Bashirov R., and Crespi V. Analyzing permutation capability of multistage interconnection networks with colored Petri nets. Information Sciences 176 (2006) 3143-3165
7. D. Bolignano, Towards the formal verification of electronic commerce protocols, in: Proceedings of the 10th Computer Security Fundations Workshop, IEEE Computer Society Press, 1997, pp. 133-146.
8. Chebbi I., Dustdar S., and Tata S. The view-based approach to dynamic inter-organizational workflow cooperation. Data and Knowledge Engineering 56 (2006) 139-173
9. Cicekli N.K., and Cicekli I. Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176 (2006) 2227-2267
10. F. Crazzolara, G. Winskel, Language, semantics, and methods for cryptographic protocols, BRICS RS-00-18, Department of Computer Science, University of Aarhus, BRICS Report Series Publication, August 2000.
11. Du Y.Y., and Jiang C.J. Towards a Workflow Model of Real-Time Cooperative Systems. Lecture Notes in Computer Science vol. 2885 (2003), Springer-Verlag, Berlin, Heidelberg pp. 452-470
12. Du Y.Y., and Jiang C.J. Verifying functions in online stock trading systems. Journal of Computer Science and Technology 19 2 (2004) 203-212
13. Du Y.Y., and Jiang C.J. A formal approach for obligation analysis of E-commerce. Chinese Journal of Electronics 17 2 (2008) 200-204
14. Y.Y. Du, C.J. Jiang, M.C. Zhou, A Petri net-based model for verification of obligations and accountability in cooperative systems, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2009, in press.
15. Grimm R., and Ochsenschlager P. Binding telecooperation - a formal model for electronic commerce. Computer Networks 37 2 (2001) 171-193
16. Hruz B., and Zhou M.C. Modeling and Control of Discrete Event Dynamic Systems (2007), Springer, London, UK
17. Kailar R. Accountability in electronic commerce protocols. IEEE Transactions on Software Engineering 22 5 (1996) 313-328
18. R.M. Lee, Automatic generation of electronic procedures: procedure constraint grammars, in: Proceedings of the Eleventh International Electronic Commerce Conference, Bled, Slovenia, June 1998, pp. II:49-85.
19. Lin F., and Wonham W.M. Verification of nonblocking in decentralized supervision. Control Theory and Advanced Technology 7 1 (1991) 19-29
20. A. Pereira, M. Song, G. Gorgulho, W.M. Jr., S. Campos, A formal methodology to specify E-commerce systems, in: Lecture Notes in Computer Science LNCS, vol. 2495, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 180-191.
21. Qiu R., and Zhou M.C. Mighty MESs: state-of-the-art and future manufacturing execution systems. IEEE Robotics and Automation Magazine 11 1 (2004) 19-25 40
22. Wu N., and Zhou M.C. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Part B 35 6 (2005) 1193-1202
23. Wu N., and Zhou M.C. Deadlock resolution in automated manufacturing systems with robots. IEEE Transactions on Automation Science and Engineering 4 3 (2007) 474-480
24. Wu N., Zhou M.C., and Chu F. A Petri net based heuristic algorithm for realizability of target refining schedules in oil refinery. IEEE Transactions on Automation Science and Engineering 5 4 (2008) 661-676
25. Wu N., Zhou M.C., and Li Z. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38 1 (2008) 56-69
26. Xiong P.C., Fan Y.S., and Zhou M.C. QoS-aware Web service configuration. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38 4 (2008) 888-895
27. Zhang C., Zhou M.C., and Yu M. Ad hoc network routing and security: a review. International Journal of Communication Systems 20 8 (2007) 909-925
28. Zhu H., and Zhou M.C. Role-based collaboration and its kernel mechanisms. IEEE Transactions on Systems, Man and Cybernetics, Part C 36 4 (2006) 578-589
29. Zhu H., Zhou M.C., and Seguin P. Supporting software development with role. IEEE Transactions on Systems, Man and Cybernetics, Part A 36 6 (2006) 1110-1123
30. Zhu H., and Zhou M.C. Roles in information systems: a survey. IEEE Transactions on Systems, Man, and Cybernetics: Part C 38 3 (2008) 377-396