Abstract
Autonomic computing aims at producing software systems that can manage themselves. As component-based development also partly addresses the complexity of large applications, we propose to combine the benefits of both approaches by using components equipped with negotiable contracts. These contracts specify the correct behavior of the components and play a central role in feedback control loops to enforce some autonomic features on components. In this paper, we present ConFract, a contract-based framework for hierarchical components in which contracts are runtime objects that are dynamically built from specifications, and automatically updated according to dynamic reconfigurations. Moreover, contracts clearly define the responsibilities (guarantor, beneficiaries) between their participating components which are exploited by some negotiations to automatically adapt components and contracts, and revalidate the system. The generic negotiation mechanism and an associated concession-based policy are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IBM: An Architectural Blueprint for Autonomic Computing (2003)
Parashar, M., Hariri, S.: Autonomic Computing: An Overview. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 257–269. Springer, Heidelberg (2005)
Sterritt, R., Parashar, M., Tianfield, H., Unland, R.: A Concise Introduction to Autonomic Computing. Advanced Engineering Informatics 19, 181–187 (2005)
Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: An Open Component Model and Its Support in Java. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 7–22. Springer, Heidelberg (2004)
Collet, P., Rousseau, R., Coupaye, T., Rivierre, N.: A Contracting System for Hierarchical Components. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 187–202. Springer, Heidelberg (2005)
Meyer, B.: Applying Design by contract. IEEE Computer 25, 40–51 (1992)
Collet, P., Rivierre, N., Ozanne, A.: Enforcing Different Contracts in Hierarchical Component-Based Systems. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 50–65. Springer, Heidelberg (2006)
Chang, H., Collet, P.: Fine-grained Contract Negotiation for Hierarchical Software Components. In: EUROMICRO-SEAA 2005, Portugal. IEEE Computer Society Press, Los Alamitos (2005)
Smith, R.G.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers 29, 1104–1113 (1980)
White, S.R., Hanson, J.E., Whalley, I., Chess, D.M., Kephart, J.O.: An Architectural Approach to Autonomic Computing.. In: ICAC 2004, USA. IEEE Computer Society Press, Los Alamitos (2004)
Balogh, Z., LaclavĂk, M., HluchĂ˝, L.: Model of Negotiation and Decision Support for Goods and Services. In: ASIS 2000, Czech Republic (2000)
Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: Specifying Behavioral compositions in Object-Oriented Systems. In: OOPSLA/ECOOP 1990, Canada (1990)
Frølund, S., Koistinen, J.: QML: A Language for Quality of Service Specification. Technical Report HPL-98-10, HP Lab (1998)
Loques, O., Sztajnberg, A.: Customizing Component-Based Architectures by Contract. In: Emmerich, W., Wolf, A.L. (eds.) CD 2004. LNCS, vol. 3083, pp. 18–34. Springer, Heidelberg (2004)
David, P.C., Ledoux, T.: Towards a Framework for Self-adaptive Component-Based Applications. In: Stefani, J.-B., Demeure, I., Hagimont, D. (eds.) DAIS 2003. LNCS, vol. 2893, pp. 1–14. Springer, Heidelberg (2003)
Göbel, S., Pohl, C., Aigner, R., Pohlack, M., Röttger, S., Zschaler, S.: The COMQUAD Component Container Architecture and Contract Negotiation. Technical report, Univ. Dresden (2004)
Liu, H., Parashar, M., Hariri, S.: A Component-Based Programming Model for Autonomic Applications. In: ICAC 2004. USA. IEEE Computer Society (2004)
Bennani, M.N., Menascé, D.A.: Assessing the Robustness of Self-Managing Computer Systems under Highly Variable Workloads. In: ICAC 2004, USA, IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chang, H., Collet, P., Ozanne, A., Rivierre, N. (2006). From Components to Autonomic Elements Using Negotiable Contracts. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds) Autonomic and Trusted Computing. ATC 2006. Lecture Notes in Computer Science, vol 4158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11839569_8
Download citation
DOI: https://doi.org/10.1007/11839569_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38619-3
Online ISBN: 978-3-540-38622-3
eBook Packages: Computer ScienceComputer Science (R0)