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

Scott Bourne; Claudia Szabo; Quan Z. Sheng

doi:10.1007/978-3-642-34321-6-34

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 proceeding › Conference proceeding contribution › peer-review

8 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 language	English
Title of host publication	Service-oriented computing
Subtitle of host publication	10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
Place of Publication	Berlin; New York
Publisher	Springer, Springer Nature
Pages	507-515
Number of pages	9
ISBN (Print)	9783642343209
DOIs	https://doi.org/10.1007/978-3-642-34321-6-34
Publication status	Published - 2012
Externally published	Yes
Event	10th International Conference on Service-Oriented Computing, ICSOC 2012 - Shanghai, China Duration: 12 Nov 2012 → 15 Nov 2012

Publication series

Name	Lecture Notes in Computer Science
Volume	7636
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Conference on Service-Oriented Computing, ICSOC 2012
Country	China
City	Shanghai
Period	12/11/12 → 15/11/12

Access to Document

10.1007/978-3-642-34321-6-34

Link to publication in Scopus

Cite this

Bourne, S., Szabo, C., & Sheng, Q. Z. (2012). Ensuring well-formed conversations between control and operational behaviors of web services. In Service-oriented computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings (pp. 507-515). (Lecture Notes in Computer Science; Vol. 7636). Springer, Springer Nature. https://doi.org/10.1007/978-3-642-34321-6-34

@inproceedings{4d07e39ad1e64e97b9e0ad8b5d034b52,

title = "Ensuring well-formed conversations between control and operational behaviors of web services",

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.",

author = "Scott Bourne and Claudia Szabo and Sheng, {Quan Z.}",

year = "2012",

doi = "10.1007/978-3-642-34321-6-34",

language = "English",

isbn = "9783642343209",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "507--515",

booktitle = "Service-oriented computing",

address = "United States",

note = "10th International Conference on Service-Oriented Computing, ICSOC 2012 ; Conference date: 12-11-2012 Through 15-11-2012",

}

Bourne, S, Szabo, C & Sheng, QZ 2012, Ensuring well-formed conversations between control and operational behaviors of web services. in Service-oriented computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7636, Springer, Springer Nature, Berlin; New York, pp. 507-515, 10th International Conference on Service-Oriented Computing, ICSOC 2012, Shanghai, China, 12/11/12. https://doi.org/10.1007/978-3-642-34321-6-34

Ensuring well-formed conversations between control and operational behaviors of web services. / Bourne, Scott; Szabo, Claudia; Sheng, Quan Z.

Service-oriented computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. Berlin; New York : Springer, Springer Nature, 2012. p. 507-515 (Lecture Notes in Computer Science; Vol. 7636).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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

AU - Bourne, Scott

AU - Szabo, Claudia

AU - Sheng, Quan Z.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84868342463&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-34321-6-34

DO - 10.1007/978-3-642-34321-6-34

M3 - Conference proceeding contribution

AN - SCOPUS:84868342463

SN - 9783642343209

T3 - Lecture Notes in Computer Science

SP - 507

EP - 515

BT - Service-oriented computing

PB - Springer, Springer Nature

CY - Berlin; New York

T2 - 10th International Conference on Service-Oriented Computing, ICSOC 2012

Y2 - 12 November 2012 through 15 November 2012

ER -

Bourne S, Szabo C, Sheng QZ. Ensuring well-formed conversations between control and operational behaviors of web services. In Service-oriented computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. Berlin; New York: Springer, Springer Nature. 2012. p. 507-515. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-34321-6-34

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

Abstract

Publication series

Other

Access to Document

Fingerprint

Cite this