Abstract | ||
---|---|---|
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models and languages serve as a means to formally specify and implement component and service connectors. They support large-scale distributed applications by allowing construction of complex component connectors out of simpler ones. Modelling, analysis, and ensuring end-to-end Quality of Service (QoS) represent key concerns in such large-scale distributed applications. In this paper we introduce a compositional model of QoS, called Quantitative Constraint Automata, that reflects the underlying architecture of component/service composition represented by the Reo connector circuits. These can support compositional reasoning about component/service connectors, modelled as Reo circuits with QoS properties. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-72794-1_16 | COORDINATION |
Keywords | Field | DocType |
qos guarantee,qos property,reo connector circuit,compositional model,reo circuit,compositional reasoning,quantitative constraint automata,compositional coordination model,complex component,service composition,component connector,service connector,distributed application,quality of service | Architecture,Quantitative Constraint,Computer science,Automaton,Quality of service,Service composition,Compositional reasoning,Cable gland,Reo Coordination Language,Distributed computing | Conference |
Volume | ISSN | Citations |
4467 | 0302-9743 | 24 |
PageRank | References | Authors |
0.86 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Farhad Arbab | 1 | 2667 | 177.77 |
Tom Chothia | 2 | 441 | 29.82 |
Sun Meng | 3 | 296 | 33.69 |
Young-Joo Moon | 4 | 70 | 3.98 |