Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Composing Web Services: A QoS View
IEEE Internet Computing
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Software components as invariant-typed arrows
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Assuring Quality of Service (QoS) properties is critical in the development of component-based distributed systems. This paper presents an approach to introduce QoS constraints into a coalgebraic model of software components. Such constraints are formally captured through the concept of a Q-algebra which, in its turn, can be smoothly integrated in the definition of component combinators.