Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Conference paper
Title: Ensuring well-formed conversations between control and operational behaviors of web services
Author: Bourne, S.
Szabo, C.
Sheng, Q.
Citation: Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / C. Liu et al. (eds.): 507-515
Publisher: Springer-Verlag
Publisher Place: Germany
Issue Date: 2012
Series/Report no.: Lecture Notes in Computer Science ; 7636
ISBN: 9783642343209
ISSN: 0302-9743
Conference Name: International Conference on Service-Oriented Computing (10th : 2012 : Shanghai, China)
Statement of
Scott Bourne, Claudia Szabo, and Quan Z. Sheng
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. © Springer-Verlag Berlin Heidelberg 2012.
Rights: Copyright Springer-Verlag Berlin Heidelberg 2012
DOI: 10.1007/978-3-642-34321-6_34
Appears in Collections:Aurora harvest
Computer Science publications

Files in This Item:
File Description SizeFormat 
  Restricted Access
Restricted Access614.43 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.