Modelling Choreography (with events, states and business rules)
This week the BCS SPA group held a fascinating session titled “Modelling Choreography” by requirements analyst Ashley McNeile. Ashley described some of the past efforts to model and implement choreographies, using types of process algebra such as Robert Millner’s Calculus of Communicating Systems (CCS) and its derivative Pi-Calculus. However, Ashley… Read More →

