TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions

Scott Bourne; Claudia Szabo; Quan Z. Sheng

doi:10.1007/978-3-319-22885-3_39

TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions

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

2 Citations (Scopus)

Original language	English
Title of host publication	Service-Oriented Computing – ICSOC 2014 Workshops
Subtitle of host publication	WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers
Editors	Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh, Sami Bhiri
Place of Publication	Cham, Switzerland
Publisher	Springer, Springer Nature
Pages	418-422
Number of pages	5
Volume	8954
ISBN (Electronic)	9783319228853
ISBN (Print)	9783319228846
DOIs	https://doi.org/10.1007/978-3-319-22885-3_39
Publication status	Published - 2015
Externally published	Yes
Event	12th International Conference on Service-Oriented Computing, ICSOC 2014 - Paris, France Duration: 3 Nov 2014 → 6 Nov 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8954
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	12th International Conference on Service-Oriented Computing, ICSOC 2014
Country/Territory	France
City	Paris
Period	3/11/14 → 6/11/14

Access to Document

10.1007/978-3-319-22885-3_39

Cite this

Bourne, S., Szabo, C., & Sheng, Q. Z. (2015). TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions. In F. Toumani, B. Pernici, D. Grigori, D. Benslimane, J. Mendling, N. B. Hadj-Alouane, B. Blake, O. Perrin, I. Saleh, & S. Bhiri (Eds.), Service-Oriented Computing – ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers (Vol. 8954, pp. 418-422). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8954). Springer, Springer Nature. https://doi.org/10.1007/978-3-319-22885-3_39

Bourne, Scott ; Szabo, Claudia ; Sheng, Quan Z. / TL-VIEWS : a tool for temporal logic verification of transactional behavior of web service compositions. Service-Oriented Computing – ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers. editor / Farouk Toumani ; Barbara Pernici ; Daniela Grigori ; Djamal Benslimane ; Jan Mendling ; Nejib Ben Hadj-Alouane ; Brian Blake ; Olivier Perrin ; Iman Saleh ; Sami Bhiri. Vol. 8954 Cham, Switzerland : Springer, Springer Nature, 2015. pp. 418-422 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8020286d8e0b4b13b0cbe430b854d7f3,

title = "TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions",

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

year = "2015",

doi = "10.1007/978-3-319-22885-3_39",

language = "English",

isbn = "9783319228846",

volume = "8954",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "418--422",

editor = "Farouk Toumani and Barbara Pernici and Daniela Grigori and Djamal Benslimane and Jan Mendling and Hadj-Alouane, {Nejib Ben} and Brian Blake and Olivier Perrin and Iman Saleh and Sami Bhiri",

booktitle = "Service-Oriented Computing – ICSOC 2014 Workshops",

address = "United States",

note = "12th International Conference on Service-Oriented Computing, ICSOC 2014 ; Conference date: 03-11-2014 Through 06-11-2014",

}

Bourne, S, Szabo, C & Sheng, QZ 2015, TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions. in F Toumani, B Pernici, D Grigori, D Benslimane, J Mendling, NB Hadj-Alouane, B Blake, O Perrin, I Saleh & S Bhiri (eds), Service-Oriented Computing – ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers. vol. 8954, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8954, Springer, Springer Nature, Cham, Switzerland, pp. 418-422, 12th International Conference on Service-Oriented Computing, ICSOC 2014, Paris, France, 3/11/14. https://doi.org/10.1007/978-3-319-22885-3_39

TL-VIEWS : a tool for temporal logic verification of transactional behavior of web service compositions. / Bourne, Scott; Szabo, Claudia; Sheng, Quan Z.

Service-Oriented Computing – ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers. ed. / Farouk Toumani; Barbara Pernici; Daniela Grigori; Djamal Benslimane; Jan Mendling; Nejib Ben Hadj-Alouane; Brian Blake; Olivier Perrin; Iman Saleh; Sami Bhiri. Vol. 8954 Cham, Switzerland : Springer, Springer Nature, 2015. p. 418-422 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8954).

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

TY - GEN

T1 - TL-VIEWS

T2 - 12th International Conference on Service-Oriented Computing, ICSOC 2014

AU - Bourne, Scott

AU - Szabo, Claudia

AU - Sheng, Quan Z.

PY - 2015

Y1 - 2015

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

U2 - 10.1007/978-3-319-22885-3_39

DO - 10.1007/978-3-319-22885-3_39

M3 - Conference proceeding contribution

AN - SCOPUS:84983683553

SN - 9783319228846

VL - 8954

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 418

EP - 422

BT - Service-Oriented Computing – ICSOC 2014 Workshops

A2 - Toumani, Farouk

A2 - Pernici, Barbara

A2 - Grigori, Daniela

A2 - Benslimane, Djamal

A2 - Mendling, Jan

A2 - Hadj-Alouane, Nejib Ben

A2 - Blake, Brian

A2 - Perrin, Olivier

A2 - Saleh, Iman

A2 - Bhiri, Sami

PB - Springer, Springer Nature

CY - Cham, Switzerland

Y2 - 3 November 2014 through 6 November 2014

ER -

Bourne S, Szabo C, Sheng QZ. TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions. In Toumani F, Pernici B, Grigori D, Benslimane D, Mendling J, Hadj-Alouane NB, Blake B, Perrin O, Saleh I, Bhiri S, editors, Service-Oriented Computing – ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers. Vol. 8954. Cham, Switzerland: Springer, Springer Nature. 2015. p. 418-422. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-22885-3_39

TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions

Publication series

Other

Access to Document

Other files and links

Cite this