Service Oriented Computing and Applications

, Volume 6, Issue 3, pp 189–205 | Cite as

A formal model for the interoperability of service clouds

  • Hui Ma
  • Klaus-Dieter Schewe
  • Bernhard Thalheim
  • Qing Wang
Original Research Paper


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.


Service cloud Abstract state service Service-oriented computing Service mediation Service ontology 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akkiraju R et al (2005) Web service semantics: WSDL-S.
  2. 2.
    Alonso, G (eds) et al (2003) Web services: concepts, architectures and applications. Springer, BerlinGoogle Scholar
  3. 3.
    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–95Google Scholar
  4. 4.
    Alves A et al (2007) Web services business process execution language, version 2.0 OASIS Standard Committee.
  5. 5.
    Baader F (eds) et al (2003) The description logic handbook: theory, implementation and applications. Cambridge University Press, CambridgeGoogle Scholar
  6. 6.
    Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327–357CrossRefGoogle Scholar
  7. 7.
    Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 285(5): 34–43CrossRefGoogle Scholar
  8. 8.
    Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578–651MathSciNetCrossRefGoogle Scholar
  9. 9.
    Börger E, Stärk R (2003) Abstract state machines. Springer, BerlinCrossRefGoogle Scholar
  10. 10.
    Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147–159CrossRefGoogle Scholar
  11. 11.
    Christensen E et al (2001) Web services description language (WSDL) 1.1.
  12. 12.
    Cox W et al (2004) Web services transaction (WS-Transaction), BEA Systems, IBM, Microsoft.
  13. 13.
    Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1.1, OASIS Web Services Transaction WS-TX TC.
  14. 14.
    Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113–137CrossRefGoogle Scholar
  15. 15.
    Fensel D et al (2007) Enabling semantic web services. Springer, BerlinGoogle Scholar
  16. 16.
    Guarino N (1998) Formal ontology and information systems. In: Proceedings FOIS’98. IOS Press, pp 3–15Google Scholar
  17. 17.
    Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77–111MathSciNetCrossRefGoogle Scholar
  18. 18.
    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 2006Google Scholar
  19. 19.
    Kozen D (1997) Kleene algebra with tests. ACM Trans Program Lang Syst 19(3): 427–443CrossRefGoogle Scholar
  20. 20.
    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–530CrossRefGoogle Scholar
  21. 21.
    Ma H, Schewe K-D, Thalheim B, Wang Q (2009) A theory of data-intensive software services. Serv Orient Comput Appl 3(4): 263–283Google Scholar
  22. 22.
    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–102Google Scholar
  23. 23.
    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–133MATHCrossRefGoogle Scholar
  24. 24.
    Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389–415CrossRefGoogle Scholar
  25. 25.
    Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147–188CrossRefGoogle Scholar
  26. 26.
    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–114Google Scholar
  27. 27.
    Schewe K-D, Wang Q (2010) A customised ASM thesis for database transformations. Acta Cybern 19(4): 765–805MathSciNetMATHGoogle Scholar
  28. 28.
    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–85Google Scholar
  29. 29.
    Simple object access protocol (SOAP).
  30. 30.
    Stollberg M, Cimpian E, Mocan A, Fensel D (2006) A semantic web mediation architecture. In: Proceedings CSWWS 2006Google Scholar
  31. 31.
    Tanaka Y (2003) Meme media and meme market architectures. IEEE Press, Wiley-Interscience, USACrossRefGoogle Scholar
  32. 32.
    Universal description, discovery and integration (UDDI).
  33. 33.
    Web ontology language (OWL).

Copyright information

© Springer-Verlag London Limited 2012

Authors and Affiliations

  • Hui Ma
    • 1
  • Klaus-Dieter Schewe
    • 2
    • 3
  • Bernhard Thalheim
    • 4
  • Qing Wang
    • 5
  1. 1.School of Engineering and Computer ScienceVictoria University of WellingtonWellingtonNew Zealand
  2. 2.Software Competence Center HagenbergHagenbergAustria
  3. 3.Christian-Doppler Laboratory for Client-Centric Cloud ComputingJohannes-Kepler UniversityHagenbergAustria
  4. 4.Department of Computer ScienceChristian Albrechts University KielKielGermany
  5. 5.Department of Information ScienceUniversity of OtagoDunedinNew Zealand

Personalised recommendations