Abstract
The dependability of component-based systems mainly relies on the ability to guarantee the safe collaboration of components. Many specification formalisms can then be used and we argue that such specifications should be organized through an appropriate contract model so that guarantees and possible violations can be better exploited. In this paper, we propose a versatile contract model that explicitly reifies the assumptions and guarantees of some behavioral specifications on component assemblies. We briefly illustrate the integration of executable assertions and we detail how Behavior Protocols can be integrated in the contract model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)
Meyer, B.: Applying “Design by Contract”. IEEE Computer 25(10), 40–51 (1992)
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.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 187–202. Springer, Heidelberg (2005)
Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Trans. Software Eng. 28(11), 1056–1076 (2002)
Sassen, A., Amoros, G., Donth, P., Geihs, K., Jézéquel, J., Odent, K., Plouzeau, N., Weis, T.: QCCS: A Methodology for the Development of Contract-Aware Components Based on Aspect-Oriented Design. In: Workshop on Early Aspects (AOSD-2002), Enschede, The Netherlands (2002)
Jézéquel, J.M., Defour, O., Plouzeau, N.: An MDA Approach to Tame Component Based Software Development. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 260–275. Springer, Heidelberg (2004)
Tran, H.M., Bedu, P., Duchien, L., Nguyen, H.Q., Perrin, J.: Toward Structural and Behavioral Analysis for Component Models. In: SAVBCS 2004 Workshop, NewPort Beach, California, USA (2004)
Aegedal, J.: Quality of Service Support in Development of Distributed Systems. PhD Thesis, University Of Oslo (2001)
Rausch, A.: Software Evolution in Componentware Using Requirements/Assurances Contracts. In: ICSE, pp. 147–156 (2000)
Reussner, R., Poernomo, I.H., Schmidt, H.W.: Reasoning about Software Architectures with Contractually Specified Components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol. 2693, pp. 287–325. Springer, Heidelberg (2003)
Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (1999)
Bruneton, E., Coupaye, T., Leclercq, M., Quema, 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., Ozanne, A., Rivierre, N.: 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)
Kofron, J., Adamek, J., Bures, T., Jesek, P., Mencl, V.: Checking Fractal Component Behaviour Using Behaviour Protocols. In: Fractal Workshop, ECOOP 2006 (2006)
Abadi, M., Lamport, L.: Conjoining Specifications. ACM Transactions on Programming Languages and Systems 17(3), 507–534 (1995)
Chang, H., Collet, P.: Fine-Grained Contract Negotiation for Hierarchical Software Components. In: EUROMICRO-SEAA 2005, Portugal, IEEE Computer Society, Los Alamitos (2005)
Frolund, S., Koistinen, J.: Quality of Service Aware Distributed Object Systems. Technical Report HPL-98-142, Hewlett Packard Laboratory (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Collet, P., Ozanne, A., Rivierre, N. (2007). Towards a Versatile Contract Model to Organize Behavioral Specifications. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_73
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)