Köra distribuerade program i molnet innebär distribution. Det vill säga distribution och konfiguration av applikationstjänster och infrastruktur för mellanprogram. Den avsevärda komplexiteten i dessa uppgifter resulterade i uppkomsten av deklarativa JSON-baserade domänspecifika distributionsspråk för att utveckla distributionsprogram. Befintliga distributionsprogram är dock osäkra på att komponera artefakter skrivna på olika språk, vilket leder till fel som är svåra att upptäcka innan körtid. Dessutom tillhandahåller distributionsspråk inte förlängningspunkter för anpassade implementationer av befintliga molntjänster såsom tillämpningsspecifika belastningsbalanseringsstrategier. För att åtgärda dessa brister föreslår vi CPL (Cloud Platform Language), ett statiskt typat kärnspråk för programmering av både distribuerade applikationer och deras installation på en molnplattform. I CPL interagerar applikationstjänster och distributionsprogram genom statiskt maskinskrivna, extensibla gränssnitt, och ett program kan utlösa ytterligare distribution på körtid. Vi tillhandahåller en formell semantik av CPL och visar att den möjliggör typsäkra, kompatibla och extensible bibliotek av servicekombinatorer, såsom lastbalansering och feltolerans.
CPL REF är ett kärnspråk för att definiera molntjänster och deras spridning på molnplattformar som syftar till att möjliggöra statiskt säker tjänstesammansättning och anpassade implementationer av molntjänster.
CPL: a core language for cloud computing
{'venue': 'MODULARITY 2016', 'journal': None, 'mag_field_of_study': ['Computer Science']}