• DocumentCode
    2077945
  • Title

    Formal methods for web services: a taxonomic approach

  • Author

    Chan, K. S May

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Pretoria, Pretoria, South Africa
  • Volume
    2
  • fYear
    2010
  • fDate
    2-8 May 2010
  • Firstpage
    357
  • Lastpage
    360
  • Abstract
    Formal methods can be used to verify different perspective of a Web service. An ensemble of specific techniques is not supported by a general approach to the problem. To understand which formal method should be combined and used is a challenge. This paper outlines our approach to address this problem.
  • Keywords
    Web services; formal verification; Web services; formal methods; taxonomic approach; Algebra; Context; Software reliability; Taxonomy; Web services; formal methods; service development life-cycle; service verification; web application; web service;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2010 ACM/IEEE 32nd International Conference on
  • Conference_Location
    Cape Town
  • ISSN
    0270-5257
  • Print_ISBN
    978-1-60558-719-6
  • Type

    conf

  • DOI
    10.1145/1810295.1810392
  • Filename
    6062213
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2077945