Amending choreographies

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 123, Issue , 2013, Pages 34-48

  Lanese, Ivan ^a   Montesi, Fabrizio ^b   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

WEBSITES;

DESIRED CONDITIONS; SYSTEM BEHAVIORS;

SPECIFICATIONS;

EID: 85069666035     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.123.5     Document Type: Conference Paper

References (8)

1. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Proc. of CONCUR 2010, LNCS 6269, Springer, pp. 162–176, doi:10.1007/978-3-642-15375-4_12.
2. Laura Bocchi, Julien Lange & Emilio Tuosto (2012): Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comp. Sci. 22(1), pp. 61–104, doi:10.7561/SACS.2012.1.61.
3. Marco Carbone, Kohei Honda & Nobuko Yoshida (2007): Structured Communication-Centred Programming for Web Services. In: Proc. of ESOP’07, LNCS 4421, Springer, pp. 2–17, doi:10.1007/ 978-3-540-71316-6_2.
4. Marco Carbone & Fabrizio Montesi (2013): Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Proc. of POPL 2013, ACM, pp. 263–274, doi:10.1145/2429069.2429101.
5. Martin Fowler (2003): UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison Wesley.
6. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: Proc. of POPL’08, ACM Press, pp. 273–284, doi:10.1145/1328438.1328472.
7. Ivan Lanese, Claudio Guidi, Fabrizio Montesi & Gianluigi Zavattaro (2008): Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: Proc. of SEFM’08, IEEE Press, pp. 323–332, doi:10. 1109/SEFM.2008.11.
8. Ivan Lanese, Fabrizio Montesi & Gianluigi Zavattaro: Classifying Relationships between Interaction- and Process-Oriented Choreographies. Available at http://www.cs.unibo.it/~lanese/publications/fulltext/ioc.pdf.