Vi söker efter en liten uppsättning primitiver som kan tjäna som en grund för att formalisera och programmera serviceorienterade applikationer över globala datorer. Som ett resultat av denna studie introducerar vi här SCC, en processkalkyl som innehåller explicita begrepp om tjänstedefinition, tjänsteanrop och sessionshantering. Vårt förslag har påverkats av Orc, en programmeringsmodell för strukturerad orkestrering av tjänster, men SCC:s sessionshanteringsmekanism möjliggör en definition av strukturerade interaktionsprotokoll, mer komplex än den grundläggande begäran-respons som Orc tillhandahåller. Vi presenterar syntax och operativa semantik av SCC och ett antal enkla men icke-triviala programmering exempel som visar flexibilitet av den valda uppsättningen av primitiva. Några kodningar tillhandahålls också som relaterar vårt förslag till befintliga. ................................................................................................................... (............................ (.......................... (.................................................................................... 
Den tjänstecentrerade analysen (SCC) REF innehåller explicita begrepp om tjänstedefinition, tjänsteanrop och sessionshantering.
SCC: a Service Centered Calculus
{'venue': 'In Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}