deltaq: 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
rendering outcomes as diagrams
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- deltaq-1.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.0.0, 1.0.1.0, 1.1.0.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.14.3.0 && <5), Chart (>=1.8 && <2), deepseq (>=1.4.4.0 && <1.6), diagrams-lib (>=1.4.5 && <1.6), diagrams-svg (>=1.5 && <1.6), lattices (>=2.2 && <2.3), probability-polynomial (>=1.0.1 && <1.1) [details] |
Tested with | ghc ==8.10.7 || ==9.6.7 || ==9.10.3 |
License | BSD-3-Clause |
Copyright | Predictable Network Solutions Ltd., 2003-2025 PLWORKZ R&D, 2025 |
Author | Neil Davies, Heinrich Apfelmus |
Maintainer | neil.davies@pnsol.ccom |
Revised | Revision 1 made by HeinrichApfelmus at 2025-10-17T11:27:10Z |
Category | DeltaQ, Distributed Systems, Probability |
Home page | https://github.com/DeltaQ-SD/deltaq |
Source repo | head: git clone https://github.com/DeltaQ-SD/deltaq.git(lib/deltaq) |
Uploaded | by HeinrichApfelmus at 2025-10-14T12:05:49Z |
Distributions | NixOS:1.0.0.0 |
Downloads | 45 total (9 in the last 30 days) |
Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2025-10-14 [all 1 reports] |