Vi inför en formell ram för att studera mekanismen för korrelation i orkestreringsspråk för Web Services. En kärnanalys baserad på typiska processalgebraiska konstruktioner utvecklas, förstärkt med två mekanismer: i) en hantering av omfattningar hålla reda på variabler, egenskaper, och deras tilldelning till värden, och ii) en konstruktion för att lek tjänst instanser hantering (cor-) relaterad verksamhet och garantera konsekvent routing av meddelanden. Genom att abstrahera bort från detaljer på låg nivå i orkestreringsspråk kan denna modell användas som grund för korrelationsmekanismen, som banar väg för analys av egenskaper och utformning av förlängningar och förbättringar. Som exempel visar vi hur den införda kalkylen kan utökas med få nödvändiga och kontrollflödeskonstruktioner som når uttryckligheten i ett betydande fragment av BPEL-orkestreringsspråket.
I REF presenteras en analys baserad på processalgebra och förstärkt med ett system för korrelering av relaterade operationer.
A core calculus for correlation in orchestration languages
{'venue': 'J. Log. Algebr. Program.', 'journal': 'J. Log. Algebr. Program.', 'mag_field_of_study': ['Computer Science']}