Abstract
Enacting cross-organizational business processes requires critical support for long-running and complex interactions involving multiple participants. The Web Services Choreography Description Language (WS-CDL) aims at facilitating just that, by providing means to describe correlated message exchanges among services geared towards achieving a business goal. While WS-CDL specifications are machine-readable documents, they do not necessarily allow developers to determine—by direct inspection—whetheror not the patterns of message exchanges they stipulate do indeed describethe intended service behavior. In this research paper, we show how Colored Petri Nets (CPN) can be used to analyze WS-CDL documents in order to identify faults in the specification. We have developed a research prototype that assists in the creation of a CPN model from a given WS-CDL document. The CPN model generated is then analyzed using the formal verification environment and simulation capability provided by CPN-Tools. We provide a discussion on the analysis of an example WS-CDL document using this approach, as well as on the advantages and limitations of using CPN for analyzing WS-CDL specifications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hohpe, G.: Let’s Have a Conversation. IEEE Internet Computing 11, 78–81 (2007)
Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for Business Process Integration. In: IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 65–74. IEEE Computer Society, Los Alamitos (2002)
Umapathy, K.: From Service Conversation Models to WS-CDL. In: Americas Conference on Information Systems (AMCIS). Association for Information Systems (AIS), Atlanta (2009)
Pi4 Technologies Foundation, http://pi4soa.sourceforge.net/
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1995)
CPN Group, University of Aarhus, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
OASIS, http://www.oasis-open.org/committees/download.php/23964/wsbpel-v2.0-primer.htm
Fredlund, L.-Å.: Implementing WS-CDL. In: Spanish Workshop on Web Technologies. University of Santiago de Compostela, Santiago de Compostela, Spain (2006)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 9, 213–254 (2007)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)
Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML, Revised edition. The MIT Press, Cambridge (1997)
Liu, R., Bhattacharya, K., Wu, F.: Modeling Business Contexture and Behavior Using Business Artifacts. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 324–339. Springer, Heidelberg (2007)
Ha, S., Suh, H.-W.: A timed colored Petri nets modeling for dynamic workflow in product development process. Computers in Industry 59, 193–209 (2008)
Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using Colored Petri Nets for Conversation Modeling. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 178–192. Springer, Heidelberg (2000)
Denaro, G., Pezzè, M.: Petri Nets and Software Engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 439–466. Springer, Heidelberg (2004)
Zhang, P., Li, B., Muccini, H., Zhou, Y., Sun, M.: Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. In: IEEE International Conference on Web Services, pp. 752–753. IEEE, Los Alamitos (2008)
Xiangpeng, Z., Hongli, Y., Chao, C., Xiwu, D., Zongyan, Q.: Verification of WS-CDL Choreography. In: Asian Working Conference on Verified Software. UNU-IIST, Macao SAR, China (2006)
Pu, G., Shi, J., Wang, Z., Jin, L., Liu, J., He, J.: The Validation and Verification of WSCDL. In: Asia-Pacific Software Engineering Conference, pp. 81–88. IEEE, Los Alamitos (2007)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: International Conference on Internet and Web Applications and Services. IEEE Computer Society, Los Alamitos (2006)
Decker, G., Zaha, J., Dumas, M.: Execution Semantics for Service Choreographies. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 163–177. Springer, Heidelberg (2006)
Díaz, G., Cambronero, M.E., Pardo, J.J., Valero, V., Cuartero, F.: Model Checking Techniques applied to the design of Web Services. CLEI Electronic Journal 10, 2–14 (2007)
Yang, Y., Tan, Q., Xiao, Y., Yu, J., Liu, F.: Exploiting hierarchical CP-nets to increase the reliability of Web services workflow. In: International Symposium on Applications and the Internet (SAINT), p. 7. IEEE, Los Alamitos (2006)
Li, Y., Ye, L., Dague, P., Melliti, T.: A Decentralized Model-Based Diagnosis for BPEL Services. In: IEEE International Conference on Tools with Artificial Intelligence, pp. 609–616. IEEE Computer Society, Los Alamitos (2009)
Huang, Y., Xu, C., Wang, H., Yunn, X., Zhu, J., Zhu, C.: Formalizing Web Service Choreography Interface. In: International Conference on Advanced Information Networking and Applications Workshops, pp. 576–581. IEEE Computer Society, Los Alamitos (2007)
Deng, X., Lin, Z., Cheng, W., Xiao, R., Li, L., Fang, L.: Modeling and verifying web service composition using colored petri nets based on WSCI. In: IEEE International Conference on Industrial Engineering and Engineering Management, pp. 1863–1867. IEEE, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caliz, E., Umapathy, K., Sánchez-Ruíz, A.J., Elfayoumy, S.A. (2011). Analyzing Web Service Choreography Specifications Using Colored Petri Nets. In: Jain, H., Sinha, A.P., Vitharana, P. (eds) Service-Oriented Perspectives in Design Science Research. DESRIST 2011. Lecture Notes in Computer Science, vol 6629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20633-7_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-20633-7_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20632-0
Online ISBN: 978-3-642-20633-7
eBook Packages: Computer ScienceComputer Science (R0)