TRAFFIC

Q. What is TRAFFIC ?

Traffic is a domain specific language that facilitates specification, programming, and maintenance of distributed applications over a network. The acronym stands for Typed Representation and Analysis of Flows For Interoperability Checks.
Mission Statement
It is difficult to develop correct, efficient, and resilient systems, especially in open context in which they will interact with dynamic and unpredictable environments, peers, and adversaries. The heterogeneity and open nature of network systems make analysis of component composition quite challenging, so we aim to make design and implementation of robust network services accessible to the average programmer.
We accomplish this by breaking down the specification of a network system into two parts: specification of flows and specification of types.
Specification of flows describes the topology and composition of the network system, and how individual components are connected to each other. We expect this part to be accessible by any average programmer.
Specification of types is to formalize properties of a network in terms of some concrete syntax that can be understood and analyzed by our type system. This is more difficult to specify, but the efforts of a limited number of experts can be shared.