Abstract
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 (AS2s), which serves as a universal integrated model for data and software as services, we extend AS2s 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.
Similar content being viewed by others
References
Akkiraju R et al (2005) Web service semantics: WSDL-S. http://www.w3c.org/Submission/WSDL-S
Alonso, G (eds) et al (2003) Web services: concepts, architectures and applications. Springer, Berlin
Altenhofen M, Börger E, Lemcke J (2005) An abstract model for process mediation. In: Lau K-K, Banach R (eds) Formal methods and software engineering, 7th international conference on formal engineering methods (ICFEM 2005), vol 3785 of lecture notes in computer science. Springer, pp 81–95
Alves A et al (2007) Web services business process execution language, version 2.0 OASIS Standard Committee. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
Baader F (eds) et al (2003) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge
Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327–357
Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 285(5): 34–43
Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578–651
Börger E, Stärk R (2003) Abstract state machines. Springer, Berlin
Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147–159
Christensen E et al (2001) Web services description language (WSDL) 1.1. http://www.w3c.org/TR/wsdl
Cox W et al (2004) Web services transaction (WS-Transaction), BEA Systems, IBM, Microsoft. http://dev2dev.bea.com/pub/a/2004/01/ws-transaction.html
Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1.1, OASIS Web Services Transaction WS-TX TC. http://docs.oasis-open.org/ws-tx/wstx-wscoor1.1-spec.pdf
Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113–137
Fensel D et al (2007) Enabling semantic web services. Springer, Berlin
Guarino N (1998) Formal ontology and information systems. In: Proceedings FOIS’98. IOS Press, pp 3–15
Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77–111
Keller U, Lausen H, Stollberg M (2006) On the semantics of functional descriptions of web services. In: Proceedings of the 3rd European semantic web conference—ESWC 2006
Kozen D (1997) Kleene algebra with tests. ACM Trans Program Lang Syst 19(3): 427–443
Kumaran S et al (2007) Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Syst J 46(3): 513–530
Ma H, Schewe K-D, Thalheim B, Wang Q (2009) A theory of data-intensive software services. Serv Orient Comput Appl 3(4): 263–283
Ma H, Schewe K-D, Wang Q (2009) An abstract model for service provision, search and composition. In: Kirchberg M et al (eds) Services computing conference—APSCC 2009. IEEE Asia Pacific, pp 95–102
O’Sullivan J, Edmond D, Ter Hofstede A (2002) What is a service? Towards accurate description of non-functional properties. Distrib Parallel Databas 12(2–3): 117–133
Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389–415
Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147–188
Schewe K-D, Thalheim B (2006) Component-driven engineering of database applications. In: Stumptner M, Hartmann S, Kiyoki Y (eds) Conceptual modelling 2006—third Asia-Pacific conference on conceptual modelling (APCCM 2006), vol 53 of CRPIT. Australian Computer Society, pp 105–114
Schewe K-D, Wang Q (2010) A customised ASM thesis for database transformations. Acta Cybern 19(4): 765–805
Schewe K-D, Wang Q (2010) A formal model for service mediators. In: Trujillo J et al (eds) Advances in conceptual modeling—applications and challenges (ER 2010 workshops), vol 6413 of LNCS. Springer, pp 76–85
Simple object access protocol (SOAP). http://www.w3c.org/TR/soap
Stollberg M, Cimpian E, Mocan A, Fensel D (2006) A semantic web mediation architecture. In: Proceedings CSWWS 2006
Tanaka Y (2003) Meme media and meme market architectures. IEEE Press, Wiley-Interscience, USA
Universal description, discovery and integration (UDDI). http://www.uddi.org
Web ontology language (OWL). http://www.w3c.org//OWL/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ma, H., Schewe, KD., Thalheim, B. et al. A formal model for the interoperability of service clouds. SOCA 6, 189–205 (2012). https://doi.org/10.1007/s11761-012-0101-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11761-012-0101-7