Advertisement

The Scribble Protocol Language

  • Nobuko YoshidaEmail author
  • Raymond Hu
  • Rumyana Neykova
  • Nicholas Ng
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8358)

Abstract

This paper describes a brief history of how Kohei Honda initiated the Scribble project, and summarises the current status of Scribble.

Keywords

Message Signature Travel Agency Local Protocol Session Type Type Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

We thank Gary Brown for his comments. The work has been partially sponsored by the Ocean Observatories Initiative, VMware, EPSRC KTS under Cognizant, and EPSRC EP/K011715/1, EP/K034413/1 EP/G015635/1.

References

  1. 1.
    Web Services Choreography Description Language: Primer 1.0. http://www.w3.org/TR/ws-cdl-10-primer/
  2. 2.
  3. 3.
    Bettini, L., Coppo, M., D’Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418–433. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FMOODS/FORTE 2013. LNCS, vol. 7892, pp. 50–65. Springer, Heidelberg (2013)Google Scholar
  5. 5.
    Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162–176. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS 2010. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl (2010)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    W3C Web Services Choreography Description Language. http://www.w3.org/2002/ws/chor/
  9. 9.
    Chen, T.-C., Bocchi, L., Deniélou, P.-M., Honda, K., Yoshida, N.: Asynchronous distributed monitoring for multiparty session enforcement. In: Bruni, R., Sassone, V. (eds.) TGC 2011. LNCS, vol. 7173, pp. 25–45. Springer, Heidelberg (2012)Google Scholar
  10. 10.
    Demangeon, R., Honda, K.: Nested protocols in session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 272–286. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Deniélou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435–446. ACM (2011)Google Scholar
  12. 12.
    Deniélou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194–213. Springer, Heidelberg (2012)Google Scholar
  13. 13.
    Deniélou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 174–186. Springer, Heidelberg (2013)Google Scholar
  14. 14.
    Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328–352. Springer, Heidelberg (2006)Google Scholar
  15. 15.
    Qualit e Cognizant business unit. Zero Deviation Life Cycle. http://0deviation.com/
  16. 16.
    Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In : Proceedings of EuroSys’06, pp. 177–190. ACM (2006)Google Scholar
  17. 17.
    Honda, K.: Scribble Examples: (1) Protocols (2007)Google Scholar
  18. 18.
    Honda, K., Hu, R., Neykova, R., Chen, T.-C., Demangeon, R., Deniélou, P.-M., Yoshida, N.: Structuring communication with session types. In: COB’12. LNCS, Springer (to appear)Google Scholar
  19. 19.
    Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55–75. Springer, Heidelberg (2011)Google Scholar
  20. 20.
    Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22–138. Springer, Heidelberg (1998)Google Scholar
  21. 21.
    Honda, Kohei, Yoshida, Nobuko, Carbone, Marco: Web services, mobile processes and types. EATCS Bull. 91, 160–188 (2007)Google Scholar
  22. 22.
    Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL ’08, pp. 273–284. ACM (2008)Google Scholar
  23. 23.
    Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329–353. Springer, Heidelberg (2010)Google Scholar
  24. 24.
    Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations: distributed dynamic verification with session types and Python. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130–148. Springer, Heidelberg (2013)Google Scholar
  25. 25.
    Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516–541. Springer, Heidelberg (2008)Google Scholar
  26. 26.
  27. 27.
    Milner, R.: The polyadic \(\pi \)-calculus: a tutorial. In: Proceedings of the International Summer School on Logic Algebra of Specification, Marktoberdorf (1992)Google Scholar
  28. 28.
    Milner, R.: Communicating and Mobile Systems: The \(\pi \)-Calculus. Cambridge University Press, Cambridge (1999)Google Scholar
  29. 29.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Inf. Comp. 100(1), 1–40 (1992)CrossRefzbMATHMathSciNetGoogle Scholar
  30. 30.
    Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316–332. Springer, Heidelberg (2009)Google Scholar
  31. 31.
    Neykova, R., Yoshida, N., Hu, R.: SPY: local verification of global protocols. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 358–363. Springer, Heidelberg (2013)Google Scholar
  32. 32.
    Ng, N., Yoshida, N.: Pabble: parameterised scribble for parallel programming. In: PDP, IEEE (2014, to appear)Google Scholar
  33. 33.
    Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202–218. Springer, Heidelberg (2012)Google Scholar
  34. 34.
    OOI. The Ocean Observatories Initiative. http://oceanobservatories.org/
  35. 35.
    Pi4tech home page. http://www.pi4tech.com
  36. 36.
    Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)Google Scholar
  37. 37.
    Red Hat JBoss. JBoss Community Scribble homepage. http://www.jboss.org/scribble
  38. 38.
    JBoss Savara. JBoss Savara Project homepage. http://www.jboss.org/savara
  39. 39.
    Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. PARLE 1994. LNCS, vol. 817, pp. 398–413. Springer, Heidelberg (1994)Google Scholar
  40. 40.
    Scribble Team. Scribble Language Reference. https://github.com/scribble/scribble-spec
  41. 41.
    Scribble Team. Scribble Project github homepage. http://www.scribble.org
  42. 42.
    UNIFI. International Organization for Standardization 20022 UNIversal Financial Industry message scheme. http://www.iso20022.org (2002)
  43. 43.
    Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci. 171(4), 73–93 (2007)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Nobuko Yoshida
    • 1
    Email author
  • Raymond Hu
    • 1
  • Rumyana Neykova
    • 1
  • Nicholas Ng
    • 1
  1. 1.Imperial College LondonLondonUK

Personalised recommendations