Compositional Logical Semantics for Business Process Languages

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mihhail Matskin Articles by Riina Maigre Articles by Enn Tyugu

Second International Conference on Internet and Web Applications and Services (ICIW'07)

Morne, Mauritius

May 13-May 19

ISBN: 0-7695-2844-9

	ASCII Text	x
	Mihhail Matskin, Riina Maigre, Enn Tyugu, "Compositional Logical Semantics for Business Process Languages," Internet and Web Applications and Services, International Conference on, pp. 38, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007.

	BibTex	x
	@article{ 10.1109/ICIW.2007.24, author = {Mihhail Matskin and Riina Maigre and Enn Tyugu}, title = {Compositional Logical Semantics for Business Process Languages}, journal ={Internet and Web Applications and Services, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2844-9}, pages = {38}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.24}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Internet and Web Applications and Services, International Conference on TI - Compositional Logical Semantics for Business Process Languages SN - 0-7695-2844-9 SP EP A1 - Mihhail Matskin, A1 - Riina Maigre, A1 - Enn Tyugu, PY - 2007 KW - null VL - 0 JA - Internet and Web Applications and Services, International Conference on ER -

Mihhail Matskin, Royal Institute of Technology-KTH, Sweden

Riina Maigre, Institute of Cybernetics at TUT, Estonia

Enn Tyugu, Institute of Cybernetics at TUT, Estonia

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.24

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.

Citation:

Mihhail Matskin, Riina Maigre, Enn Tyugu, "Compositional Logical Semantics for Business Process Languages," iciw, pp.38, Second International Conference on Internet and Web Applications and Services (ICIW'07), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.