{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T17:18:09Z","timestamp":1712078289436},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,1,18]],"date-time":"2012-01-18T00:00:00Z","timestamp":1326844800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s11761-012-0101-7","type":"journal-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T05:19:02Z","timestamp":1326777542000},"page":"189-205","source":"Crossref","is-referenced-by-count":19,"title":["A formal model for the interoperability of service clouds"],"prefix":"10.1007","volume":"6","author":[{"given":"Hui","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Thalheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,18]]},"reference":[{"key":"101_CR1","unstructured":"Akkiraju R et\u00a0al (2005) Web service semantics: WSDL-S. http:\/\/www.w3c.org\/Submission\/WSDL-S"},{"key":"101_CR2","volume-title":"Web services: concepts, architectures and applications","year":"2003","unstructured":"Alonso, G (eds) et\u00a0al (2003) Web services: concepts, architectures and applications. Springer, Berlin"},{"key":"101_CR3","doi-asserted-by":"crossref","unstructured":"Altenhofen M, B\u00f6rger 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\u201395","DOI":"10.1007\/11576280_7"},{"key":"101_CR4","unstructured":"Alves A et\u00a0al (2007) Web services business process execution language, version 2.0 OASIS Standard Committee. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html"},{"key":"101_CR5","unstructured":"Baader F (eds) et al (2003) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge"},{"issue":"3","key":"101_CR6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B Benatallah","year":"2006","unstructured":"Benatallah B, Casati F, Toumani F (2006) Representing, analysing and managing web service protocols. Data Knowl Eng 58(3): 327\u2013357","journal-title":"Data Knowl Eng"},{"issue":"5","key":"101_CR7","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"285","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 285(5): 34\u201343","journal-title":"Sci Am"},{"issue":"4","key":"101_CR8","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A Blass","year":"2003","unstructured":"Blass A, Gurevich J (2003) Abstract state machines capture parallel algorithms. ACM Trans Comput Logic 4(4): 578\u2013651","journal-title":"ACM Trans Comput Logic"},{"key":"101_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E, St\u00e4rk R (2003) Abstract state machines. Springer, Berlin"},{"issue":"2","key":"101_CR10","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/bltj.20243","volume":"12","author":"MR Brenner","year":"2007","unstructured":"Brenner MR, Unmehopa MR (2007) Service-oriented architecture and web services penetration in next-generation networks. Bell Labs Tech J 12(2): 147\u2013159","journal-title":"Bell Labs Tech J"},{"key":"101_CR11","unstructured":"Christensen E et\u00a0al (2001) Web services description language (WSDL) 1.1. http:\/\/www.w3c.org\/TR\/wsdl"},{"key":"101_CR12","unstructured":"Cox W et\u00a0al (2004) Web services transaction (WS-Transaction), BEA Systems, IBM, Microsoft. http:\/\/dev2dev.bea.com\/pub\/a\/2004\/01\/ws-transaction.html"},{"key":"101_CR13","unstructured":"Feingold W, Jeyaraman R (2007) Web services coordination (WS-Coordination), version 1.1, OASIS Web Services Transaction WS-TX TC. http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wscoor1.1-spec.pdf"},{"issue":"2","key":"101_CR14","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","volume":"1","author":"D Fensel","year":"2002","unstructured":"Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113\u2013137","journal-title":"Electron Commer Res Appl"},{"key":"101_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-34520-6","volume-title":"Enabling semantic web services","author":"D Fensel","year":"2007","unstructured":"Fensel D et\u00a0al (2007) Enabling semantic web services. Springer, Berlin"},{"key":"101_CR16","unstructured":"Guarino N (1998) Formal ontology and information systems. In: Proceedings FOIS\u201998. IOS Press, pp 3\u201315"},{"issue":"1","key":"101_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"J Gurevich","year":"2000","unstructured":"Gurevich J (2000) Sequential abstract state machines capture sequential algorithms. ACM Trans Comput Logic 1(1): 77\u2013111","journal-title":"ACM Trans Comput Logic"},{"key":"101_CR18","doi-asserted-by":"crossref","unstructured":"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\u2014ESWC 2006","DOI":"10.1007\/11762256_44"},{"issue":"3","key":"101_CR19","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen D (1997) Kleene algebra with tests. ACM Trans Program Lang Syst 19(3): 427\u2013443","journal-title":"ACM Trans Program Lang Syst"},{"issue":"3","key":"101_CR20","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1147\/sj.463.0513","volume":"46","author":"S Kumaran","year":"2007","unstructured":"Kumaran S et\u00a0al (2007) Using a model-driven transformational approach and service-oriented architecture for service delivery management. IBM Syst J 46(3): 513\u2013530","journal-title":"IBM Syst J"},{"issue":"4","key":"101_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s11761-009-0051-x","volume":"3","author":"H Ma","year":"2009","unstructured":"Ma H, Schewe K-D, Thalheim B, Wang Q (2009) A theory of data-intensive software services. Serv Orient Comput Appl 3(4): 263\u2013283","journal-title":"Serv Orient Comput Appl"},{"key":"101_CR22","doi-asserted-by":"crossref","unstructured":"Ma H, Schewe K-D, Wang Q (2009) An abstract model for service provision, search and composition. In: Kirchberg M et\u00a0al (eds) Services computing conference\u2014APSCC 2009. IEEE Asia Pacific, pp 95\u2013102","DOI":"10.1109\/APSCC.2009.5394133"},{"issue":"2\u20133","key":"101_CR23","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1016547000822","volume":"12","author":"J O\u2019Sullivan","year":"2002","unstructured":"O\u2019Sullivan J, Edmond D, Ter Hofstede A (2002) What is a service? Towards accurate description of non-functional properties. Distrib Parallel Databas 12(2\u20133): 117\u2013133","journal-title":"Distrib Parallel Databas"},{"issue":"3","key":"101_CR24","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","volume":"16","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou MP, van den Heuvel W-J (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389\u2013415","journal-title":"VLDB J"},{"issue":"2","key":"101_CR25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.datak.2004.08.005","volume":"54","author":"K-D Schewe","year":"2005","unstructured":"Schewe K-D, Thalheim B (2005) Conceptual modelling of web information systems. Data Knowl Eng 54(2): 147\u2013188","journal-title":"Data Knowl Eng"},{"key":"101_CR26","unstructured":"Schewe K-D, Thalheim B (2006) Component-driven engineering of database applications. In: Stumptner M, Hartmann S, Kiyoki Y (eds) Conceptual modelling 2006\u2014third Asia-Pacific conference on conceptual modelling (APCCM 2006), vol 53 of CRPIT. Australian Computer Society, pp 105\u2013114"},{"issue":"4","key":"101_CR27","first-page":"765","volume":"19","author":"K-D Schewe","year":"2010","unstructured":"Schewe K-D, Wang Q (2010) A customised ASM thesis for database transformations. Acta Cybern 19(4): 765\u2013805","journal-title":"Acta Cybern"},{"key":"101_CR28","unstructured":"Schewe K-D, Wang Q (2010) A formal model for service mediators. In: Trujillo J et\u00a0al (eds) Advances in conceptual modeling\u2014applications and challenges (ER 2010 workshops), vol 6413 of LNCS. Springer, pp 76\u201385"},{"key":"101_CR29","unstructured":"Simple object access protocol (SOAP). http:\/\/www.w3c.org\/TR\/soap"},{"key":"101_CR30","doi-asserted-by":"crossref","unstructured":"Stollberg M, Cimpian E, Mocan A, Fensel D (2006) A semantic web mediation architecture. In: Proceedings CSWWS 2006","DOI":"10.1007\/978-0-387-34347-1_2"},{"key":"101_CR31","doi-asserted-by":"crossref","DOI":"10.1002\/047172307X","volume-title":"Meme media and meme market architectures","author":"Y Tanaka","year":"2003","unstructured":"Tanaka Y (2003) Meme media and meme market architectures. IEEE Press, Wiley-Interscience, USA"},{"key":"101_CR32","unstructured":"Universal description, discovery and integration (UDDI). http:\/\/www.uddi.org"},{"key":"101_CR33","unstructured":"Web ontology language (OWL). http:\/\/www.w3c.org\/\/OWL\/"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-012-0101-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-012-0101-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-012-0101-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T15:29:18Z","timestamp":1561217358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-012-0101-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,18]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s11761-012-0101-7","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,18]]}}}