ITU

Structured Communication-Centered Programming for Web Services

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Standard

Structured Communication-Centered Programming for Web Services. / Carbone, Marco; Honda, Kohei; Yoshida, Nobuko.

In: A C M Transactions on Programming Languages and Systems, Vol. 34 (2), No. 8, 2012.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

@article{5c6869fc6df44738ae5240380af83c37,
title = "Structured Communication-Centered Programming for Web Services",
abstract = "This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point behaviors, using formal calculi based on session types. The global calculus, which originates from a Web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed π -calculus, precisely identifies a local behavior of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterparts preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.",
author = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
year = "2012",
language = "English",
volume = "34 (2)",
journal = "A C M Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery",
number = "8",

}

RIS

TY - JOUR

T1 - Structured Communication-Centered Programming for Web Services

AU - Carbone, Marco

AU - Honda, Kohei

AU - Yoshida, Nobuko

PY - 2012

Y1 - 2012

N2 - This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point behaviors, using formal calculi based on session types. The global calculus, which originates from a Web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed π -calculus, precisely identifies a local behavior of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterparts preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.

AB - This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point behaviors, using formal calculi based on session types. The global calculus, which originates from a Web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed π -calculus, precisely identifies a local behavior of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterparts preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.

M3 - Journal article

VL - 34 (2)

JO - A C M Transactions on Programming Languages and Systems

JF - A C M Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 8

ER -

ID: 37321571