TY - JOUR
T1 - A formal model for the interoperability of service clouds
AU - Ma, Hui
AU - Schewe, Klaus Dieter
AU - Thalheim, Bernhard
AU - Wang, Qing
PY - 2012/9
Y1 - 2012/9
N2 - Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a "service cloud", the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS 2s), which serves as a universal integrated model for data and software as services, we extend AS 2s by high-level action schemes called "plots" as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.
AB - Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a "service cloud", the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS 2s), which serves as a universal integrated model for data and software as services, we extend AS 2s by high-level action schemes called "plots" as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.
KW - Abstract state service
KW - Service cloud
KW - Service mediation
KW - Service ontology
KW - Service-oriented computing
UR - http://www.scopus.com/inward/record.url?scp=84865604756&partnerID=8YFLogxK
U2 - 10.1007/s11761-012-0101-7
DO - 10.1007/s11761-012-0101-7
M3 - Article
SN - 1863-2386
VL - 6
SP - 189
EP - 205
JO - Service Oriented Computing and Applications
JF - Service Oriented Computing and Applications
IS - 3
ER -