DKE Service Modeling and Composition


Description E-business processes are typically developed by composing internal processes and external processes offered by service providers. Whereas e-service integration has received considerable interest recently, the relationship between the behavior of the composite process and the behavior of the constituting service processes has not yet been thoroughly investigated.

It is natural to expect that the behaviors of the composite process and the service processes are related as follows:

  1. The composite process synchronizes the execution of activities from different service processes.
  2. The composite process provides a complete overview of the service processes in that business transactions can be tracked ("observed") over their entire life time across all services.
  3. If an activity can be invoked according to the composite process, it can be successfully invoked in the respective service process.
  4. The description of the composite process, focussing on coordination, abstracts from local details as far as possible.

Based on these requirements, the projects deals with the following problems:

  • Introduction of formal correctness criteria for business-process composition
  • Introduction of algorithms for composition based on the correctness criteria
  • Workbench for translating existing service processes into a conceptual service definition language and for monitoring and controlling the execution of business cases according to the composite business process
Duration 01/2002-04/2005
Members o. Univ.-Prof. Dr. Michael Schrefl
Dr. Günter Preuner
Mag. Christian Eichinger
Publications
  • G. Preuner, M. Schrefl. Integration of Web-Services into Workflows through a Multi-Level Schema Architecture
    In: Proceedings of the 4th IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2002), Newport Beach, Calif., U.S.A., June 26-28, 2002, IEEE Computer Society Press, pp. 51-60, 2002 (paper no. Preu02a, Abstract).
  • G. Preuner, M. Schrefl. Behavior-consistent Composition of Business Processes From Internal and External Services
    In: Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2002) held in conjunction with the 21st International Conference on Conceptual Modeling (ER 2002), October 7-11, 2002, Tampere, Finnland, Springer Verlag, Lecture Notes in Computer Science (LNCS 2784), 2003 (paper no. Preu02b, Abstract).
  • G. Preuner, C. Eichinger, M. Schrefl. Static-Dynamic Integration of External Services into Generic Business Processes.
    In: M. Bouzeghoub, C. Goble, V. Kashyap, S. Spaccapietra (eds.): Proceedings of the 1st International Conference on Semantics of a Networked World - Semantics for Grid Databases (IC-SNW 2004), Paris, France, June 17-19, 2004 (paper no. Preu04a, Abstract).
  • G. Preuner, M. Schrefl. Requester-centered composition of business processes from internal and external services. Data & Knowledge Engineering, Special Issue on Collaborative Business Process Technologies, vol. 52, no. 1, 2005 (paper no. Preu05a, Abstract).
Diploma theses S. Scharinger: B2L: A translator for service processes from BPEL for Web Services to Labeled Behavior Diagrams, 2005
R. Spitzbart: Prototyp zur Integration und Simulation von Service-Prozessen
G. Tonkov: LBD Builder: A Tool for Design and Composition of Business Processes, 2003
S. Wolschlager: Comparison of XML-based languages for the definition of web services, 2004