Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)

A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules

Authors
Shan Zhou, Fangyu Zhang
Corresponding Author
Shan Zhou
Available Online May 2014.
DOI
10.2991/iccia.2012.155How to use a DOI?
Keywords
E-service, composition, linear logic, Workflow
Abstract

The paper proposes a method for semantic message matching in automatic service composition. It develops a framework in which the exported message description and behavior description of a service, and represents the behavior of a service with a finite state machine. Since the service interface definition can be represented by ontology concepts, the internal representation language enables us to define some issues required by service composition formally, qualitative and quantitative constraints plus reasoning on concepts, and the service behavior can be represented using linear logic formulas, so the inference rules of linear logic can check the match-ability and satisfy-ability of service message.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)
Series
Advances in Intelligent Systems Research
Publication Date
May 2014
ISBN
978-94-91216-41-1
ISSN
1951-6851
DOI
10.2991/iccia.2012.155How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Shan Zhou
AU  - Fangyu Zhang
PY  - 2014/05
DA  - 2014/05
TI  - A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules
BT  - Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)
PB  - Atlantis Press
SP  - 642
EP  - 645
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccia.2012.155
DO  - 10.2991/iccia.2012.155
ID  - Zhou2014/05
ER  -