{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:41Z","timestamp":1725586781084},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"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-21437-0_10","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:33:16Z","timestamp":1308367996000},"page":"103-117","source":"Crossref","is-referenced-by-count":8,"title":["Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS\u00a0NT and CADP"],"prefix":"10.1007","author":[{"given":"Fabienne","family":"Boyer","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Gruber","sequence":"additional","affiliation":[]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-540-31980-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Bergamini","year":"2005","unstructured":"Bergamini, D., Descoubes, N., Joubert, C., Mateescu, R.: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 581\u2013585. Springer, Heidelberg (2005)"},{"issue":"11-12","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"\u00c9. Bruneton","year":"2006","unstructured":"Bruneton, \u00c9., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The Fractal Component Model and its Support in Java. Software \u2013 Practice and Experience\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Software \u2013 Practice and Experience"},{"key":"10_CR4","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.1). INRIA\/VASY, 109 pages (2010)"},{"key":"10_CR5","series-title":"IFIP Conference Proceedings","first-page":"229","volume-title":"Proc. of DAIS 2001","author":"M.A. Cornejo","year":"2001","unstructured":"Cornejo, M.A., Garavel, H., Mateescu, R., De Palma, N.: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. In: Proc. of DAIS 2001. IFIP Conference Proceedings, vol.\u00a0198, pp. 229\u2013244. Kluwer, Dordrecht (2001)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s004460100064","volume":"15","author":"G. Coulson","year":"2002","unstructured":"Coulson, G., Blair, G., Clarke, M., Parlavantzas, N.: The Design of a Configurable and Reconfigurable Middleware Platform. Distributed Computing\u00a015(2), 109\u2013126 (2002)","journal-title":"Distributed Computing"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1328671.1328672","volume":"26","author":"G. Coulson","year":"2008","unstructured":"Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A Generic Component Model for Building Systems Software. ACM Trans. Comput. Syst.\u00a026(1), 1\u201342 (2008)","journal-title":"ACM Trans. Comput. Syst."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11821946_6","volume-title":"Software Composition","author":"P.-C. David","year":"2006","unstructured":"David, P.-C., Ledoux, T.: An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP\u00a02006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"10_CR10","unstructured":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001. International Organization for Standardization \u2014 Information Technology (2001)"},{"key":"10_CR11","first-page":"207","volume-title":"Proc. of SOSP 2009","author":"G. Klein","year":"2009","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal Verification of an OS Kernel. In: Proc. of SOSP 2009, pp. 207\u2013220. ACM, New York (2009)"},{"issue":"11","key":"10_CR12","first-page":"1293","volume":"16","author":"J. Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE TSE\u00a016(11), 1293\u20131306 (1990)","journal-title":"IEEE TSE"},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1049\/ip-sen:19982297","volume":"145","author":"J. Kramer","year":"1998","unstructured":"Kramer, J., Magee, J.: Analysing Dynamic Change in Distributed Software Architectures. IEE Proceedings - Software\u00a0145(5), 146\u2013154 (1998)","journal-title":"IEE Proceedings - Software"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2009.10.006","volume":"76","author":"C. Krause","year":"2011","unstructured":"Krause, C., Maraikar, Z., Lazovik, A., Arbab, F.: Modeling Dynamic Reconfigurations in Reo using High-level Replacement Systems. Science of Computer Programming\u00a076(1), 23\u201336 (2011)","journal-title":"Science of Computer Programming"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","volume-title":"Component-Based Software Engineering","author":"S.S. Kulkarni","year":"2004","unstructured":"Kulkarni, S.S., Biyani, K.N.: Correctness of Component-Based Adaptation. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 48\u201358. Springer, Heidelberg (2004)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-13238-4_5","volume-title":"Component-Based Software Engineering","author":"M. L\u00e9ger","year":"2010","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable Dynamic Reconfigurations in a Reflective Component Model. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 74\u201392. Springer, Heidelberg (2010)"},{"key":"10_CR17","first-page":"3","volume-title":"Proc. of SIGSOFT FSE 1996","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: SIGSOFT FSE 1996, pp. 3\u201314. ACM, New York (1996)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming\u00a046(3), 255\u2013281 (2003)","journal-title":"Science of Computer Programming"},{"key":"10_CR19","first-page":"21","volume-title":"Proc. of ESEC \/ SIGSOFT FSE 2001","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Proc. of ESEC \/ SIGSOFT FSE 2001, pp. 21\u201332. ACM, New York (2001)"},{"key":"10_CR20","first-page":"371","volume-title":"Proc. of ICSE 2006","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software. In: Proc. of ICSE 2006, pp. 371\u2013380. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T22:02:45Z","timestamp":1553810565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}