{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:16Z","timestamp":1725558976154},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540245483"},{"type":"electronic","value":"9783540305873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30587-3_16","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T19:12:10Z","timestamp":1278529930000},"page":"54-64","source":"Crossref","is-referenced-by-count":7,"title":["Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability"],"prefix":"10.1007","author":[{"given":"Yan","family":"Jin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-48743-3_22","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"R. Bastide","year":"1999","unstructured":"Bastide, R., Sy, O., Palanque, P.: Formal specification and prototyping of CORBA systems. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 474\u2013494. Springer, Heidelberg (1999)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Borgida, A., Devanbu, P.: Adding more \u201cDL\u201d to IDL: Towards more knowledgeable component inter-operability. In: Proc. 21th Int\u2019l Conference on Software Engineering (ICSE), pp. 378\u2013387 (1999)","DOI":"10.1145\/302405.302660"},{"issue":"5","key":"16_CR4","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1093\/comjnl\/44.5.448","volume":"44","author":"C. Canal","year":"2001","unstructured":"Canal, C., Pimentel, E., Troya, J.M., Vallecillo, A.: Extending CORBA interfaces with protocols. The Computer Journal\u00a044(5), 448\u2013462 (2001)","journal-title":"The Computer Journal"},{"key":"16_CR5","unstructured":"Cho, I.: A framework for the specification and testing of the interoperation aspect of components. In: [10], pp. 53\u201364"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cicalese, C., Rotenstreich, S.: Behavioral specification of distributed software component interfaces. IEEE Computer, 46\u201353 (July 1999)","DOI":"10.1109\/2.774918"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch \u2014 why it\u2019s hard to build systems out of existing parts. In: Proc. 17th Int\u2019l Conference on Software Engineering (ICSE), pp. 179\u2013185 (1995)","DOI":"10.1145\/225014.225031"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Han, J.: A comprehensive interface definition framework for software components. In: Proc. Asia-Pacific Software Engineering Conference (APSEC), pp. 110\u2013117 (1998)","DOI":"10.1109\/APSEC.1998.733601"},{"key":"16_CR9","unstructured":"Han, J., Ker, K.K.: Ensuring compatible interactions within component-based software systems. In: Proc. Asia-Pacific Software Engineering Conference (APSEC), pp. 436\u2013445 (2003)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez, J., Vallecillo, A., Troya, J. (eds.): Proc. ECOOP Workshop on Object Interoperability (2000)","DOI":"10.1007\/3-540-44555-2_18"},{"key":"16_CR11","unstructured":"Jin, Y., Han, J.: PEIDL: An interaction protocol specification language for software components. Technical Report SUTIT-TR2004.02\/SUT.CeCSES-TR002, Centre for Component Software and Enterprise Systems, Swinburne University of Technology (June 2004), http:\/\/www.it.swin.edu.au\/centres\/cecses\/trs\/2004\/SUT.CeCSESTR002.pdf"},{"key":"16_CR12","unstructured":"Kramer, R.: iContract\u2014 the Java Design by Contract tool. In: Proc. TOOLS (1998)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-36465-X_14","volume-title":"COTS-Based Software Systems","author":"R. McKegney","year":"2003","unstructured":"McKegney, R., Shepard, T.: Techniques for embedding executable specifications in software component interfaces. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol.\u00a02580, pp. 143\u2013156. Springer, Heidelberg (2003)"},{"key":"16_CR14","unstructured":"Meyer, B.: Object-Oriented Software Construction (1988)"},{"key":"16_CR15","volume-title":"Eiffel: the Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: the Language. Prentice-Hall, Englewood Cliffs (1992)"},{"issue":"11","key":"16_CR16","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, W.: Behaviour protocols for software components. IEEE Transactions on Software Engineering\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR17","unstructured":"Reussner, R.H.: An enhanced model for component interfaces to support automatic and dynamic adaption. In: [10], 33\u201342"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","COTS-Based Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30587-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:25:48Z","timestamp":1605759948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30587-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245483","9783540305873"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30587-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}