A set-theoretic framework for component composition
Fundamenta Informaticae
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Component-based HazOp and fault tree analysis in developing embedded real-time systems with UML
ICECS'05 Proceedings of the 4th WSEAS international conference on Electronics, control and signal processing
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software 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 model can be used for guiding the composition of components as it advocates formal reasoning about the composite before theactual composition takes place.