Abstract-För att stödja en strikt utveckling av molnapplikationer, behövs en formell modell för förståelse och resonemang om molntjänster. Unifying Theories of Programming (UTP) utgör en formell semantisk grund för olika expressiva programmerings- och specificeringsspråk. Ett nyckelkoncept i UTP är design: det välkända pre / post-condition paret som beskriver ett kontrakt. I detta papper använder vi UTP för att tillhandahålla en formell modell för cloud computing, där molntjänster tolkas som konstruktioner i UTP. Raffinering och likvärdighet förhållandet mellan molntjänster kan naturligt fastställas genom implikation mellan predikat. En familj av kompositionsoperatörer som kan användas för att sätta samman olika molntjänster för att konstruera mer komplexa tjänster och applikationer definieras utifrån designmodellen för molntjänster. Å andra sidan kan dynamisk omkonfigurering av molnapplikationer hanteras även inom ramen för designmodellen, genom att tillämpa omkonfigureringsreglerna för designmodellerna för motsvarande applikationer.
De tolkade molntjänster som design i UTP och diskuterade sammansättning och dynamisk omkonfigurering av molntjänster REF.
A Formal Design Model for Cloud Services
{'venue': 'SEKE', 'journal': None, 'mag_field_of_study': ['Computer Science']}