Abstract
Composite Web services technologies are widely used due to their ability to provide interoperability among services from different companies. Web services are usually stateless, which means that no state is stored from the clients viewpoint. However, some new applications and services require to capture the state of some resources after each computation. Thus, new standards to model Web services states have emerged e.g. Web Services Resource Framework (WSRF). In this paper, we present a formal model based on WS-BPEL and WSRF, and we provide a prioritised-timed coloured Petri net semantics for it. This semantics captures the main activities of WS-BPEL, but we also consider other important aspects, both from WS-BPEL and WSRF, such as fault handling, resource management, time-outs and a publish-subscribe system.
Research partially supported by projects TIN2009-14312-C02-02 and TIN2012-36812-C02-02.
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
References
Andrews, T., et al.: BPEL4WS - Business Process Execution Language for Web Services, Version 1.1 (2003). http://www.ibm.com/developerworks/library/specification/ws-bpel/
Banks, T.: Web Services Resource Framework (WSRF) - Primer, OASIS (2006)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)
CPNTools website. http://cpntools.org/
Czajkowski, K., Ferguson, D., Foster, I., Frey, J., Graham, S., Sedukhin, I., Snelling, D., Tuecke, S., Vambenepe, W.: The WS-Resource Framework Version 1.0 (2004). http://www.globus.org/wsrf/specs/ws-wsrf.pdf
Dragoni, N., Mazzara, M.: A formal semantics for the WS-BPEL recovery framework. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 92–109. Springer, Heidelberg (2010)
Lohmann, N.: A feature-complete petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)
Ezenwoye, O., Sadjadi, S.M., Cary, A., Robinson, M.: Orchestrating WSRF-based GridServices. Technical report FIU-SCIS-2007-04-01 (2007)
Farahbod, R., Glässer, U., Vajihollahi, M.; A formal semantics for the business process execution language for Web services. In: Joint Workshop on Web Services and Model-Driven Enterprise Information Services (WSMDEIS), pp. 122–133 (2005)
Foster, I., Frey, J., Graham, S., Tuecke, S., Czajkowski, K., Ferguson, D., Leymann, F., Nally, M., Storey, T., Weerawaranna, S.: Modeling Stateful Resources with Web Services, Globus Alliance (2004)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Leyman, F.: Choreography for the grid: towards fitting BPEL to the resource framework. J. Concurrency Comput. Pract. Exp. 18(10), 1201–1217 (2006)
Mateo, J.A., Valero, V., Díaz, G.: An operational semantics of BPEL orchestrations integrating Web services resource framework. In: Carbone, M., Petit, J.-M. (eds.) WS-FM 2011. LNCS, vol. 7176, pp. 79–94. Springer, Heidelberg (2012)
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2–3), 162–198 (2007)
Qiu, Z., Wang, S.-L., Pu, G., Zhao, X.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 350–365. Springer, Heidelberg (2005)
Slomiski, A.: On using BPEL extensibility to implement OGSI and WSRF grid workflows. J. Concurrency Comput. Pract. Exp. 18, 1229–1241 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Mateo, J.A., Valero, V., Macià, H., Díaz, G. (2015). A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. In: Canal, C., Idani, A. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science(), vol 8938. Springer, Cham. https://doi.org/10.1007/978-3-319-15201-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-15201-1_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15200-4
Online ISBN: 978-3-319-15201-1
eBook Packages: Computer ScienceComputer Science (R0)