Compositional Logical Semantics for Business Process Languages

  • Authors:

  • Mihhail Matskin;Riina Maigre;Enn Tyugu

  • Affiliations:

  • Royal Institute of Technology-KTH, Sweden;Institute of Cybernetics at TUT, Estonia;Institute of Cybernetics at TUT, Estonia

  • Venue:
  • ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
  • Year:
  • 2007

  • Stratified Composition of Web Services

    Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we propose a compositional logical semantics for business process languages to be used in automatic Web service composition. We introduce a concept of Higher Order Work Flow (HOWF) and use it for expressing control of business process. A precise semantics of HOWF enables us both to dynamically generate HOWF for automatic composition of services and to reason about the reachability of goals in process models when HOWF are described manually. Our semantics is general enough to cover different process languages; however, we mainly show its applicability in the context of OWL-S and BPEL.