Title :
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
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;
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
DOI :
10.1109/ICIW.2007.24
