CooPer: Coordination With Performance Guarantees

Cooper poster op SIREN 2005

Samenvatting:

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 eindgebru iker 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 e-cië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.