Submitted by:
Date Created:
Tue, 2012-07-17 08:49
Date Updated:
Mon, 2019-02-04 13:51
An IDE for the Chor language.
Chor is a new programming language for communicating systems, based on choreographies. Choreographies are global descriptions of system implementations, where the behaviour of the entities in a system is given in a single program. Choreographies enhance the quality of software, as they represent "formal blueprints" of how communicating systems should behave and offer a concise view of the message flows enacted by a system. In Chor, a choreography can then be projected (or compiled, if you like) onto a set of separate programs that can be run in a distributed system.