{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:46Z","timestamp":1725490666601},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11948148_1","type":"book-chapter","created":{"date-parts":[[2006,11,27]],"date-time":"2006-11-27T08:22:41Z","timestamp":1164615761000},"page":"1-14","source":"Crossref","is-referenced-by-count":1,"title":["Requirements and Method for Assessment of Service Interoperability"],"prefix":"10.1007","author":[{"given":"Stanislav","family":"Pokraev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dick","family":"Quartel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten W. A.","family":"Steen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"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), http:\/\/www.w3.org\/Submission\/2005\/SUBM-WSDL-S-20051107\/"},{"key":"1_CR2","unstructured":"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), http:\/\/www.w3.org\/Submission\/SWSF\/"},{"key":"1_CR3","unstructured":"de Bruijn, J., Bussler, C., Domingue, J., Fensel, D., Hepp, M., Keller, U., Kifer, M., K\u00f6nig-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), http:\/\/www.w3.org\/Submission\/WSMO\/"},{"key":"1_CR4","unstructured":"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), http:\/\/www.w3.org\/Submission\/WSML\/"},{"key":"1_CR5","unstructured":"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), http:\/\/www.w3.org\/Submission\/WSMX\/"},{"key":"1_CR6","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"D. Calvanese","year":"2003","unstructured":"Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003), http:\/\/www.cambridge.org\/uk\/catalogue\/catalogue.asp?isbn=0521781760"},{"key":"1_CR7","unstructured":"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), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"1_CR8","series-title":"Monographs in Theoretical Computer Science","volume-title":"Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"1_CR9","series-title":"Monographs in Theoretical Computer Science","volume-title":"Analysis Methods","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Analysis Methods. Monographs in Theoretical Computer Science, vol.\u00a02. Springer, Heidelberg (1994)"},{"key":"1_CR10","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Renew \u2013The 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.\u00a099\u2013102 (2003)"},{"key":"1_CR11","unstructured":"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), http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1035167.1035169"},{"key":"1_CR13","unstructured":"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\u00a006(01) ISNN 1092-0617"},{"key":"1_CR14","unstructured":"Racer Systems, Racer Reasoner (2005), http:\/\/www.racer-systems.com\/"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"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.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1016\/0169-7552(94)00031-N","volume":"27","author":"M.J. Sinderen","year":"1995","unstructured":"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\u00a027, 1263\u20131285 (1995)","journal-title":"Computer Networks and ISDN Systems"},{"key":"1_CR17","unstructured":"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"},{"key":"1_CR18","volume-title":"Design Methods for Reactive Systems: Yourdon, Statemate, and the UML","author":"R.J. Wieringa","year":"2003","unstructured":"Wieringa, R.J.: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann, San Francisco (2003), http:\/\/www.mkp.com\/dmrs"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11948148_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T11:15:31Z","timestamp":1555931731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11948148_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540749738","9783540749745"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11948148_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}