We consider the problem of statically deciding when a service always provides its functionality within a given amount of time. In a timed pi-calculus, we propose a two-phases static analysis guaranteeing that processes enjoy both the maximal progress and the well-timedness properties. Exploiting this analysis, we devise a decision procedure for checking service deadlines.
Static Enforcement of Service Deadlines / Bartoletti, Massimo; Zunino, Roberto. - ELETTRONICO. - (2010), pp. 1-30.
Static Enforcement of Service Deadlines
Zunino, Roberto
2010-01-01
Abstract
We consider the problem of statically deciding when a service always provides its functionality within a given amount of time. In a timed pi-calculus, we propose a two-phases static analysis guaranteeing that processes enjoy both the maximal progress and the well-timedness properties. Exploiting this analysis, we devise a decision procedure for checking service deadlines.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
serviceDeadlinesTR.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
550.96 kB
Formato
Adobe PDF
|
550.96 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione