Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Compositional Logical Semantics for a Business Process Language
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.ORCID iD: 0000-0002-4722-0823
2007 (English)In: ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services, 2007Conference paper, Published paper (Refereed)
Abstract [en]

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
2007.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-81133DOI: 10.1109/ICIW.2007.24Scopus ID: 2-s2.0-34548795979ISBN: 0-7695-2844-9-07 (print)OAI: oai:DiVA.org:kth-81133DiVA: diva2:497149
Conference
Second International Conference on Internet and Web Applications and Services, 2007. ICIW '07, Le Morne, Mauritius
Note
QC 20120307Available from: 2012-02-10 Created: 2012-02-10 Last updated: 2012-03-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Matskin, Mihhail

Search in DiVA

By author/editor
Matskin, Mihhail
By organisation
Software and Computer Systems, SCS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 17 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf