{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:42Z","timestamp":1725497202474},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77351-1_2","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:58Z","timestamp":1196940238000},"page":"2-17","source":"Crossref","is-referenced-by-count":0,"title":["Defining Component Protocols with Service Composition: Illustration with the Kmelia Model"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Andr\u00e9","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Ardourel","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Attiogb\u00e9","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"2_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":"2_CR2","unstructured":"Andr\u00e9, P., Ardourel, G., Attiogb\u00e9, C.: Coordination and Adaptation for Hierarchical Components and Services. In: WCAT 2006. Third International ECOOP Workshop on Coordination and Adaptation Techniques for Software Entities, pp. 15\u201323 (2006)"},{"key":"2_CR3","unstructured":"Attie, P.C., Lorenz, D.H.: Establishing Behavioral Compatibility of Software Components without State Explosion. Technical Report NU-CCIS-03-02, College of Computer and Information Science, Northeastern University (2003)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11821946_2","volume-title":"Software Composition","author":"C. Attiogb\u00e9","year":"2006","unstructured":"Attiogb\u00e9, C., Andr\u00e9, P., Ardourel, G.: Checking Component Composability. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, Springer, Heidelberg (2006)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-540-24774-6_8","volume-title":"Component-Based Software Engineering","author":"S. Becker","year":"2004","unstructured":"Becker, S., Overhage, S., Reussner, R.: Classifying Software Component Interoperability Errors to Support Component Adaption. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 68\u201383. Springer, Heidelberg (2004)"},{"issue":"7","key":"2_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. Computer\u00a032(7), 38\u201345 (1999)","journal-title":"Computer"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TSE.2003.1183935","volume":"29","author":"C. Canal","year":"2003","unstructured":"Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding Roles to CORBA Objects. IEEE Trans. Softw. Eng.\u00a029(3), 242\u2013260 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"2_CR8","first-page":"7","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S-C.: Behaviour Analysis of Distributed Systems Using the Tracta Approach. ASE\u00a06(1), 7\u201335 (1999)","journal-title":"ASE"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1109\/ICSE.2003.1201252","volume-title":"Proceedings of 25th International Conference on Software Engineering","author":"B. Meyer","year":"2003","unstructured":"Meyer, B.: The Grand Challenge of Trusted Components. In: Proceedings of 25th International Conference on Software Engineering, pp. 660\u2013667. IEEE Computer Society, Los Alamitos (2003)"},{"key":"2_CR10","unstructured":"OMG. The OMG Unified Modeling Language Specification, V2.0 Rfp. Superstructure Specification Infrastructure Specification (2005), available at http:\/\/www.omg.org\/docs\/ptc\/05-07-04.pdf , available at http:\/\/www.omg.org\/docs\/ptc\/05-07-04.pdf"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11550679_9","volume-title":"Software Composition","author":"S. Pavel","year":"2005","unstructured":"Pavel, S., Noye, J., Poizat, P., Royer, J-C.: Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, Springer, Heidelberg (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components, 2002. IEEE Transactions on SW Engineering\u00a028(9) (2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11550679_8","volume-title":"Software Composition","author":"M. S\u00fcdholt","year":"2005","unstructured":"S\u00fcdholt, M.: A Model of Components with Non-regular Protocols. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, pp. 99\u2013113. Springer, Heidelberg (2005)"},{"issue":"2","key":"2_CR14","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"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11821946_1","volume-title":"Software Composition","author":"W. Zimmermann","year":"2006","unstructured":"Zimmermann, W., Schaarschmidt, M.: Checking of Component Protocols in Component-Based Systems. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77351-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:18Z","timestamp":1619521758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77351-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773504"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77351-1_2","relation":{},"subject":[]}}