Compatibility and performance analyses for component-based systems

Zuberek, W.M.

Proc. 25-th UK Performance Engineering Workshop, Leeds, UK, 6-7 July 2009, pp.242-245, University of Leeds 2009 (ISBN 978-0-9559703-1-3).

Abstract:

As software engineering continues to adopt a component-based approach toward the construction of increasingly complex software architectures, the need to assess the compatibility and interoperability of the individual software components is becoming critical during the integration phase of the software production process. This assessment includes performance analysis of integrated systems and verification of temporal requirements which can be of primary importance for many real-time and embedded systems. While manual and ad hoc strategies toward component integration have met with some success in the past, such techniques do not lend themselves well to automation. A more formal approach toward the compatibility and interoperability assessment is needed. Such a formal approach would permit an assessment based on automated techniques and would also help promote the reuse of existing software components.

Keywords:

Component-based systems, component compatibility, component composition, Petri nets, timed Petri nets, performance analysis.

References:

• M. Belguidoum, F. Dagnat, "Formalization of component substitutability"; Electronic Notes in Theoretical Computer Science, vol.215, pp.75-92, 2008.
• A.W. Brown, "An overview of components and component-based development"; in Advances in Computers, vol.54 - Trends in Software Engineering, pp.1-34, Academic Press 2001.
• S. Chaki, E.M. Clarke, A. Groce, S. Jha, H. Veith, "Modular verification of software components in C"; IEEE Trans. on Software Engineering, vol.30, no.6, pp.388-402, 2004.
• D.C. Craig, W.M. Zuberek, "Verification of component behavioral compatibility"; Proc. Second Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, pp.294-301, 2007.
• B. Meyer, "The grand challenge of trusted components"; Proc. 25-th Int. Conf. on Software Engineering, Portland, OR, pp.660-667, 2003.
• T. Murata, "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• C. Szyperski, "Component software and the way ahead"; in Foundations of component-based systems, G.T. Leavens, M. Sitaraman (eds.), pp.1-20, Cambridge University Press 2000.
• C. Szyperski (with D. Gruntz, S. Murer), Component software: beyond object-oriented programming (2 ed.); Addison-Wesley 2002.
• C. Szyperski, "Component technology - what, where, and how?"; Proc. 25-th Int. Conf. on Software Engineering, Portland, OR, pp.684-693, 2003.
• W.M. Zuberek, I. Bluemke, "Performance analysis of component-based systems"; Proc. Third Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, pp.293-300, 2008.

Available in pdf.