Abstract
To an increasing extend software systems are integrated across the borders of individual enterprises. The Web service approach provides group of technologies to describe components and their composition, based on well established protocols. Focused on business processes, one Web service implements a local subprocess. A distributed business processes is implemented by the composition a set of communicating Web services.
At the moment, there are various modeling languages under development to describe the internal structure of one Web service and the choreography of a set of Web services. Nevertheless, there is a need for methods for stepwise construction and verification of such components.
This paper abstracts from concrete syntax of any proposed language definition. Instead, we apply Petri nets to model Web services. Thus, we are able to reason about essential properties, e. g. usability of a Web service — our notion of a quality criterion. Based on this framework, we present an algorithm to analyze a given Web service and to transfer a complex process model into a appropriate model of a Web service.
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
BEA, IBM, Microsoft, and SAP (2002). BPEL4WS— Business Process Execution Language for Web Services. Version 1.1.
Gottschalk, K. (2000). Web Services architecture overview. IBM developerWorks, Whitepaper. http://ibm.com/developerWorks.
Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, (65):12–20.
Martens, A. (2003b). Wombat4ws — Workflow Modeling and Business Analysis Toolkit for Web Services. Humboldt-Universität zu Berlin, Manual. http://www.informatik.hu-berlin.de/top/wombat.
Martens, A. (to appear 2004). Verteilte Geschäftsprozesse — Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universität zu Berlin.
Martens, A., Stahl, C., Weinberg, D., Fahland, D., and Heidinger, T. (2004). BPEL4WS— Semantik, Analyse und to workflow management. Journal of Circuits, Universität zu Berlin.
Reisig, W. (1985). Petri Nets. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, eatcs monographs on theoretical computer science edition.
van der Aalst, W. M. P. (1998a). The application of petri netsVisualisierung. Informatik-Bericht, Humboldt-Systems and Computers, 8(1):21–66.
van der Aalst, W. M. P. (1998b). Modeling and analyzing interorganizational workflows. In Lavagno, L. and Reisig, W., editors, Proceedings of CSD’98, pages 262–272. IEEE Computer Society Press, Fukushima, Japan.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Martens, A. (2006). Analysis and Re-Engineering of Web Services. In: Seruca, I., Cordeiro, J., Hammoudi, S., Filipe, J. (eds) Enterprise Information Systems VI. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3675-2_20
Download citation
DOI: https://doi.org/10.1007/1-4020-3675-2_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3674-3
Online ISBN: 978-1-4020-3675-0
eBook Packages: Computer ScienceComputer Science (R0)