Framework for ∆Q System Development.
∆Q System Development is a paradigm for developing distributed systems that meet performance requirements.
In this paradigm, the system designer starts by defining high-level outcomes, explores different refinements into combinations of lower-level outcomes, and evaluates their performance characteristics.
The deltaq package (pronounced "Delta Q") provides data types and functions for
outcomes and their combinations
evaluating the performance characteristics of outcomes, specifically the probability distribution of their completion times
∆Q System Development is a paradigm for developing distributed systems that meet performance requirements.
The deltaq package (pronounced "Delta Q") implements a domain specific language (DSL) in Haskell for specfying outcomes and evaluating their performance characteristics.