Abstract
An interface specification serves as the sole medium for component understanding and use. Current practice of deriving these specifications for composite components does not give much weight to doing it systematically and unambiguously. This paper presents our progress on developing an approach to tackle this issue. We focus on deriving functional interface specifications for composite components, constructed via composition operators. In our approach, the composites’ interfaces are not generated in an ad hoc manner via delegation mechanisms, but are derived systematically, consistently and largely automatically via a set of functions on the functional interfaces of the composed components. Via an example, we illustrate the aforementioned benefits as well as the fact that our approach provides a new view into the space of interface generation.
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
Broy, M., Deimel, A., Henn, J., Koskimies, K., Plasil, F., Pomberger, G., Pree, W., Stal, M., Szyperski, C.: What characterizes a (software) component? Software - Concepts and Tools 19(1), 49–56 (1998)
Crnković, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.V.: A classification framework for software component models. IEEE Trans. on Software Engineering (2010) (pre-Prints)
Ducasse, S., Nierstrasz, O., Schärli, N., Wuyts, R., Black, A.P.: Traits: A mechanism for fine-grained reuse. ACM Trans. on Prog. Languages and Systems 28, 331–388 (2006)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading (1995)
Geisterfer, C.J.M., Ghosh, S.: Software component specification: A study in perspective of component selection and reuse. In: Proc. of the 5th Int. Conf. on Commercial-off-the-Shelf (COTS)-Based Software Systems. IEEE Computer Society, Los Alamitos (2006)
Lau, K.-K., Ling, L., Velasco Elizondo, P.: Towards composing software components in both design and deployment phases. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 274–282. Springer, Heidelberg (2007)
Lau, K.-K., Ornaghi, M., Wang, Z.: A software component model and its preliminary formalisation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 1–21. Springer, Heidelberg (2006)
Lau, K.-K., Wang, Z.: A survey of software component models. Preprint CSPP-38, School of Computer Science, The University of Manchester (May 2006)
Potter, B., Till, D., Sinclair, J.: An Introduction to Formal Specification and Z, 2nd edn. Prentice Hall PTR, Upper Saddle River (1996)
Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical Report BPM-06-22, BPM Center (2006)
Sentilles, S., Štěpán, P., Carlson, J., Crnković, I.: Integration of extra-functional properties in component models. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol. 5582, pp. 173–190. Springer, Heidelberg (2009)
Ullman, J.D.: Elements of ML programming. Prentice-Hall, Inc., Upper Saddle River (1998)
Velasco Elizondo, P.: Systematic and automated development with reuse (2009), http://www.cimat.mx/~pvelasco/exo/exotool_en.html
Velasco Elizondo, P., Lau, K.-K.: A catalogue of component connectors to support development with reuse. Journal of Systems and Software 83(7), 1165–1178 (2010)
Velasco Elizondo, P., Ndjatchi, M.K.C.: Functional Specification of Composite Components. Technical Report I-10-05/24-06-2010(CC/CIMAT), Centre for Mathematical Research (June 2010), http://www.cimat.mx/reportes/enlinea/I-10-05.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Velasco Elizondo, P., Ndjatchi, M.K.C. (2011). Deriving Functional Interface Specifications for Composite Components. In: Apel, S., Jackson, E. (eds) Software Composition. SC 2011. Lecture Notes in Computer Science, vol 6708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22045-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-22045-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22044-9
Online ISBN: 978-3-642-22045-6
eBook Packages: Computer ScienceComputer Science (R0)