Communicating sequential processes
Communicating sequential processes
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Algebraic specification of reactive systems
Theoretical Computer Science
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Component-Based Design: Towards Guided Composition
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Formal specification of Catalysis frameworks
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Categories of asynchronous systems
Categories of asynchronous systems
Concurrent Logic and Automata Combined: A Semantics for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A True-Concurrent Interpretation of Behavioural Scenarios
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Snapshots of a Component Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
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.