ANALYSIS AND RE-ENGINEERING OF WEB SERVICES

Axel Martens

2004

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.

References

  1. BEA, IBM, Microsoft, and SAP (2002). BPEL4WS- Business Process Execution Language for Web Services. Version 1.1.
  2. Gottschalk, K. (2000). Web Services architecture overview. IBM developerWorks, Whitepaper. http://ibm. com/developerWorks.
  3. Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, (65):12-20.
  4. Martens, A. (2003b). WOMBAT4WS- Work ow Modeling and Business Analysis Toolkit for Web Services. Humboldt-Universität zu Berlin, Manual. http://www.informatik.hu-berlin. de/top/wombat.
  5. Martens, A. (to appear 2004). Verteilte Geschäftsprozesse - Modellierung und Veri kation mit Hilfe von Web Services. PhD thesis, Humboldt-Universität zu Berlin.
  6. Reisig, W. (1985). Petri Nets. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, eatcs monographs on theoretical computer science edition.
  7. van der Aalst, W. M. P. (1998a). The application of petri nets to work ow management. Journal of Circuits, Systems and Computers, 8(1):21-66.
  8. van der Aalst, W. M. P. (1998b). Modeling and analyzing interorganizational work ows. In Lavagno, L. and Reisig, W., editors, Proceedings of CSD'98, pages 262-272. IEEE Computer Society Press, Fukushima, Japan.
Download


Paper Citation


in Harvard Style

Martens A. (2004). ANALYSIS AND RE-ENGINEERING OF WEB SERVICES . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 419-426. DOI: 10.5220/0002606804190426


in Bibtex Style

@conference{iceis04,
author={Axel Martens},
title={ANALYSIS AND RE-ENGINEERING OF WEB SERVICES},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={419-426},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002606804190426},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - ANALYSIS AND RE-ENGINEERING OF WEB SERVICES
SN - 972-8865-00-7
AU - Martens A.
PY - 2004
SP - 419
EP - 426
DO - 10.5220/0002606804190426