{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:49:52Z","timestamp":1743148192865,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642023507"},{"type":"electronic","value":"9783642023514"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02351-4_1","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T07:16:01Z","timestamp":1245222961000},"page":"1-17","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Waignier","sequence":"first","affiliation":[]},{"given":"Anne-Fran\u00e7oise","family":"Le Meur","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Duchien","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J. Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11494713_1","volume-title":"Software Architecture","author":"T. Batista","year":"2005","unstructured":"Batista1, T., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.\u00a03527, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"1_CR4","unstructured":"Wile, D.: Using dynamic acme. In: Proceedings of Working Conference on Complex and Dynamic Systems Architecture (2001)"},{"key":"1_CR5","first-page":"15","volume-title":"Proceedings of the 27th international conference on Software engineering (ICSE 2005)","author":"J.O. Kephart","year":"2005","unstructured":"Kephart, J.O.: Research challenges of autonomic computing. In: Proceedings of the 27th international conference on Software engineering (ICSE 2005), pp. 15\u201322. ACM, New York (2005)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-87875-9_27","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Waignier","year":"2008","unstructured":"Waignier, G., Sriplakich, P., Le Meur, A.F., Duchien, L.: A model-based framework for statically and dynamically checking component interactions. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 371\u2013385. Springer, Heidelberg (2008)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-24774-6_3","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: An open component model and its support in Java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 7\u201322. Springer, Heidelberg (2004)"},{"key":"1_CR8","unstructured":"OMG: CORBA Component Model, v4.0, formal\/06-04-01 (April 2006)"},{"key":"1_CR9","unstructured":"Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J.: Opencom v2: A component model for building systems software. In: IASTED Software Engineering and Applications (2004)"},{"key":"1_CR10","unstructured":"Nunziati, S.: Personal health record, \n                    \n                      www.d-m-p.org\/docs\/EnglishVersionDMP.pdf"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"1_CR12","unstructured":"OMG: Object Constraint Language (OCL). 2.0 edn. (May 2006)"},{"issue":"11","key":"1_CR13","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng.\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-87879-7_10","volume-title":"Quality of Software Architectures. Models and Architectures","author":"G. Waignier","year":"2008","unstructured":"Waignier, G., Le Meur, A.F., Duchien, L.: Architectural specification and static analyses of contractual application properties. In: Becker, S., Plasil, F., Reussner, R. (eds.) QoSA 2008. LNCS, vol.\u00a05281, pp. 152\u2013170. Springer, Heidelberg (2008)"},{"key":"1_CR15","unstructured":"Frolund, S., Koisten, J.: QML: A Language for Quality of Service Specification (1998)"},{"key":"1_CR16","unstructured":"IBM: WSLA Language Specification, V1.0. (2003)"},{"key":"1_CR17","unstructured":"(OGF), O.G.F.: Web Services Agreement Specification (WS-Agreement) (2007)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Paton, N.W., Schneider, F., Gries, D. (eds.): Active Rules in Database Systems (1998)","DOI":"10.1007\/978-1-4419-8656-6"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/11880240_28","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Tombelle","year":"2006","unstructured":"Tombelle, C., Vanwormhoudt, G.: Dynamic and generic manipulation of models: From introspection to scripting. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 395\u2013409. Springer, Heidelberg (2006)"},{"key":"1_CR20","unstructured":"BEA, IBM, Interface21, IONA, Oracle, SAP, Siebel, Sybase: Assembly Component Architecture - Assembly Model Specification Version 1.00 (March 2007)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1101480.1101483","volume-title":"Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing","author":"P.C. David","year":"2005","unstructured":"David, P.C., Ledoux, T.: Wildcat: a generic framework for context-aware applications. In: Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing, pp. 1\u20137. ACM, New York (2005)"},{"key":"1_CR22","unstructured":"Cecchet, E., Elmeleegy, H., Layaida, O., Qu\u00e9ma, V.: Implementing probes for j2ee cluster monitoring. In: Proceedings of OOPSLA 2004 Workshop on Component and Middleware Performance (2004)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Rouvoy, R., Conan, D., Seinturier, L.: Software architecture patterns for a context-processing middleware framework. IEEE Distributed Systems Online\u00a09(6) (2008)","DOI":"10.1109\/MDSO.2008.17"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1145\/1363686.1364081","volume-title":"Proceedings of the 2008 ACM symposium on Applied computing (SAC 2008)","author":"T.M. King","year":"2008","unstructured":"King, T.M., Ramirez, A., Clarke, P.J., Quinones-Morales, B.: A reusable object-oriented design to support self-testable autonomic software. In: Proceedings of the 2008 ACM symposium on Applied computing (SAC 2008), pp. 1664\u20131669. ACM, New York (2008)"},{"key":"1_CR25","unstructured":"Li, B., Nahrstedt, K.: Dynamic reconfiguration for complex multimedia applications. In: Proceedings of Multimedia Computing and Systems, pp. 165\u2013170 (1999)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, R., Lu, C., Abdelzaher, T., Stankovic, J.: Controlware: A middleware architecture for feedback control of software performance. In: Proceedings of Distributed Computing Systems, pp. 301\u2013310 (2002)","DOI":"10.21236\/ADA453374"}],"container-title":["Lecture Notes in Computer Science","Architectures for Adaptive Software Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02351-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:56:02Z","timestamp":1558266962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02351-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642023507","9783642023514"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02351-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}