Abstract-Service-orienterade datorer har vuxit fram som ett nytt programvaruutvecklingsparadigm som möjliggör implementering av webbtillgängliga programvarusystem som består av distribuerade tjänster som interagerar med varandra genom att utbyta meddelanden. Modellering och analys av samverkan mellan tjänster är ett avgörande problem på detta område. Interaktioner mellan en uppsättning tjänster som deltar i en tjänstesammansättning kan ur global synvinkel beskrivas som en koreografi. Koreografier kan specificeras med hjälp av specifika språk såsom Web Services Koreografi Beskrivning Språk (WS-CDL) och visualiseras med hjälp av grafiska formalismer såsom samarbetsdiagram. I denna uppsats presenterar vi en kodning av samarbetsdiagram i LOTOS process algebra för koreografianalys. Denna kodning gör det möjligt för oss att 1) kontrollera tidsmässiga egenskaper koreografier med hjälp av en LOTOS verifikationsverktyg som kallas Konstruktion och analys av distribuerade processer (CADP) verktygslåda, 2) kontrollera realiserbarheten av koreografier för både synkron kommunikation och begränsad asynkron kommunikation, och 3) automatisera peer generation process. Verklighet indikerar om kamrater kan genereras från en given koreografi specifikation på ett sådant sätt att interaktionerna mellan de genererade kamraterna exakt motsvarar koreografi specifikationen. Om ett samarbetsdiagram är ogenomförbart, utökar vårt tillvägagångssätt peer generation processen genom att lägga till extra kommunikation som garanterar att kamraterna beter sig enligt koreografi specifikationen.
Salaün m.fl. REF presenterade en metod för kodning av samarbetsdiagram i LOTOS-processen algebra.
Realizability of Choreographies Using Process Algebra Encodings
{'venue': 'IEEE Transactions on Services Computing', 'journal': 'IEEE Transactions on Services Computing', 'mag_field_of_study': ['Computer Science']}