Ensuring well-formed conversations between control and operational behaviors of web services

Scott Bourne*, Claudia Szabo, Quan Z. Sheng

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

7 Citations (Scopus)

Abstract

Despite a decade's active research and development, Web services still remain undependable. Designing effective approaches for highly dependable Web service provisioning has therefore become of paramount importance. Our previous work proposes a novel model that separates the service behavior into operational and control behaviors for flexible design, development, and verification of complex Web services. In this paper, we further this research with a set of conversation rules to facilitate the verification of rich conversations between control and operational behaviors. The rules are specified as temporal logic formulas to formally check rich conversation patterns. The proposed approach is realized using state-of-the-art technologies and experiments show its feasibility and benefits.

Original languageEnglish
Title of host publicationService-oriented computing
Subtitle of host publication10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages507-515
Number of pages9
ISBN (Print)9783642343209
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event10th International Conference on Service-Oriented Computing, ICSOC 2012 - Shanghai, China
Duration: 12 Nov 201215 Nov 2012

Publication series

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

Other

Other10th International Conference on Service-Oriented Computing, ICSOC 2012
CountryChina
CityShanghai
Period12/11/1215/11/12

Fingerprint Dive into the research topics of 'Ensuring well-formed conversations between control and operational behaviors of web services'. Together they form a unique fingerprint.

Cite this