Home

Welcome to the session-types-use-cases wiki! Use-cases for Sessions

#Objective: Compile a set of use-cases for sessions

#Coordinating Commitee: Dimitrios Kouzapas Rumyana Neykova Sam Lindley

#Repository Link: https://github.com/epsrc-abcd/session-types-use-cases

#Repository: will be structured as a set of folders with each folder corresponding to a use-case.

	Each sub-folder of each use-case will include one
	use-case requirement.

e.g.folder SMTP/Mungo contains the implementation of the SMTP usecase in Mungo folder Buyer-Seller/Scribble contains the Scribble protocol for Buyer-Seller

#Repository Requirements:

1. Physical Language Description
2. Session Type
3. Scribble
4. Pabble
5. Typestate
6. Global Graphs
7. State Machine
8. Any other visual representation
9. Implementation

• LINKS
• SILL
• Haskell
• Mungo
• Session Java
• Python
• MPI
• Erlang
• se-pi

Requirement 1 is obligatory At least one of the requirements from 2, 3, 4, 5 is obligatory Requirements 6, 7, 8 are optional Requirement 9 is obligatory for at least one implementation tool

#Application Domains:

•           Business Protocols
  

•   Network Applications
  

•   Systems
  

•   Operating Systems
  

•   Data Structures and Algorithms
  

•   Hardware
  

•   Programming paradigms
  

•   Security
  

#Usecases:

•   ATM
  

• Travel Agency
• Bookstore
• Simple Mail Transfer Protocol
• Domain Name System
• Network Topologies
• Redis
• SILL usecases
• File Access Protocol
• Python Benchmark
• Cache Coherency Protocol

#Responsibilities: |
---------------|--------------------------- Usecase| Simple Mail Transfer Protocol Domain| Network Protocols
Requirements| Physical Language Description (rfc reference)
| Scribble
Implementation| Session Java: Ray
| Mungo:Ornela
| LINKS: Sam
Usecase| Redis Domain| Data Structures and Algorithms Responsibility| Roly Requirements| Physical Language Description | Scribble | State Machine Implementation| Mungo Usecase| Domain Name System Domain| Network Protocols Responsibility| Simon Fowler Requirements| Physical Language Description Scribble State Machine Implementation| Erlang