@hackage deltaq1.0.0.0

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