{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:58:15Z","timestamp":1742396295111},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_17","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"305-323","source":"Crossref","is-referenced-by-count":12,"title":["Context-Based Adaptation of Component Behavioural Interfaces"],"prefix":"10.1007","author":[{"given":"Javier","family":"Cubo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","first-page":"109","volume-title":"Proc. of ESEC\/FSE\u201901","author":"L. Alfaro","year":"2001","unstructured":"Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proc. of ESEC\/FSE\u201901, pp. 109\u2013120. ACM Press, New York (2001)"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"A. Allen","year":"1997","unstructured":"Allen, A., 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":"17_CR3","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems (February 2005)"},{"key":"17_CR4","series-title":"ENTCS","volume-title":"Proc. of FOCLASA\u201902","author":"F. Arbab","year":"2002","unstructured":"Arbab, F., de Boer, F.S., Bonsangue, M.M., Scholten, J.V.G.: A Channel-based Coordination Model for Components. In: Proc. of FOCLASA\u201902. ENTCS, vol.\u00a068(3), Elsevier, Amsterdam (2002)"},{"key":"17_CR5","volume-title":"IEEE Workshop on Mobile Computing Systems and Applications","author":"A. Asthana","year":"1994","unstructured":"Asthana, A., Cravatts, M., Krzyzanowski, P.: An Indoor Wireless System for Personalized Shopping Assistance. In: IEEE Workshop on Mobile Computing Systems and Applications, IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Bennett, F., Richardson, T., Harter, A.: Teleporting \u2013 Making Applications Mobile. In: Workshop on Mobile Computing Systems and Applications (1994)","DOI":"10.1109\/WMCSA.1994.36"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. The Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"The Journal of Systems and Software"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-540-24634-3_6","volume-title":"Coordination Models and Languages","author":"P. Braione","year":"2004","unstructured":"Braione, P., Picco, G.P.: On Calculi for Context-Aware Coordination. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 38\u201354. Springer, Heidelberg (2004)"},{"key":"17_CR9","series-title":"ENTCS","volume-title":"Proc. of FOCLASA\u201906","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., C\u00e1mara, J., Canal, C., Cubo, J., Pimentel, E.: Dynamic Contextual Adaptation. In: Proc. of FOCLASA\u201906. ENTCS, Elsevier, Amsterdam (2006)"},{"key":"17_CR10","unstructured":"Bukovics, B.: Pro WF: Windows Workflow in .NET 3.0. (Apress, 2007)"},{"issue":"1","key":"17_CR11","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet\u00a012(1), 9\u201331 (2006) Special Issue on the 1st International Workshop on Coordination and Adaptation of Software Entities (WCAT\u201904)","journal-title":"L\u2019Objet"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Canal","year":"2006","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"UbiComp 2003: Ubiquitous Computing","author":"H. Chen","year":"2003","unstructured":"Chen, H., Finin, T., Joshi, A.: An Intelligent Broker for Context-Aware Systems. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol.\u00a02864, Springer, Heidelberg (2003)"},{"key":"17_CR14","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1984","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1984)"},{"issue":"3","key":"17_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock-free Software Architectures for COM\/DCOM Applications. The Journal of Systems and Software\u00a065(3), 173\u2013183 (2003)","journal-title":"The Journal of Systems and Software"},{"key":"17_CR16","unstructured":"ISO. LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Standards Organisation (1989)"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-0-387-35563-4_3","volume-title":"Behaviour Analysis of Software Architectures","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures, pp. 35\u201349. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"17_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"17_CR19","unstructured":"OMG. CORBA Component Model Specification, version 4.0. Object Management Group (2006)"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An Introduction to the \u03c0-Calculus. In: Handbook of Process Algebra, Chapter\u00a08, pp. 479\u2013543. Elsevier, Amsterdam (2001)"},{"key":"17_CR21","first-page":"434","volume-title":"Proc. of CHI\u201999","author":"D. Salber","year":"1999","unstructured":"Salber, D., Dey, A.K., Abowd, G.D.: The Context Toolkit: Aiding the Development of Context-Enabled Applications. In: Proc. of CHI\u201999, pp. 434\u2013441. ACM Press, New York (1999)"},{"key":"17_CR22","first-page":"85","volume-title":"Proceedings of IEEE Workshop on Mobile Computing Systems and Applications","author":"B. Schilit","year":"1994","unstructured":"Schilit, B., Adams, N., Want, R.: Context-aware Computing Applications. In: Proceedings of IEEE Workshop on Mobile Computing Systems and Applications, pp. 85\u201390. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"17_CR23","first-page":"213","volume-title":"Proc. of FMOODS\u201902","author":"H.W. Schmidt","year":"2002","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating Adapters For Concurrent Component Protocol Synchronisation. In: Proc. of FMOODS\u201902, pp. 213\u2013229. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"17_CR24","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2003","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison Wesley, Reading (2003)","edition":"2"},{"issue":"5","key":"17_CR25","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"Wermelinger, M., Fiadeiro, J.: Connectors for Mobile Programs. IEEE Transactions on Software Engineering\u00a024(5), 331\u2013341 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"17_CR26","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 Components 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","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:05:31Z","timestamp":1605762331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_17","relation":{},"subject":[]}}