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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2220365.2220367 | ACM Trans. Program. Lang. Syst. |
Keywords | Field | DocType |
end-point behavior,end-point counterpart,web services,well-structured description,global calculus,end-point calculus,web service description language,global description,end-point projection,structured communication-centered programming,formal calculus,global message flow,web service,communication protocol,working group,standardisation | World Wide Web,Programming language,Computer science,Structured communication,Theoretical computer science,Web service | Journal |
Volume | Issue | ISSN |
34 | 2 | 0164-0925 |
Citations | PageRank | References |
155 | 5.41 | 42 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Carbone | 1 | 263 | 12.91 |
Kohei Honda | 2 | 698 | 29.60 |
Nobuko Yoshida | 3 | 2607 | 153.29 |