{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:47Z","timestamp":1725559007293},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_6","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"85-102","source":"Crossref","is-referenced-by-count":12,"title":["Service Discovery and Component Reuse with Semantic Interfaces"],"prefix":"10.1007","author":[{"given":"Richard T.","family":"Sanders","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"von Bochmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages & Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages & Systems"},{"issue":"1","key":"6_CR2","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/TSE.1987.232836","volume":"-13","author":"A. Black","year":"1987","unstructured":"Black, A., Hutchinson, N., Jul, E., Levy, H., Carter, L.: Distribution and Abstract Types in Emerald. IEEE Trans. on Software Engineering\u00a0SE-13(1), 65\u201376 (1987)","journal-title":"IEEE Trans. on Software Engineering SE"},{"key":"6_CR3","unstructured":"Bettstetter, C., Renner, C.: A Comparison of Service Discovery Protocols and Implementation of the Service Location Protocol. In: Proc. EUNICE Open European Summer School, Twente, Netherlands, September 13-15 (2000)"},{"key":"6_CR4","unstructured":"Br\u00e6k, R., Husa, K.E., Melby, G.: ServiceFrame: WhitePaper. Ericsson Norarc (2002), \n                    \n                      http:\/\/www.item.ntnu.no\/lab\/nettint1\/ServiceFrame\/ServiceFrame.html"},{"key":"6_CR5","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems. In: An Object Oriented Methodology using SDL. Prentice Hall, Hemel Hempstead (1993)"},{"key":"6_CR6","first-page":"349","volume-title":"Protocol Specification, Testing and Verification VI (IFIP Workshop)","author":"E. Brinksma","year":"1986","unstructured":"Brinksma, E., Scollo, G.: LOTOS specifications, their implementations and their tests. In: Protocol Specification, Testing and Verification VI (IFIP Workshop), pp. 349\u2013360. North Holland, Montreal (1986)"},{"key":"6_CR7","first-page":"319","volume-title":"Proc. Int. Conf. on Computational Intelligence for Modelling, Control and Automation","author":"J. Drissi","year":"1999","unstructured":"Drissi, J., Bochmann, G.v.: Submodule construction tool. In: Mohammadian, M. (ed.) Proc. Int. Conf. on Computational Intelligence for Modelling, Control and Automation, Vienna, pp. 319\u2013324. IOS Press, Amsterdam (1999)"},{"key":"6_CR8","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. Ph.D. thesis 2003:47 NTNU, Norway (2003)"},{"issue":"7","key":"6_CR9","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/TCOM.1984.1096134","volume":"32","author":"M.G. Gouda","year":"1984","unstructured":"Gouda, M.G., Yu, Y.-T.: Synthesis of communicating Finite State Machines with guaranteed progress. IEEE Trans. on Communications\u00a032(7), 779\u2013788 (1984)","journal-title":"IEEE Trans. on Communications"},{"key":"6_CR10","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, Reading (1979)"},{"issue":"3","key":"6_CR11","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"6_CR12","unstructured":"Melby, G., Br\u00e6k, R.: Delivery of convergent telecommunication services on J2EE platforms. In: Int. Conf. on Intelligence in Service Delivery Networks, ICIN, Bordeaux, France (October 2004)"},{"key":"6_CR13","unstructured":"OASIS: Universal Description Discovery & Integration (UDDI), Version 3.02 (February 2005), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/uddi-spec"},{"key":"6_CR14","unstructured":"OMG: UML 2.0 specifications, \n                    \n                      http:\/\/www.omg.org\/uml"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"6_CR16","volume-title":"Service-Oriented Computing: Semantics, Processes, Agents","author":"M.P. Singh","year":"2005","unstructured":"Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005)"},{"key":"6_CR17","unstructured":"World Wide Web Consortium: Web Services Description Language (WSDL) 1.1 (March 2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"6_CR18","unstructured":"World Wide Web Consortium: Web Ontology Language (OWL) (February 2004), \n                    \n                      http:\/\/www.w3.org\/2004\/OWL\/"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T10:05:33Z","timestamp":1552730733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11506843_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}