Reasoning about QoS Contracts in the Probabilistic Duration Calculus
| Autor: | Dang Van Hung, Dimitar P. Guelev |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Theoretical computer science
General Computer Science business.industry Computer science Quality of service Probabilistic logic Software development Execution time components Theoretical Computer Science Order (business) Component (UML) Duration calculus duration calculus quality of service contracts business Algorithm Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 238(6):41-62 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2010.06.004 |
| Popis: | The notion of contract was introduced to component-based software development in order to facilitate the semantically correct composition of components. We extend the form of this notion which is based on designs to capture probabilistic requirements on execution time. We show how reasoning about such requirements can be done in an infinite-interval-based system of probabilistic duration calculus. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect