article

Session-based Choreography with Exceptions

Author:

Marco CarboneAuthors Info & Claims

Electronic Notes in Theoretical Computer Science (ENTCS), Volume 241

Pages 35 - 55

https://doi.org/10.1016/j.entcs.2009.06.003

Published: 01 July 2009 Publication History

Abstract

Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping a choreograhy into executable code. In this work, we focus on an extension of choreography with a communication-based (interactional) exception mechanism by giving its formal semantics. In particular, we discuss through some examples how interactional exceptions at choreography level can be implemented into end-point code.

References

[1]

Bocchi, L., Laneve, C. and Zavattaro, G., A calculus for long-running transactions. In: LNCS, Springer. pp. 124-138.

Digital Library

Google Scholar

[2]

Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G., Choreography and orchestration conformance for system design. In: LNCS, volume 4038. pp. 63-81.

Digital Library

Google Scholar

[3]

Carbone, M., Honda, K. and Yoshida, N., A calculus of global interaction based on session types. ENTCS.

Digital Library

Google Scholar

[4]

Carbone, M., Honda, K. and Yoshida, N., Structured Communication-Centred Programming for Web Services. In: LNCS, volume 4421. Springer. pp. 2-17.

Digital Library

Google Scholar

[5]

Carbone, M., Honda, K. and Yoshida, N., Structured interactional exceptions for session types. In: LNCS, Springer. pp. 402-417.

Digital Library

Google Scholar

[6]

Honda, K., Vasconcelos, V.T. and Kubo, M., Language Primitives and Type Disciplines for Structured Communication-based Programming. In: LNCS, volume 1381. Springer-Verlag. pp. 22-138.

Digital Library

Google Scholar

[7]

Honda, K., Yoshida, N. and Carbone, M., Multiparty asynchronous session types. In: ACM. pp. 273-284.

Digital Library

Google Scholar

[8]

Lapadula, A., Pugliese, R. and Tiezzi, F., A calculus for orchestration of web services. In: LNCS, volume 4421. Springer. pp. 33-47.

Digital Library

Google Scholar

[9]

Vieira, H., Caires, L. and Seco, J., The conversation calculus: A model of service oriented computation. In: LNCS, volume 4421. Springer. pp. 269-283.

Digital Library

Google Scholar

[10]

http://www.w3.org/2002/ws/chor/

Google Scholar

[11]

Xu, J., Romanovsky, A.B. and Randell, B., Concurrent exception handling and resolution in distributed object systems. IEEE Trans. Parallel Distrib. Syst. v11 i10. 1019-1032.

Digital Library

Google Scholar

Cited By

View all

Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
https://dl.acm.org/doi/10.1145/3632398
Montesi FWeber JHaddad HWainwright RChbeir R(2018)From the decorator pattern to circuit breakers in microservicesProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167427(1733-1735)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167427
López HHeussen KShin SShin DLencastre M(2017)Choreographing cyber-physical distributed control systems for the energy sectorProceedings of the Symposium on Applied Computing10.1145/3019612.3019656(437-443)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019656
Show More Cited By

Recommendations

CSP-Based Verification for Web Service Orchestration and Choreography

Service-oriented computing aspires to an unprecedented level of platform-independence and inter-operability of software components for intra- and inter-organizational business processes through standard protocols and languages for workflows and process-...
Preparing and re-using web services for choreography

Web Service technologies offer a new and successful way for interoperability among web applications. However, there is not a unique standard opinion as to how Web Service composition must be implemented. Besides, services involved in compositions are ...
Web services choreography and orchestration in Reo and constraint automata
SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Currently web services constitute one of the most important topics in the realm of the World Wide Web. Composition of web services lets developers create applications on top of service-oriented computing platforms. Current web services choreography and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Electronic Notes in Theoretical Computer Science (ENTCS)

Electronic Notes in Theoretical Computer Science (ENTCS) Volume 241, Issue

July, 2009

160 pages

ISSN:1571-0661

Issue’s Table of Contents

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 July 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
https://dl.acm.org/doi/10.1145/3632398
Montesi FWeber JHaddad HWainwright RChbeir R(2018)From the decorator pattern to circuit breakers in microservicesProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167427(1733-1735)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167427
López HHeussen KShin SShin DLencastre M(2017)Choreographing cyber-physical distributed control systems for the energy sectorProceedings of the Symposium on Applied Computing10.1145/3019612.3019656(437-443)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019656
López HNielson FNielson H(2016)Enforcing Availability in Failure-Aware Communicating Systems36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Volume 968810.1007/978-3-319-39570-8_13(195-211)Online publication date: 6-Jun-2016
https://dl.acm.org/doi/10.1007/978-3-319-39570-8_13
Demangeon RHonda KHu RNeykova RYoshida N(2015)Practical interruptible conversationsFormal Methods in System Design10.1007/s10703-014-0218-846:3(197-225)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/s10703-014-0218-8
Mostrous DVasconcelos V(2014)Affine SessionsProceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 845910.1007/978-3-662-43376-8_8(115-130)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1007/978-3-662-43376-8_8
Carbone MMontesi F(2013)Deadlock-freedom-by-designACM SIGPLAN Notices10.1145/2480359.242910148:1(263-274)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429101
Carbone MMontesi FGiacobazzi RCousot R(2013)Deadlock-freedom-by-designProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429101(263-274)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429101
López HPérez J(2011)Time and exceptional behavior in multiparty structured interactionsProceedings of the 8th international conference on Web Services and Formal Methods10.1007/978-3-642-29834-9_5(48-63)Online publication date: 1-Sep-2011
https://dl.acm.org/doi/10.1007/978-3-642-29834-9_5

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

CSP-Based Verification for Web Service Orchestration and Choreography

Preparing and re-using web services for choreography

Web services choreography and orchestration in Reo and constraint automata

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations