{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,3]],"date-time":"2025-02-03T05:08:22Z","timestamp":1738559302110,"version":"3.35.0"},"reference-count":36,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Enterprise Information Systems"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1080\/17517570802422461","type":"journal-article","created":{"date-parts":[[2008,10,24]],"date-time":"2008-10-24T00:33:03Z","timestamp":1224808383000},"page":"347-366","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and analysing interoperability in service compositions using COSMO"],"prefix":"10.1080","volume":"2","author":[{"given":"Dick A.C.","family":"Quartel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. J.","family":"van Sinderen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2006.010805"},{"volume-title":"The description logic handbook: theory, implementation and applications","year":"2003","author":"Baader F.","key":"CIT0002"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2004.04.003"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00114-6"},{"volume-title":"Web service modeling ontology (WSMO) \u2013 W3C member submission 3 June 2005","year":"2005","author":"de Bruijn J.","key":"CIT0005"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Colombo, M., Di Nitto, E., Di Penta, M., Distante, D. and Zuccal\u00e0, M. Speaking a common language: A conceptual model for describing service-oriented systems. Proceedings of the 3rd international conference on service-oriented computing(ICSOC). December12\u2013152005, Amsterdam. pp.48\u201360. Berlin: Springer-Verlag.","DOI":"10.1007\/11596141_5"},{"key":"CIT0007","unstructured":"CPNTools \u2013 Computer tools for coloured Petri Nets [online] Available from:http:\/\/wiki.daimi.au.gk\/cpntools\/cpntools.wiki[Accessed 3 February 2008]"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.07.007"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2005.007545"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"CIT0011","unstructured":"ISDL [online]. Available from:http:\/\/isdl.ctit.utwente.nl[Accessed 3 February 2008]"},{"key":"CIT0012","unstructured":"Jena [online].http:\/\/jena.sourceforge.net\/[Accessed 3 February 2008]"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Jin, Y. and Han, J. Consistency and interoperability checking for component interaction rules. Proceedings of the 12th Asia Pacific software engineering conference (APSEC'05). December15\u2013172005, Taipei, Taiwan. pp.8Washington, DC: IEEE Computer Society.","DOI":"10.1109\/APSEC.2005.55"},{"key":"CIT0014","unstructured":"Lamsweerde, A. Goal-oriented requirements engineering: a guided tour. Proceedings of the 5th IEEE international symposium on requirements engineering (RE'01). August27\u2013312001, Toronto. pp.249\u2013263. Washington, DC: IEEE Computer Society."},{"volume-title":"OWL-S: Semantic markup for web services W3C member submission 22 November 2004","year":"2004","author":"Martin D.","key":"CIT0015"},{"volume-title":"OWL Web ontology language overview \u2013 W3C recommendation 10 February 2004","year":"2004","author":"McGuinness D.","key":"CIT0016"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Melliti, T., Poizat, P. and Ben Mokhtar. Distributed behavioural adaptation for the automatic composition of semantic services. Proceedings of fundamental approaches to software engineering (FASE'08), LNCS 4961. 29 March\u20136 April2008, Budapest. pp.146\u2013162. Berlin: Springer-Verlag.","DOI":"10.1007\/978-3-540-78743-3_12"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Motahari, Nezhad, H., Benatallay, B., Martens, A., Curbera, F. and Casati, F. Semi-automated adaptation of service interactions. Proceedings of the 16th international conference on World Wide Web. May8\u2013122007, Banff, Canada. pp.993\u20131002. New York: ACM.","DOI":"10.1145\/1242572.1242706"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.181"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"O'Sullivan, D. and Lewis, D. Semantically driven service interoperability for pervasive computing. Proceedings of the 3rd ACM international workshop on data engineering for wireless and mobile access. September192003, San Diego, CA. pp.17\u201324. New York: ACM.","DOI":"10.1145\/940923.940927"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"Pokraev, S. V., Quartel, D. A.C., Steen, M. W.A. and Reichert, M. U. A method for formal verification of service interoperability. Proceedings of the IEEE international conference on web services (ICWS '06). September18\u2013222006, Chicago. pp.895\u2013900. Washington, DC: IEEE Computer Society.","DOI":"10.1109\/ICWS.2006.9"},{"key":"CIT0023","unstructured":"Prot\u00e9g\u00e9 [online]. Available from:http:\/\/protege.stanford.edu\/[Accessed 3 February 2008]"},{"volume-title":"SPARQL query language for RDF \u2013 W3C working draft 26 March 2007","year":"2007","author":"Prud'hommeaux E.","key":"CIT0024"},{"key":"CIT0025","doi-asserted-by":"crossref","unstructured":"Quartel, D. A.C., Steen, M. W.A., Pokraev, S. V. and van Sinderen, M. J. COSMO: a conceptual framework for service modelling and refinement.Information System Frontiers(online), March 2007. Extended version of: A conceptual framework for service modelling. Proceedings of the 10th IEEE enterprise distributed object computing (EDOC) conference. October16\u2013202006, Hong Kong, China. pp.319\u2013330. Washington, DC: IEEE Computer Society.","DOI":"10.1109\/EDOC.2006.5"},{"key":"CIT0026","doi-asserted-by":"crossref","unstructured":"Quartel, D. A.C. and van Sinderen, M. J. On interoperability and conformance assessment in service composition. Proceedings of the 11th IEEE international EDOC enterprise computing conference (EDOC 2007). October15\u2013192007, Annapolis, MD. pp.229\u2013240. Washington, DC: IEEE Computer Society.","DOI":"10.1109\/EDOC.2007.4383996"},{"key":"CIT0027","doi-asserted-by":"crossref","unstructured":"Quartel, D. A.C., Dijkman, R. M. and van Sinderen, M. J. Methodological support for service-oriented design with ISDL. Proceedings of the 2nd international conference on service oriented computing. November15\u2013192004, New York. pp.1\u201310. New York: ACM.","DOI":"10.1145\/1035167.1035169"},{"volume-title":"Action relations \u2013 basic design concepts for behaviour modelling and refinement","year":"1998","author":"Quartel D. A.C.","key":"CIT0029"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"CIT0031","unstructured":"Racer [online]. Available from:http:\/\/www.racer\u2013systems.com\/[Accessed 3 February 2008]"},{"key":"CIT0032","unstructured":"SWS challenge [online]. Available from:http:\/\/sws\u2013challenge.org[Accessed 3 February 2008]"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(94)00031-N"},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1080\/10864415.2005.11044325","volume":"9","author":"Sivashanmugam K.","year":"2004","journal-title":"International Journal of Electronic Commerce"},{"key":"CIT0035","unstructured":"Srivastava, B. and Koehler, J. Web service composition \u2013 current solutions and open problems. Proceedings of the international conference on automated planning & scheduling (ICAPS). June102003, Trento, Italy. pp.28\u201335. California: AAAI Press."},{"volume-title":"Web services architecture W3C working group note 11 February 2004","key":"CIT0036"},{"key":"CIT0037","doi-asserted-by":"crossref","unstructured":"Yu, E. Towards modelling and reasoning support for early-phase requirements engineering. Proceedings of the 3rd IEEE international symposium on requirements engineering (RE'97). January6\u2013101997, Annapolis, MD. pp.226\u2013235. Washington, DC: IEEE Computer Society.","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17517570802422461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T05:57:21Z","timestamp":1738475841000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/17517570802422461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["10.1080\/17517570802422461"],"URL":"https:\/\/doi.org\/10.1080\/17517570802422461","relation":{},"ISSN":["1751-7575","1751-7583"],"issn-type":[{"type":"print","value":"1751-7575"},{"type":"electronic","value":"1751-7583"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}