The Scribble Protocol Language

  • Nobuko Yoshida
  • 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.

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)CrossRefMATHMathSciNetGoogle 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
  • Raymond Hu
    • 1
  • Rumyana Neykova
    • 1
  • Nicholas Ng
    • 1
  1. 1.Imperial College LondonLondonUK

Personalised recommendations