Defining “Predictable Assembly”
Predictable assembly in component-based software development intuitively means the ability to predict effectively properties of a system, making essential use of properties of its components. A formal definition is difficult to give, because the idea is a large, vague one. As an outgrowth of an informal workshop, this paper frames a mathematical definition. A somewhat surprising consequence of the formal definition is that assembly is usually predictable, but each particular case requires engineering effort to establish.
KeywordsInput Sequence Element Test Series Assembly Intuitive Semantic Informal Workshop
Unable to display preview. Download preview PDF.
- 1.Szyperski, C.: Component Software, 2nd edn. Addison-Wesley, Reading (2002)Google Scholar
- 2.Meyer, B.: Object-oriented Software Construction. Prentice-Hall, Englewood Cliffs (2000)Google Scholar
- 3.Roman, E., Ambler, S., Jewell, T.: Mastering Enterprise JavaBeans, 2nd edn. John Wiley and Sons, Chichester (2001)Google Scholar
- 5.Heineman, G.T., Councill, W.T.: Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Reading (2001)Google Scholar
- 6.Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Science of Computer Programming, 3–52 (2005)Google Scholar
- 7.Hamlet, D., Andric, M., Tu, Z.: Experiments with composing component properties. In: Proc. 6th ICSE Workshop on Component-based Software Engineering, Portland, OR (2003)Google Scholar
- 8.Hamlet, D., Mason, D., Woit, D.: Properties of software systems synthesized from components. In: Lau, K.K. (ed.) Case Studies in Computer-based Software Engineering. World Scientific, Singapore (2004)Google Scholar