{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:56:12Z","timestamp":1743022572277,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_3","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T13:06:18Z","timestamp":1300107978000},"page":"18-33","source":"Crossref","is-referenced-by-count":4,"title":["An Interface Theory for Service-Oriented Design"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","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.: Representing, analysing and managing web service protocols. Data Knowl. Eng.\u00a058(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Betin-Can, A., Bultan, T., Fu, X.: Design for verification for asynchronously communicating web services. In: Ellis and Hagino [9], pp. 750\u2013759","DOI":"10.1145\/1060745.1060853"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis and Hagino [9], pp. 148\u2013159","DOI":"10.1145\/1060745.1060770"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403\u2013410 (2003)","DOI":"10.1145\/775152.775210"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"issue":"8","key":"3_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1278201.1278203","volume":"50","author":"A. Elfatatry","year":"2007","unstructured":"Elfatatry, A.: Dealing with change: components versus services. Commun. ACM\u00a050(8), 35\u201339 (2007)","journal-title":"Commun. ACM"},{"volume-title":"Proceedings of the 14th international conference on World Wide Web, WWW 2005","year":"2005","key":"3_CR9","unstructured":"Ellis, A., Hagino, T. (eds.): Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14. ACM, New York (2005)"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MC.2007.16","volume":"40","author":"J.L. Fiadeiro","year":"2007","unstructured":"Fiadeiro, J.L.: Designing for software\u2019s social complexity. IEEE Computer\u00a040(1), 34\u201339 (2007)","journal-title":"IEEE Computer"},{"key":"3_CR11","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding. Formal Asp. Comput. (to appear)"},{"key":"3_CR12","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria reference modelling language. In: Wirsing and Hoelzl"},{"issue":"1-2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR14","volume-title":"Logics of time and computation","author":"R. Goldblatt","year":"1987","unstructured":"Goldblatt, R.: Logics of time and computation. CSLI, Stanford (1987)"},{"key":"3_CR15","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"issue":"4","key":"3_CR16","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. Software Eng.\u00a07(4), 417\u2013426 (1981)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR17","unstructured":"OSOA. Service component architecture: Building systems using a service oriented architecture (2005), White paper, http:\/\/www.osoa.org"},{"key":"3_CR18","series-title":"LNBIP","first-page":"271","volume-title":"UNISCON","author":"W. Reisig","year":"2008","unstructured":"Reisig, W.: Towards a theory of services. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol.\u00a05, pp. 271\u2013281. Springer, Heidelberg (2008)"},{"key":"3_CR19","first-page":"14","volume-title":"FTDCS","author":"M. Solanki","year":"2004","unstructured":"Solanki, M., Cau, A., Zedan, H.: Introducing compositionality in web service descriptions. In: FTDCS, pp. 14\u201320. IEEE Computer Society, Los Alamitos (2004)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79230-7_1","volume-title":"Web Services and Formal Methods","author":"J. Su","year":"2008","unstructured":"Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., Hoelzl, M. (eds.): Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T07:11:22Z","timestamp":1741072282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}