{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T04:19:47Z","timestamp":1725941987644},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741826"},{"type":"electronic","value":"9783319741833"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_9","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T08:02:43Z","timestamp":1516176163000},"page":"251-281","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Contracts-Based Control Integration into Software Systems"],"prefix":"10.1007","author":[{"given":"Filip","family":"K\u0159ikava","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Collet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Rouvoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Seinturier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abdelzaher, T., Bhatti, N.: Web server QoS management by adaptive content delivery. In: 7th International Workshop on Quality of Service (1999)","DOI":"10.1109\/IWQOS.1999.766497"},{"issue":"1","key":"9_CR2","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/71.980028","volume":"13","author":"T Abdelzaher","year":"2002","unstructured":"Abdelzaher, T., Shin, K., Bhatti, N.: Performance guarantees for Web server end-systems: a control-theoretical approach. IEEE Trans. Parallel Distrib. Syst. 13(1), 80\u201396 (2002)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ACM SIGSOFT Software Engineering Notes, vol. 26 (2001)","DOI":"10.1145\/503209.503226"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Asadollahi, R., Salehie, M., Tahvildari, L.: StarMX: a framework for developing self-managing Java-based systems. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (2009)","DOI":"10.1109\/SEAMS.2009.5069074"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Berekmeri, M., Serrano, D.: A Control Approach for Performance of Big Data Systems. In: Proceeding of the 2014 IFAC World Congress (2014)","DOI":"10.3182\/20140824-6-ZA-1003.01319"},{"issue":"7","key":"9_CR6","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38\u201345 (1999)","journal-title":"Computer"},{"issue":"4","key":"9_CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"FP Brooks","year":"1987","unstructured":"Brooks, F.P.: No silver bullet essence and accidents of software engineering. Computer 20(4), 10\u201319 (1987)","journal-title":"Computer"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., de Lemos, R., Laranjeiro, N., Ventura, R., Vieira, M.: Robustness evaluation of the rainbow framework for self-adaptation. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing (2014)","DOI":"10.1145\/2554850.2554935"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Cassou, D., Balland, E., Consel, C., Lawall, J.: Leveraging software architectures to guide and verify the development of sense\/compute\/control applications. In: 33rd International Conference on Software Engineering (2011)","DOI":"10.1145\/1985793.1985852"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Chang, H., Collet, P.: Fine-grained contract negotiation for hierarchical software components. In: 31th EUROMICRO-SEAA Conference - CBSE Track (2005)","DOI":"10.1109\/EUROMICRO.2005.27"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Cheng, S.W., Garlan, D., Schmerl, B.: Evaluating the effectiveness of the Rainbow self-adaptive system. In: 4th ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (2009)","DOI":"10.1007\/978-3-642-02161-9"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11821946_4","volume-title":"Software Composition","author":"P Collet","year":"2006","unstructured":"Collet, P., Ozanne, A., Rivierre, N.: Enforcing different contracts in hierarchical component-based systems. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 50\u201365. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11821946_4"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-77351-1_3","volume-title":"Software Composition","author":"P Collet","year":"2007","unstructured":"Collet, P., Malenfant, J., Ozanne, A., Rivierre, N.: Composite contract enforcement in hierarchical component systems. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 18\u201333. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77351-1_3"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Efftinge, S., Eysholdt, M., K\u00f6hnlein, J., Zarnekow, S., von Massow, R., Hasselbring, W., Hanus, M.: Xbase: implementing domain-specific languages for Java. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (2012)","DOI":"10.1145\/2371401.2371419"},{"issue":"1","key":"9_CR16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Ludvig, J., Neuendorffer, S., Sachs, S.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Filieri, A., Hoffmann, H., Maggio, M.: Automated design of self-adaptive software with control-theoretical formal guarantees. In: Proceedings 36th International Conference on Software Engineering (2014)","DOI":"10.1145\/2568225.2568272"},{"issue":"10","key":"9_CR18","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S., Huang, A., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self adaptation with reusable infrastructure. IEEE Comput. 37(10), 46\u201354 (2004)","journal-title":"IEEE Comput."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Hebig, R., Giese, H., Becker, B.: Making control loops explicit when architecting self-adaptive systems. In: Proceeding of the Second International Workshop on Self-Organizing Architectures (2010)","DOI":"10.1145\/1809036.1809042"},{"key":"9_CR20","doi-asserted-by":"crossref","DOI":"10.1002\/047166880X","volume-title":"Feedback Control of Computing Systems","author":"J Hellerstein","year":"2004","unstructured":"Hellerstein, J., Diao, Y., Parekh, S., Tilbury, D.: Feedback Control of Computing Systems. Wiley Online Library, Hoboken (2004)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L.: Engineering autonomic systems. In: Proceedings of the 6th International Conference on Autonomic Computing (2009)","DOI":"10.1145\/1555228.1555254"},{"issue":"3","key":"9_CR22","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. Artif. Intell. 8(3), 323\u2013364 (1977)","journal-title":"Artif. Intell."},{"key":"9_CR23","volume-title":"Spin Model Checker","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann, G.J.: Spin Model Checker, 1st edn. Addison-Wesley Professional, Boston (2003)","edition":"1"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"K\u0159ikava, F.: Domain-Specific Modeling Language for Self-Adaptive Software System Architectures. Ph.D. thesis, University of Nice Sophia-Antipolis (2013)","DOI":"10.1145\/2554850.2555020"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"K\u0159ikava, F., Collet, P., France, R.B.: ACTRESS: domain-specific modeling of self-adaptive software architectures. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing (2014)","DOI":"10.1145\/2554850.2555020"},{"issue":"8","key":"9_CR26","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/TSE.2006.79","volume":"32","author":"Y Traon Le","year":"2006","unstructured":"Le Traon, Y., Baudry, B., J\u00e9z\u00e9quel, J.M.: Design by contract to improve software vigilance. IEEE Trans. Software Eng. 32(8), 571\u2013586 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR27","unstructured":"Lu, Y., Abdelzaher, T., Lu, C., Tao, G.: An adaptive control framework for QoS guarantees and its application to differentiated caching. In: 10th International Workshop on Quality of Service (2002)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing, PODC 1987 (1987)","DOI":"10.1145\/41840.41852"},{"key":"9_CR29","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25, 40\u201351 (1992)","journal-title":"Computer"},{"key":"9_CR30","unstructured":"Meyer, B.: Object-Oriented Software Construction (1997)"},{"key":"9_CR31","unstructured":"Meyer, B.: Toward more expressive contracts. J. Object Oriented Program. 13(4) (2000)"},{"key":"9_CR32","unstructured":"Niz, D.D., Bhatia, G., Rajkumar, R.: Model-based development of embedded systems: the SysWeaver approach. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (2006)"},{"key":"9_CR33","unstructured":"Object Management Group: OMG Object Constraint Language (OCL). Technical report, February 2014"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-16612-9_5","volume-title":"Runtime Verification","author":"M Odersky","year":"2010","unstructured":"Odersky, M.: Contracts for scala. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 51\u201357. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_5"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Rosenblum, D.S., Taylor, R.N.: On the role of connectors in modeling and implementing software architectures. Department of Information and Computer Science, University of California, Technical report (1998)","DOI":"10.21236\/ADA634242"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Parizek P., Plasil, F., Kofron, J.: Model checking of software components: combining Java PathFinder and behavior protocol model checker. In: 30th Annual IEEE\/NASA Software Engineering Workshop (SEW-30) (2006)","DOI":"10.1109\/SEW.2006.23"},{"issue":"11","key":"9_CR37","doi-asserted-by":"crossref","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. Software Eng. 28(11), 1056\u20131076 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Design patterns for developing dynamically adaptive systems. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (2010)","DOI":"10.1145\/1808984.1808990"},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"Rouvoy, R., Barone, P., Ding, Y., Eliassen, F., Hallsteinsen, S., Lorenzo, J., Mamelli, A., Scholz, U.: MUSIC: middleware support for self-adaptation in ubiquitous and service-oriented environments. In: Proceedings of the 1st Workshop on Mobile, MobMid 2008 (2008)","DOI":"10.1145\/1462689.1462697"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (TAAS) 4(2) (2009)","DOI":"10.1145\/1516533.1516538"},{"issue":"5","key":"9_CR42","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"key":"9_CR43","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. Electron. Notes Theoret. Comput. Sci. 144, 109\u2013124 (2006)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Villegas, N.M., M\u00fcller, H.A., Tamura, G., Duchien, L., Casallas, R.: A framework for evaluating quality-driven self-adaptive software systems. In: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2011)","DOI":"10.1145\/1988008.1988020"},{"key":"9_CR45","unstructured":"Zhao, Y.: A model of computation with push and pull processing. Technical report, Technical Memorandum UCB\/ERL M03\/51, University of California, Berkeley (2003)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:01:43Z","timestamp":1570611703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}