Modeling Web Service Behavior Based on Workflow Nets and Consume-Produce-Read Nets

Abstract:

To support automated service composition, adaptation and verification, there should be a formal model for web service behavior description. For the sake of accurately representing web service behavior, inspired by workflow nets and consume-produce-read nets, we propose a novel formal model for web service behavior description, which can not only describe the control flow, but also the data flow as well as the communication flow of the web service accurately. The model regards tokens, data and messages as control resources, data resources and communication resources and adopts completely different store-and-fetch strategies for each kind of resources respectively.

• Periodical: Key Engineering Materials (Volumes 467-469)
• Pages: 114-118
• DOI: https://doi.org/10.4028/www.scientific.net/KEM.467-469.114
• Online since: February 2011
• Authors: Guo Rong Cao, Q.P. Tan, Hao Wu
• Keywords: Consume-Produce-Read Nets, Service Adaptation, Service Composition, Service Verification, Web Service Behavior, Workflow Nets

References

[1] F. Bonchi, A. Brogi, S. Corfini and F. Gadducci, in: Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007), Tehran, Iran, April 17-19, 2007, (Editors) F. Arbab and M. Sirjani (2007), pp.240-256.

DOI: 10.1007/978-3-540-75698-9

[2] D.M. Yellin and R.E. Strom: ACM Transactions on Programming Languages and Systems, Vol. 19 (1997), p.292.

[3] Il-Hyung. Cho, J.D. McGregor and L. Krause, in: Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS'26), Santa Barbara, CA, August 3-7, 1998, IEEE Press (1998), pp.84-96.

DOI: 10.1109/tools.1998.711005

[4] J. Magee, J. Kramer and D. Giannakopoulou: Software Architecture, Vol. (1999), p.35.

[5] A. Bracciali, A. Brogi and C. Canal: Journal of Systems and Software, Vol. 74 (2005), p.45.

[6] A. Brogi, C. Canal and E. Pimentel: Science of Computer Programming, Vol. 63 (2006), p.39.

[7] A. Brogi, J. Camara, C. Canal, J. Cubo and E. Pimentel: Electronic Notes in Theoretical Computer Science, Vol. 175 (2007), p.81.

DOI: 10.1016/j.entcs.2007.03.005

[8] J. Camara, G. Salaun and C. Canal: Journal of Universal Computer Science, Vol. 14 (2008), p.2182.

[9] H. Rachid and B. Boualem: ACM International Conference Proceeding Series, Vol. 143 (2003), p.191.

[10] Z.Z. Qian, S.L. Lu and L. Xie: Chinese Journal of Computers, Vol. 29 (2006), p.1057.

[11] Z.L. Zhang, F. Hong and H.J. Xiao: Journal of Shanghai University, Vol. 12 (2008), p.323.

[12] A. Martens: Petri Net Newsletter, Vol. 65 (2003), p.12.

[13] Y.P. Yang, PhD thesis, Computer College of Computer Science, National University of Defense Technology, (2007).

[14] W.M.P. van der Aalst: LNCS, Vol. 1248 (1997), p.407.