Requirements and Method for Assessment of Service Interoperability

  • Stanislav Pokraev
  • Dick Quartel
  • Maarten W. A. Steen
  • Manfred Reichert
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4294)


Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other’s services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we systematically explain what interoperability means and analyze possible interoperability problems. Further, we define requirements for service interoperability and present a method to assess whether a composite system meets the identified requirements.


service modeling service interoperability formal verification 


  1. 1.
    Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.-T., Sheth, A., Verma, K.: Web Service Semantics - WSDL-S. W3C Member Submission, Version 1.0, November 7 (2005),
  2. 2.
    Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Framework (SWSF) Overview, W3C Member Submission, September 9 (2005),
  3. 3.
    de Bruijn, J., Bussler, C., Domingue, J., Fensel, D., Hepp, M., Keller, U., Kifer, M., König-Ries, B., Kopecky, J., Lara, R., Lausen, H., Oren, E., Polleres, A., Roman, D., Scicluna, J., Stollberg, M.: Web Service Modeling Ontology (WSMO), W3C Member Submission June 3 (2005),
  4. 4.
    de Bruijn, J., Fensel, D., Keller, U., Kifer, M., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L.: Web Service Modeling Language (WSML), W3C Member Submission June 3 (2005),
  5. 5.
    Bussler, C., Cimpian, E., Fensel, D., Gomez, J.M., Haller, A., Haselwanter, T., Kerrigan, M., Mocan, A., Moran, M., Oren, E., Sapkota, B., Toma, I., Viskova, J., Vitvar, T., Zaremba, M.: Web Service Execution Environment (WSMX), W3C Member Submission June 3 (2005),
  6. 6.
    Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003), zbMATHGoogle Scholar
  7. 7.
    Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A. (eds.): OWL Web Ontology Language Reference, W3C Recommendation February 10 (2004),
  8. 8.
    Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1992)Google Scholar
  9. 9.
    Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Analysis Methods. Monographs in Theoretical Computer Science, vol. 2. Springer, Heidelberg (1994)Google Scholar
  10. 10.
    Kummer, O., Wienberg, F., Duvigneau, M., Köhler, M., Moldt, D., Rölke, H.: Renew –The Reference Net Workshop. In: Veerbeek, E. (ed.) Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets, ATPN 2003. International Conference on Business Process Management, BPM 2003, pp. 99–102 (2003)Google Scholar
  11. 11.
    Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services W3C Member Submission November 22 (2004),
  12. 12.
    Quartel, D.A.C., Dijkman, R.M., van Sinderen, M.J.: Methodological support for serviceoriented design with ISDL. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York City, NY, USA (2004)Google Scholar
  13. 13.
    Quartel, D.A.C., Ferreira Pires, L., van Sinderen, M.J.: On Architectural Support for Behaviour Refinement in Distributed Systems Design. Journal of integrated design and process science online 06(01) ISNN 1092-0617Google Scholar
  14. 14.
    Racer Systems, Racer Reasoner (2005),
  15. 15.
    Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Net. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Sinderen, M.J., van, F.P.L., Vissers, C.A., Katoen, J.P.: A design model for open distributed processing systems. Computer Networks and ISDN Systems 27, 1263–1285 (1995)CrossRefGoogle Scholar
  17. 17.
    Verma, K., Gomadam, K., Sheth, A., Miller, J., Wu, Z.: The METEOR-S Approach for Configuring and Executing Dynamic Web Processes. Technical Report. Date: 6-24-05Google Scholar
  18. 18.
    Wieringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, San Francisco (2003), Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Stanislav Pokraev
    • 1
  • Dick Quartel
    • 2
  • Maarten W. A. Steen
    • 1
  • Manfred Reichert
    • 2
  1. 1.Centre for Telematics and Information TechnologyTelematica Instituut, The NetherlandsAN EnschedeThe Netherlands
  2. 2.University of TwenteEnschedeThe Netherlands

Personalised recommendations