Compatibility and performance analyses for component-based systems
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).
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
Component-based systems, component compatibility, component composition,
Petri nets, timed Petri nets, performance analysis.
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.