{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:51:07Z","timestamp":1743000667933,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642220449"},{"type":"electronic","value":"9783642220456"}],"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-22045-6_12","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T13:16:46Z","timestamp":1309180606000},"page":"165-180","source":"Crossref","is-referenced-by-count":1,"title":["Toward Validated Composition in Component-Based Adaptive Middleware"],"prefix":"10.1007","author":[{"given":"Annie","family":"Ressouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Yves","family":"Tigli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Carrillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"In: ARM 2010: Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware. ACM, New York (2010)"},{"key":"12_CR2","first-page":"221","volume-title":"ICSE 2004: Proceedings of the 26th International Conference on Software Engineering","author":"M. Caporuscio","year":"2004","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: ICSE 2004: Proceedings of the 26th International Conference on Software Engineering, pp. 221\u2013230. IEEE, Washington, DC, USA (2004)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002), http:\/\/nusmv.irst.itc.it"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/1806799.1806850","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, vol.\u00a01, pp. 335\u2013344. ACM, New York (2010), http:\/\/doi.acm.org\/10.1145\/1806799.1806850 http:\/\/doi.acm.org\/10.1145\/1806799.1806850"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Delaval, G., Rutten, \u00c9.: Reactive model-based control of reconfiguration in the fractal component-based model. In: 13th International Symposium on Component Based Software Engineering (CBSE 2010), Prague, Czech Republic (June 2010), http:\/\/pop-art.inrialpes.fr\/people\/delaval\/pub\/delaval-cbse10.pdf","DOI":"10.1007\/978-3-642-13238-4_6"},{"key":"12_CR6","series-title":"ESEC\/FSE-9","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/503209.503231","volume-title":"Proceedings of the 8th European Software Engineering Conference held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"K. Fisler","year":"2001","unstructured":"Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: Proceedings of the 8th European Software Engineering Conference held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Vienna, Austria. ESEC\/FSE-9, pp. 152\u2013163. ACM, New York (2001), http:\/\/doi.acm.org\/10.1145\/503209.503231 , doi:10.1145\/503209.503231"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-89707-1_13","volume-title":"Middleware for Network Eccentric and Mobile Applications","author":"P. Grace","year":"2009","unstructured":"Grace, P.: Dynamic adaptation. In: Miranda, H., Garbinato, B., Rodrigues, L. (eds.) Middleware for Network Eccentric and Mobile Applications, pp. 285\u2013304. Springer, Heidelberg (2009)"},{"key":"12_CR8","volume-title":"Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1993","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1993. Springer, Heidelberg (1993)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46674-6_1","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"N. Halbwachs","year":"1999","unstructured":"Halbwachs, N., Raymond, P.: Validation of synchronous reactive systems: From formal verification to automatic testing. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol.\u00a01742, p. 1. Springer, Heidelberg (1999)"},{"key":"12_CR10","first-page":"244","volume-title":"2007 Future of Software Engineering","author":"V. Issarny","year":"2007","unstructured":"Issarny, V., Caporuscio, M., Georgantas, N.: A perspective on the future of middleware-based software engineering. In: 2007 Future of Software Engineering, pp. 244\u2013258. IEEE Computer Society Press, Los Alamitos (2007), http:\/\/dx.doi.org\/10.1109\/FOSE.2007.2 http:\/\/dx.doi.org\/10.1109\/FOSE.2007.2"},{"key":"12_CR11","unstructured":"Hugues, J., Pautet, L., Kordon, F.: Refining middleware functions for verification purpose. In: Proceedings of the Monterey Workshop 2003 (MONTEREY 2003), Chicago, IL, USA, pp. 79\u201387 (September 2003)"},{"issue":"5","key":"12_CR12","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke Jr.","year":"1994","unstructured":"Clarke Jr., E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions om Programming Languages and Systems\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions om Programming Languages and Systems"},{"key":"12_CR13","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"2000","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"issue":"7","key":"12_CR14","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P.K. McKinley","year":"2004","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software. IEEE Computer\u00a037(7), 56\u201364 (2004), http:\/\/portal.acm.org\/citation.cfm?id=1008751.1008762 , doi:10.1109\/MC.2004.48","journal-title":"IEEE Computer"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Mealy, G.: A method to synthesizing sequential circuits. Bell Systems Technical Journal, 1045\u20131079 (1955)","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Lagnier, F., Halbwachs, C.R.N.: Programming and verifying critical systems by means of the synchronous data-flow programming language lustre. IEEE Transactions on Software Engineering (1992); Special Issue on the Specification and Analysis of Real-Time Systems","DOI":"10.1109\/32.159839"},{"key":"12_CR17","unstructured":"Ressouche, A., Tigli, J.-Y., Oscar, C.: Composition and Formal Validation in Reactive Adaptive Middleware. Research report, PULSAR - INRIA Sophia Antipolis - INRIA - Laboratoire d\u2019Informatique, Signaux, et Syst\u00e8mes de Sophia-Antipolis (I3S) \/ Equipe RAINBOW - Universit\u00e9 de Nice Sophia-Antipolis - CNRS: UMR6070, 02 (2011), Available from: http:\/\/hal.inria.fr\/inria-00565860\/en\/"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/248052.248053","volume-title":"Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 1996","author":"M. Satyanarayanan","year":"1996","unstructured":"Satyanarayanan, M.: Fundamental challenges in mobile computing. In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 1996, pp. 1\u20137. ACM, New York (1996), http:\/\/doi.acm.org\/10.1145\/248052.248053 http:\/\/doi.acm.org\/10.1145\/248052.248053"},{"key":"12_CR19","volume-title":"Annals of Telecommunication","author":"J.-Y. Tigli","year":"2009","unstructured":"Tigli, J.-Y., Lavirotte, S., Rey, G., Hourdin, V., Cheung, D., Callegari, E., Riveill, M.: Wcomp middleware for ubiquitous computing: Aspects and composite event-based web services. In: Annals of Telecommunication, vol.\u00a06, Springer, Paris (2009) ; ISSN 0003-4347 (Print) 1958-9395 (Online)"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/1005561.1005564","volume":"13","author":"N. Venkatasubramanian","year":"2004","unstructured":"Venkatasubramanian, N., Talcott, C., Agha, G.A.: A formal model for reasoning about adaptive qos-enabled middleware. ACM Trans. Softw. Eng. Methodol.\u00a013(1), 86\u2013147 (2004), http:\/\/doi.acm.org\/10.1145\/1005561.1005564 http:\/\/dx.doi.org\/http:\/\/doi.acm.org\/10.1145\/1005561.1005564","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M. Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the twenty-first century. Scientific American Ubicomp Paper\u00a0265, 94\u2013104 (1991)","journal-title":"Scientific American Ubicomp Paper"}],"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-642-22045-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T22:47:03Z","timestamp":1637966823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22045-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220449","9783642220456"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22045-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}