University of Surrey

Test tubes in the lab Research in the ATI Dance Research

A set-theoretic framework for component composition

Moschoyiannis, Sotiris and Shields, MW (2004) A set-theoretic framework for component composition FUNDAMENTA INFORMATICAE, 59 (4). pp. 373-396.

Available under License : See the attached licence file.

Download (165kB)
Text (licence)

Download (33kB)


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 for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a component and identify properties that ensure its potential behaviour can be captured. Based on that, we give a formal definition of composition and examine its effect on the individual components. We argue that properties of the individual components can, under certain conditions, be preserved in the composite. The proposed framework can be used for guiding the composition of components as it advocates formal reasoning about the composite before the actual composition takes place.

Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Shields, MW
Date : 1 March 2004
Copyright Disclaimer : Reprinted from Fundamenta Informaticae, Vol 59 No. 4, Moschoyiannis S. and Shields M.W., A Set-Theory Framework for Competent Composition, pp. 373-396, Copyright 2004, with permission from IOS Press
Uncontrolled Keywords : Science & Technology, Technology, Physical Sciences, Computer Science, Software Engineering, Mathematics, Applied, Computer Science, Mathematics, COMPUTER SCIENCE, SOFTWARE ENGINEERING, MATHEMATICS, APPLIED, components, composition, associativity, normality, order theory, vector semantics
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 08 Jan 2013 16:42
Last Modified : 19 Oct 2018 17:31

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800