Title :
Static Enforcement of Service Deadlines
Author :
Bartoletti, Massimo ; Zunino, Roberto
Author_Institution :
Dipt. di Mat. e Inf., Univ. degli Studi di Cagliari, Cagliari, Italy
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.
Keywords :
Web services; decision making; formal specification; pi calculus; decision procedure; formal specification; service deadline; service oriented computing; timed pi calculus; two-phases static analysis; Algebra; Calculus; Computational modeling; Cows; Equations; Semantics; System-on-a-chip; timed process calculi; type systems; well-timedness;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.41
