Compositional Logical Semantics for a Business Process Language
2007 (English)In: ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services, 2007Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-81133DOI: 10.1109/ICIW.2007.24ScopusID: 2-s2.0-34548795979ISBN: 0-7695-2844-9-07OAI: oai:DiVA.org:kth-81133DiVA: diva2:497149
Second International Conference on Internet and Web Applications and Services, 2007. ICIW '07, Le Morne, Mauritius
QC 201203072012-02-102012-02-102012-03-07Bibliographically approved