Compositional Logical Semantics for Business Process Languages

Author

Matskin, Mihhail ; Maigre, Riina ; Tyugu, Enn

Author_Institution

R. Inst. of Technol., KTH - R. Inst. of Technol., Stockholm

fYear

2007

fDate

13-19 May 2007

Firstpage

38

Lastpage

38

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 OWLS and BPEL.

Keywords

Web services; programming language semantics; BPEL; OWLS; automatic Web service composition; business process languages; compositional logical semantics; higher order work flow; Automatic control; Automatic logic units; Cybernetics; Process control; Thickness control; Web and internet services; Web services; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on

Conference_Location

Morne

Print_ISBN

0-7695-2844-9

Electronic_ISBN

0-7695-2844-9

Type

conf

DOI

10.1109/ICIW.2007.24

Filename

4222940