Defining “Predictable Assembly”

  • Dick Hamlet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4063)


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.


Input Sequence Element Test Series Assembly Intuitive Semantic Informal Workshop 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Szyperski, C.: Component Software, 2nd edn. Addison-Wesley, Reading (2002)Google Scholar
  2. 2.
    Meyer, B.: Object-oriented Software Construction. Prentice-Hall, Englewood Cliffs (2000)Google Scholar
  3. 3.
    Roman, E., Ambler, S., Jewell, T.: Mastering Enterprise JavaBeans, 2nd edn. John Wiley and Sons, Chichester (2001)Google Scholar
  4. 4.
    Broy, M., Stølen, K.: Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement. Springer, Heidelberg (2001)MATHGoogle Scholar
  5. 5.
    Heineman, G.T., Councill, W.T.: Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Reading (2001)Google Scholar
  6. 6.
    Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Science of Computer Programming, 3–52 (2005)Google Scholar
  7. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dick Hamlet
    • 1
  1. 1.Portland State UniversityPortlandUSA

Personalised recommendations