{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T21:37:32Z","timestamp":1767908252074,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642118104","type":"print"},{"value":"9783642118111","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11811-1_8","type":"book-chapter","created":{"date-parts":[[2010,2,19]],"date-time":"2010-02-19T06:57:22Z","timestamp":1266562642000},"page":"91-104","source":"Crossref","is-referenced-by-count":3,"title":["Specifying Self-configurable Component-Based Systems with FracToy"],"prefix":"10.1007","author":[{"given":"Alban","family":"Tiberghien","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Merle","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Seinturier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1109\/ASE.2002.1115028","volume-title":"ASE 2002: Proceedings of the 17th IEEE International Conference on Automated Software Engineering","author":"N. Aguirre","year":"2002","unstructured":"Aguirre, N., Maibaum, T.: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. In: ASE 2002: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Washington, DC, USA, p. 271. IEEE Computer Society, Los Alamitos (2002)"},{"key":"8_CR2","unstructured":"Allen, R.J.: A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon University (May 1997)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1075405.1075411","volume-title":"WOSS 2004: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems","author":"J.S. Bradbury","year":"2004","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A Survey of Self-Management in Dynamic Software Architecture Specifications. In: WOSS 2004: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pp. 28\u201333. ACM, New York (2004)"},{"key":"8_CR4","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 Transactions on Computer Systems\u00a026, 1\u201342 (2008)","journal-title":"ACM Transactions on Computer Systems"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"de Paula, V.C.C.: ZCL: A Formal Framework for Specifying Dynamic Software Architectures. PhD thesis, Federal University of Pernambuco (1999)","DOI":"10.5753\/sbes.1998.24016"},{"key":"8_CR6","unstructured":"Endler, M., Wei, J.: Programming generic dynamic reconfigurations for distributed applications. In: Proceedings of the International Workshop on Configurable Distributed Systems, pp. 68\u201379. IEE (1992)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/582128.582135","volume-title":"WOSS 2002: Proceedings of the first workshop on Self-healing systems","author":"I. Georgiadis","year":"2002","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: WOSS 2002: Proceedings of the first workshop on Self-healing systems, pp. 33\u201338. ACM, New York (2002)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-74035-3_11","volume-title":"Architecting Dependable Systems IV","author":"A.T.A. Gomes","year":"2007","unstructured":"Gomes, A.T.A., Batista, T.V., Joolia, A., Coulson, G.: Architecting Dynamic Reconfiguration in Dependable Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol.\u00a04615, pp. 237\u2013261. Springer, Heidelberg (2007)"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR10","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Jackson, D., Sullivan, K.: COM Revisited: Tool-Assisted Modelling of an Architectural Framework. In: SIGSOFT 2000\/FSE-8: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 149\u2013158 (2000)","DOI":"10.1145\/355045.355065"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer\u00a036, 41\u201350 (2003)","journal-title":"Computer"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1147249.1147259","volume-title":"ROSATEA 2006: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis","author":"J.S. Kim","year":"2006","unstructured":"Kim, J.S., Garlan, D.: Analyzing Architectural Styles with Alloy. In: ROSATEA 2006: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp. 70\u201380. ACM, New York (2006)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"1997","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering\u00a026, 70\u201393 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR15","unstructured":"Merle, P., Stefani, J.-B.: A formal specification of the Fractal component model in Alloy. Technical Report RR-6721, INRIA (November 2008)"},{"key":"8_CR16","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Number 0-201-74572-0 (2002)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11811-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T05:34:31Z","timestamp":1685424871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11811-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118104","9783642118111"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11811-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}