A Set-Theoretic Framework for Component Composition

  title={A Set-Theoretic Framework for Component Composition},
  author={Sotiris Moschoyiannis and Michael W. Shields},
  journal={Fundam. Inform.},
Modern software systems become increasingly complex as they are expected to support a large variety of different functions. We need to create more software in a shorter time, and without compromising the quality of the software. In order to build such systems efficiently, a compositional approach is required. This entails some formal technique for analysis and reasoning on local component properties as well as on properties of the composite. In this paper, we present a mathematical framework… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 27 references

Executable UML, Object Technology

  • S. Mellor, M. Balcer
  • 2002
Highly Influential
10 Excerpts

Component-Based Systems II: Composition of Components

  • M. W. Shields, D. Pitt
  • Technical Report SCOMP-TC-03-01, Department of…
  • 2001
Highly Influential
6 Excerpts

UML Components, Component Software

  • J. Cheesman, J. Daniels
  • 2001
Highly Influential
12 Excerpts

Component-Based Systems I: Theory of a Single Component

  • M. W. Shields, D. Pitt
  • Technical Report SCOMP-TC-01-01,
  • 2001
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…