Glossary

Glossary

This is a place to collaboratively define some terms that will eventually become a glossary on our website.

Choreography

Choreographic programming

Multitier programming

Endpoint projection

Comm

One of the hallmarks of choreographic programming is a language construct that represents both the sending and reception of messages between participants. Instead of send and receive, choreographic languages have a single language construct, often pronounced "comm" (short for "communicate" or "communication") and written com, comm, or ~>. For example, Alice.a ~> Bob.b means that Alice evaluates the expression a and sends the result to Bob, who stores the received value in b. This notation has its roots in the security protocol notation used in the cryptographic protocol literature.

During endpoint projection, Alice.a ~> Bob.b would project to send (a, Bob) for Alice, and would project to b = receive(Alice) for Bob.

Knowledge of choice

Selection

Merging

Location polymorphism

Higher-order choreography