• DocumentCode
    3116824
  • 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
  • fYear
    2010
  • fDate
    13-18 Sept. 2010
  • Firstpage
    320
  • Lastpage
    324
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
  • Conference_Location
    Pisa
  • Print_ISBN
    978-1-4244-8289-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2010.41
  • Filename
    5637362
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3116824