Verifying transactional requirements of web service compositions using temporal logic templates

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 Citations (Scopus)

Abstract

Ensuring reliability in Web service compositions is of crucial interest as services are composed and executed in long-running, distributed mediums that cannot guarantee reliable communications. Towards this, transactional behavior has been proposed to handle and undo the effects of faults of individual components. Despite significant research interest, challenges remain in providing an easy-to-use, formal approach to verify transactional behavior of Web service compositions before costly development. In this paper, we propose the use of temporal logic templates to specify component-level and composition-level transactional requirements over a Web service composition. These templates are specified using a simple format, configured according to scope and cardinality, and automatically translated into temporal logic. To verify design conformance to a set of implemented templates, we employ model checking. We propose an algorithm to address state space explosion by reducing the models into semantically equivalent Kripke structures. Our approach facilitates the implementation of expressive transactional behavior onto existing complex services, as demonstrated in our experimental study.

Original languageEnglish
Title of host publicationWeb Information Systems Engineering - WISE 2013
Subtitle of host publication14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I
EditorsXuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang
Place of PublicationHeidelberg, Germany
PublisherSpringer, Springer Nature
Pages243-256
Number of pages14
ISBN (Print)9783642412295
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event14th International Conference on Web Information Systems Engineering, WISE 2013 - Nanjing, China
Duration: 13 Oct 201315 Oct 2013

Publication series

NameLecture Notes in Computer Science
Volume8180
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other14th International Conference on Web Information Systems Engineering, WISE 2013
CountryChina
CityNanjing
Period13/10/1315/10/13

Fingerprint Dive into the research topics of 'Verifying transactional requirements of web service compositions using temporal logic templates'. Together they form a unique fingerprint.

Cite this