Abstract
Composition is a core concept of component and service-based models. In hierarchical component composition, promotion is used to make services available at a higher level of the hierarchy without breaking encapsulation. In this article we will study different kinds of promotion of services equipped with contracts, their usefulness, as well as their safety by considering appropriate proof obligations. We introduce several explicit assertion constructs in order to reduce the proof effort. We study the impact of encapsulation and rich state description on these promotions. We illustrate the approach (specification and verification) with the Kmelia component language.
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.
References
Abrial, J.R.: The B-Book Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0-521-49619-5
André, P., Ardourel, G., Attiogbé, C., Lanoix, A.: Contract-based Verification of Kmelia Component Assemblies using Event-B. In: Proceedings of FESCA (2010)
André, P., Ardourel, G., Attiogbé, C., Lanoix, A.: Using assertions to enhance the correctness of kmelia components and their assemblies. ENTCS 263, 5–30 (2010); Proceedings of FACS 2009
Baude, F., Caromel, D., Henrio, L., Morel, M.: Collective interfaces for distributed components. In: CCGRID, pp. 599–610. IEEE Computer Society, Los Alamitos (2007)
Bauer, S.S., Hennicker, R., Bidoit, M.: A Modal Interface Theory with Data Constraints. In: Proceedings of the 13th Brazilian Symposium on Formal Methods (SBMF 2010). LNCS series of Springer (to appear)
Beugnard, A., Jézéquel, J.M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38–45 (1999)
Brogi, A.: On the Potential Advantages of Exploiting Behavioural Information for Contract-based Service Discovery and Composition. Journal of Logic and Algebraic Programming (March 2010), http://dx.doi.org/10.1016/j.jlap.2010.01.001
Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience 36(11-12) (2006)
Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: Proceedings of SERA, pp. 40–48. IEEE Computer Society, Los Alamitos (2006)
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–33. Springer, Heidelberg (2007)
Crnkovic, I., Larsson, M.: Component based software engineering - state of the art. Technical Report ISSN 1404-3041 ISRN MDH-MRTC-15/2000-1-SE, Mälardalen University (January 2000)
Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. Electr. Notes Theor. Comput. Sci. 207, 33–48 (2008)
Enselme, D., Florin, G., Legond-Aubry, F.: Design by contract: analysis of hidden dependencies in component based application. Journal of Object Technology 3(4), 23–45 (2004)
Graf, S., Quinton, S.: Contracts for bip: Hierarchical interaction models for compositional verification. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 1–18. Springer, Heidelberg (2007)
Krämer, B.J.: Component meets service: what does the mongrel look like? ISSE 4(4), 385–394 (2008)
Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Reussner, R., Poernomo, I., 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)
Schmidt, H.: Trustworthy components-compositionality and prediction. J. Syst. Softw. 65(3), 215–225 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
André, P., Ardourel, G., Messabihi, M. (2012). Component Service Promotion: Contracts, Mechanisms and Safety. In: Barbosa, L.S., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2010. Lecture Notes in Computer Science, vol 6921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27269-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-27269-1_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27268-4
Online ISBN: 978-3-642-27269-1
eBook Packages: Computer ScienceComputer Science (R0)