A method for formal verification of service interoperability

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services

Volumn , Issue , 2006, Pages 895-898

  Pokraev, Stanislav ^a   Quartel, Dick ^b   Steen, Maarten W A ^a   Reichert, Manfred ^b  

^a TELEMATICA INSTITUUT   (Netherlands)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTEROPERABILITY; QUALITY OF SERVICE; SEMANTICS; VERIFICATION;

HETEROGENEOUS SYSTEMS; SERVICE INTEROPERABILITY; SERVICE ORIENTED ARCHITECTURE;

WEB SERVICES;

EID: 38949125448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2006.9     Document Type: Conference Paper

References (14)

1. Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.-T., Sheth, A., Verma, K. Web Service Semantics - WSDL-S. W3C Member Submission 7 November 2005, Version 1.0, http://www.w3.org/Submission/2005/SUBMWSDL-S- 20051107/
2. Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S.,
3. McGuinness, D., Su, J., Tabet, S. Semantic Web Services Framework (SWSF) Overview, W3C Member Submission 9 September 2005, http://www.w3.org/Submission/ SWSF/
4. Bruijn, J. de, 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 3 June 2005, http://www.w3.org/ Submission/WSMO/
5. Bruijn, J. de, Fensel, D., Keller, U., Kifer, M., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L. Web Service Modeling Language (WSML), W3C Member Submission 3 June 2005, http://www.w3.org/Submission/WSML/
6. 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., Zaremba, M. Web Service Execution Environment (WSMX), W3C Member Submission 3 June 2005, http://www.w3.org/Submission/WSMX/
7. Dean, M (eds.), Schreiber, G.(eds.), Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., Stein, L. A. OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004, http://www.w3.org/TR/owl-ref/
8. Jensen, K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992. ISBN: 3-540-60943-1.
9. Jensen, K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer -Verlag, 1994. ISBN: 3 -540-58276-2
10. Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., Mcllraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Shin, E., Srinivasan, N., Sycara, K. OWL-S: Semantic Markup for Web Services W3C Member Submission 22 November 2004, http://www.w3.org/Submission/OWL-S/
11. Quartel, D.A.C., Dijkman R.M., Sinderen van M. J. Methodological support for service-oriented design with ISDL. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York City, NY, USA, 2004.
12. Quartel, D.A.C., Ferreira Pires, L., Sinderen, van M. J. On Architectural Support for Behaviour Refinement in Distributed Systems Design. In: Journal of integrated design and process science online, 06(01) ISNN 1092-0617.
13. 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-05.
14. Wieringa, R. J. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, 2003. http://www.mkp.com/dmrs