CooPer: Coordination With Performance Guarantees

Summary

De component_connector is een krachtig concept voor het coördineren van acitiviteiten in een gedistribueerde rekenomgeving. Coördinatiemodellen en _talen maken het mogelijk om component-connectoren formeel te specificeren en te implementeren. Compositionele coördinatiemodellen en _talen, zoals Reo, maken het daarbij ook mogelijk om complexe component_connectoren te bouwen met behulp van simpelere basisconnectoren, en vormen daarmee een krachtig middel voor het bouwen van grootschalige gedistribueerde applicaties. Een belangrijk probleem bij grootschalige gedistribueerde rekenomgevingen waarin bepaalde resources (bandbreedte, rekenkracht) slechts beperkt beschikbaar zijn is echter dat de kwaliteit die de eindgebruiker van een dienst ervaart kan verslechteren. Om dit te voorkomen is het belangrijk dat garanties kunnen worden afgegeven over de kwaliteit van component_connectoren, en dat die vervolgens kunnen worden vertaald in garanties voor de kwaliteit die de eindgebruiker ervaart. Het doel van het project is daarom het ontwikkelen van modellen en tools voor specificeren en implementeren van een coördinatiemodel waarin kwaliteitsgaranties worden meegenomen, waarmee het mogelijk wordt de kwaliteit van grootschalige gedistribueerde applicaties in de hand te houden. Om dit doel te bereiken zullen we: kwantitative modellen ontwikkelen en valideren voor basisconnectoren waaruit een gedistribueerde applicatie is opgebouwd; rekenregels ontwikkelen waarmee de kwaliteit op de basisconnectorlaag, de connectorlaag en de applicatielaag aan elkaar kunnen worden gerelateerd; en deze modellen gebruiken voor het ontwikkelen en implementeren van een kwaliteitscontrolesysteem dat snel en efficiënt kan ingrijpen wanneer kwaliteitsgedradatie optreedt. Het CooPer project complementeert het theoretische en technologische raamwerk dat is ontwikkeld in de context van CIM, C-QUATTRO en BRICKS AFM3-1.

Output

Thesis

  • Y.J. Moon(2011): Stochastic models for quality of service of component connectors , AMSTERDAM  October 25, 2011

Scientific article

  • F. Arbab, M. Sun(2007): Web Services Choreography and Orchestration in Reo and Constraint Automata 22nd Annual ACM Symposium on Applied Computing, SAC'07
  • M. Sun, T. Chothia, Y.-J. Moon, F. Arbab(2007): Component Connectors with QoS Guarantees Proceedings of 9th International Conference on Coordination Models and Languages, Coordination'07, LNCS 4467 pp. 286 - 304
  • M. Sun, F. Arbab(2007): Web Services Choreography and Orchestration in Reo and Constraint Automata Proceedings of 22nd Annual ACM Symposium on Applied Computing, SAC'07 pp. 346 - 353
  • M. Sun, F. Arbab(2007): On Resource-Sensitive Timed Component Connectors Proceedings of 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS'07, LNCS 4468. IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS'07, LNCS 4468. pp. 301 - 316
  • M. Sun, Z. Naixiao(2007): On Composition and Refinement of Domain-Specific Languages in the Model of Language Family Proceedings of the International Conference on Software Engineering Research and Practice, SERP'07 pp. 190 - 196
  • M. Sun(2007): QCCS: A Formal Model to Enforce QoS Requirements in Service Composition Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07 pp. 389 - 400
  • M. Sun(2007): Pre-Galois Connection on Coalgebras for Generic Component Refinement Proceedings of 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS'07

Details

Project number

643.000.501

Main applicant

Prof. dr. F. Arbab

Affiliated with

Universiteit Leiden, Faculteit der Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)

Team members

Dr. Y.J. Moon, Dr. M. Sun, Drs. C.G. Verhoef

Duration

01/01/2006 to 31/12/2011