Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385951208> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4385951208 endingPage "54" @default.
- W4385951208 startingPage "35" @default.
- W4385951208 abstract "Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time bounds, is a central aspect of predictable performance. In this paper, we focus on timeliness using the DELTA-Q Systems Development paradigm (DELTA-QSD, developed by PNSol), which computes timeliness by modelling systems observationally using so-called outcome expressions. An outcome expression is a compositional definition of a system's observed behaviour in terms of its basic operations. Given the behaviour of the basic operations, DELTA-QSD efficiently computes the stochastic behaviour of the whole system including its timeliness. This paper formally proves useful algebraic properties of outcome expressions w.r.t. timeliness. We prove the different algebraic structures the set of outcome expressions form with the different DELTA-QSD operators and demonstrate why those operators do not form richer structures. We prove or disprove the set of all possible distributivity results on outcome expressions. On our way for disproving 8 of those distributivity results, we develop a technique called properisation, which gives rise to the first body of maths for improper random variables. Finally, we also prove 14 equivalences that have been used in the past in the practice of DELTA-QSD. An immediate benefit is rewrite rules that can be used for design exploration under established timeliness equivalence. This work is part of an ongoing project to disseminate and build tool support for DELTA-QSD. The ability to rewrite outcome expressions is essential for efficient tool support." @default.
- W4385951208 created "2023-08-18" @default.
- W4385951208 creator A5011036602 @default.
- W4385951208 creator A5040316614 @default.
- W4385951208 creator A5042882071 @default.
- W4385951208 creator A5043139647 @default.
- W4385951208 creator A5047409772 @default.
- W4385951208 creator A5050876495 @default.
- W4385951208 creator A5055787720 @default.
- W4385951208 creator A5083086278 @default.
- W4385951208 date "2023-08-21" @default.
- W4385951208 modified "2023-09-30" @default.
- W4385951208 title "Algebraic Reasoning About Timeliness" @default.
- W4385951208 cites W1751444152 @default.
- W4385951208 cites W1984941937 @default.
- W4385951208 cites W2002239630 @default.
- W4385951208 cites W2035830215 @default.
- W4385951208 cites W2127540159 @default.
- W4385951208 cites W2131247527 @default.
- W4385951208 cites W24701999 @default.
- W4385951208 cites W3102289894 @default.
- W4385951208 cites W4206542816 @default.
- W4385951208 cites W4220778859 @default.
- W4385951208 cites W4289225597 @default.
- W4385951208 cites W4293899282 @default.
- W4385951208 doi "https://doi.org/10.4204/eptcs.383.3" @default.
- W4385951208 hasPublicationYear "2023" @default.
- W4385951208 type Work @default.
- W4385951208 citedByCount "0" @default.
- W4385951208 crossrefType "journal-article" @default.
- W4385951208 hasAuthorship W4385951208A5011036602 @default.
- W4385951208 hasAuthorship W4385951208A5040316614 @default.
- W4385951208 hasAuthorship W4385951208A5042882071 @default.
- W4385951208 hasAuthorship W4385951208A5043139647 @default.
- W4385951208 hasAuthorship W4385951208A5047409772 @default.
- W4385951208 hasAuthorship W4385951208A5050876495 @default.
- W4385951208 hasAuthorship W4385951208A5055787720 @default.
- W4385951208 hasAuthorship W4385951208A5083086278 @default.
- W4385951208 hasBestOaLocation W43859512081 @default.
- W4385951208 hasConcept C11821877 @default.
- W4385951208 hasConcept C118615104 @default.
- W4385951208 hasConcept C134306372 @default.
- W4385951208 hasConcept C136119220 @default.
- W4385951208 hasConcept C138390121 @default.
- W4385951208 hasConcept C144237770 @default.
- W4385951208 hasConcept C148220186 @default.
- W4385951208 hasConcept C177264268 @default.
- W4385951208 hasConcept C18912844 @default.
- W4385951208 hasConcept C199360897 @default.
- W4385951208 hasConcept C202444582 @default.
- W4385951208 hasConcept C2780069185 @default.
- W4385951208 hasConcept C33923547 @default.
- W4385951208 hasConcept C41008148 @default.
- W4385951208 hasConcept C80444323 @default.
- W4385951208 hasConcept C90559484 @default.
- W4385951208 hasConcept C9376300 @default.
- W4385951208 hasConceptScore W4385951208C11821877 @default.
- W4385951208 hasConceptScore W4385951208C118615104 @default.
- W4385951208 hasConceptScore W4385951208C134306372 @default.
- W4385951208 hasConceptScore W4385951208C136119220 @default.
- W4385951208 hasConceptScore W4385951208C138390121 @default.
- W4385951208 hasConceptScore W4385951208C144237770 @default.
- W4385951208 hasConceptScore W4385951208C148220186 @default.
- W4385951208 hasConceptScore W4385951208C177264268 @default.
- W4385951208 hasConceptScore W4385951208C18912844 @default.
- W4385951208 hasConceptScore W4385951208C199360897 @default.
- W4385951208 hasConceptScore W4385951208C202444582 @default.
- W4385951208 hasConceptScore W4385951208C2780069185 @default.
- W4385951208 hasConceptScore W4385951208C33923547 @default.
- W4385951208 hasConceptScore W4385951208C41008148 @default.
- W4385951208 hasConceptScore W4385951208C80444323 @default.
- W4385951208 hasConceptScore W4385951208C90559484 @default.
- W4385951208 hasConceptScore W4385951208C9376300 @default.
- W4385951208 hasLocation W43859512081 @default.
- W4385951208 hasLocation W43859512082 @default.
- W4385951208 hasOpenAccess W4385951208 @default.
- W4385951208 hasPrimaryLocation W43859512081 @default.
- W4385951208 hasRelatedWork W1567465867 @default.
- W4385951208 hasRelatedWork W1993884761 @default.
- W4385951208 hasRelatedWork W2029407284 @default.
- W4385951208 hasRelatedWork W2126902250 @default.
- W4385951208 hasRelatedWork W2149698741 @default.
- W4385951208 hasRelatedWork W2220758058 @default.
- W4385951208 hasRelatedWork W2379253313 @default.
- W4385951208 hasRelatedWork W2563565493 @default.
- W4385951208 hasRelatedWork W36618599 @default.
- W4385951208 hasRelatedWork W2579961607 @default.
- W4385951208 hasVolume "383" @default.
- W4385951208 isParatext "false" @default.
- W4385951208 isRetracted "false" @default.
- W4385951208 workType "article" @default.