Skip to main content
SpringerLink
Log in

Time and Exceptional Behavior in Multiparty Structured Interactions

  • Conference paper
Web Services and Formal Methods (WS-FM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7176))

Included in the following conference series:

Abstract

The Conversation Calculus (CC) is a model of multiparty interactions which extends the π-calculus with the notion of conversation—a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed variant of the CC in which conversations feature both standard and exceptional behavior. The exceptional behavior may be triggered either by the passing of time (a timeout) or by an explicit signal for conversation abortion. By presenting a compelling example from a healthcare scenario, we argue that the combination of time and exceptional behavior leads to more meaningful models of structured communications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berger, M., Honda, K.: The two-phase commitment protocol in an extended pi-calculus. Electr. Notes Theor. Comput. Sci. 39(1) (2000)

    Google Scholar 

  2. Berger, M., Yoshida, N.: Timed, Distributed, Probabilistic, Typed Processes. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 158–174. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Bravetti, M., Zavattaro, G.: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3), 565–599 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Caires, L., Ferreira, C., Vieira, H.: A Process Calculus Analysis of Compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 87–103. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  5. Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci. 411(51-52), 4399–4440 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  6. Campadello, S., Compagna, L., Gidoin, D., Holtmanns, S., Meduri, V., Pazzaglia, J., Seguran, M., Thomas, R.: Scenario Selection and Definition. Research report A7.D1.1, SERENITY consortium (2006)

    Google Scholar 

  7. Capecchi, S., Giachino, E., Yoshida, N.: Global Escape in Multiparty Sessions. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2010. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl (2010)

    Google Scholar 

  8. Carbone, M.: Session-based choreography with exceptions. In: PLACES 2008. ENTCS, vol. 241, pp. 35–55 (2008)

    Google Scholar 

  9. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Carbone, M., Honda, K., Yoshida, N.: Structured Interactional Exceptions in Session Types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 402–417. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Ferreira, C., Lanese, I., Ravara, A., Vieira, H.T., Zavattaro, G.: Advanced Mechanisms for Service Combination and Transactions. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA. LNCS, vol. 6582, pp. 302–325. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Lanese, I., Vaz, C., Ferreira, C.: On the Expressive Power of Primitives for Compensation Handling. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 366–386. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  14. Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Lapadula, A., Pugliese, R., Tiezzi, F.: C-clock-WS: A Timed Service-Oriented Calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 275–290. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  17. López, H.A.: Foundations of Communication-Centred Programming. PhD thesis, IT University of Copenhagen (2012)

    Google Scholar 

  18. López, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 212–223. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. López, H.A., Olarte, C., Pérez, J.A.: Towards a unified framework for declarative structured communications. In: PLACES. EPTCS, vol. 17, pp. 1–15 (2009)

    Google Scholar 

  20. Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM Workshops. LNBIP, vol. 17, pp. 336–347. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Journal of Information and Computation 100, 1–77 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  22. Rittenberger, J.C., Bost, J.E., Menegazzi, J.J.: Time to give the first medication during resuscitation in out-of-hospital cardiac arrest. Resuscitation 70(2), 201–206 (2006)

    Article  Google Scholar 

  23. Vieira, H.T.: A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing. PhD thesis, Universidade Nova de Lisboa (2010)

    Google Scholar 

  24. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theor. Comput. Sci. 402(2-3), 234–248 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  26. Xu, J., Romanovsky, A.B., Randell, B.: Coordinated exception handling in distributed object systems: From model to system implementation. In: ICDCS, pp. 12–21 (1998)

    Google Scholar 

  27. Hongli, Y., Xiangpeng, Z., Chao, C., Zongyan, Q.: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 81–96. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PLS, IT University of Copenhagen, Denmark

    Hugo A. López

  2. CITI - Departamento de Informática, FCT - New University of Lisbon, Portugal

    Jorge A. Pérez

Authors
  1. Hugo A. López
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge A. Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IT University of Copenhagen, Rued Langgaards Vej 7, 2300, Copenhagen, Denmark

    Marco Carbone

  2. Université de Lyon – CNRS INSA Lyon, LIRIS, 7 avenue Jean Capelle, 69621, Villeurbanne Cedex, France

    Jean-Marc Petit

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

López, H.A., Pérez, J.A. (2012). Time and Exceptional Behavior in Multiparty Structured Interactions. In: Carbone, M., Petit, JM. (eds) Web Services and Formal Methods. WS-FM 2011. Lecture Notes in Computer Science, vol 7176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29834-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29834-9_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29833-2

  • Online ISBN: 978-3-642-29834-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation