We consider the problem of statically deciding when a service always provides its functionality within a given amount of time. In a timed π-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;
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 π-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 | |
---|---|---|---|
timed-pi.pdf
Solo gestori archivio
Descrizione: Articolo principale
Tipologia:
versione pre-print
Dimensione
275.79 kB
Formato
Adobe PDF
|
275.79 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.