Abstract
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questions: Do two Web services fit together in a way such that the composed system is deadlock-free? – the question of compatibility. Can one Web service be replaced by another while the remaining components stay untouched? – the question of equivalence. Can we reason about the soundness of one given Web service without considering the actual environment it will by used in?
This paper defines the notion of usability – an intuitive and locally provable soundness criterion for a given Web services. Based on this notion, this paper demonstrates how the other questions could be answered. The presented method is based on Petri nets, because this formalism is widely used for modeling and analyzing business processes. Due to the existing Petri net semantics for BPEL4WS – a language that is in the very act of becoming the industrial standard for Web service based business processes – the results are directly applicable to real world examples.
Chapter PDF
Similar content being viewed by others
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2002)
Andrews, Curbera, Dholakia, Goland, Klein, Leymann, Liu, Roller, Smith, Thatte, Trickovic, Weerawarana: BPEL4WS – Business Process Execution Language for Web Services. OASIS, Standard proposal, Version 1.1 (July 2002)
Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217. Springer, Heidelberg (1997)
Gottschalk, K.: Web Services architecture overview. In: IBM developerWorks, Whitepaper (September 2000), http://ibm.com/developerWorks
Grefen, P.W.P.J., Angelov, S.: Three-Level Process Specification for Dynamic Service Outsourcing. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472. Springer, Heidelberg (2003)
Hamadi, R., Benatallah, B.: A Petri Net based Model for Web Service Composition. In: Proc. of ADC 2003, Australian Computer Society, Inc (2003)
Kavantzas, B., Ritzinger, L.: Web Services Choreography Description Language. W3C Working Draft, Version 1.0 (October 2004)
Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workshop Applications – Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, p. 235. Springer, Heidelberg (2000)
Kreger, H.: WSCA – Web Services Conceptual Architecture. IBM Software Group, Whitepaper (2001), http://ibm.com/webservices/pdf/WSCA.pdf
Martens, A.: On compatibility of web services. Petri Net Newsletter 65, 12–20 (2003)
Martens, A.: On Usability of Web Services. In: Calero, Diaz, Piattini (eds.) Proc. of Intl. Conference Workshop WQW 2003, Rome, Italy (December 2003)
Martens, A.: Verteilte Geschäftsprozesse – Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, WiKu-Verlag Stuttgart (2004)
Martens, A.: Simulation and equivalence between bpel process models. In: Proc. of Intl. Conference DASD 2005, San Diego, California (April 2005)
Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)
Norta, A.: Web Supported Enactment of Petri-Net Based Workflows with XRL/flower. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 494–503. Springer, Heidelberg (2004)
Reisig, W.: Petri Nets. Springer, Heidelberg (1985)
Reisig, W.: Elements of Distributed Algorithms – Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
Schmidt, K., Stahl, C.: A Petri net semantic for BPEL. In: Kindler, E. (ed.) Proc. of 11th Workshop AWPN, October 2004, Paderborn University (2004)
Schmidt, K.: Explicit State Space Verification. Postdoctoral thesis, Humboldt-Universität zu Berlin (2002)
van der Aalst, W.M.P.: Modeling and Analyzing Interorganizational Workflows. In: Proc. of CSD 1998. IEEE Computer Society Press, Los Alamitos (1998)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P.: Interorganizational Workflows – An Approach based on MSC and Petri Nets. Systems Analysis - Modelling - Simulation 34(3) (1999)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: Yet another workflow language. Qut technical report, fit-tr-2003-04, Queensland University of Technology, Brisbane, Australia (2003)
van Glabbeek, R.J.: The Linear Time - Branching Time Spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458. Springer, Heidelberg (1990)
Web-Ontology Working Group. Ontology Web Language for Web Services. OWL-S 1.1 (November 2004)
Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for Business Processes. In: Proc. of EEE 2004. IEEE Computer Society, Los Alamitos (2004)
WOMBAT4eS. Workflow Modeling and Business Analysis Toolkit for Web Services. hompage, http://www.informatik.hu-berlin.de/top/wombat/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martens, A. (2005). Analyzing Web Service Based Business Processes. In: Cerioli, M. (eds) Fundamental Approaches to Software Engineering. FASE 2005. Lecture Notes in Computer Science, vol 3442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31984-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-31984-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25420-1
Online ISBN: 978-3-540-31984-9
eBook Packages: Computer ScienceComputer Science (R0)