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 proceedingConference proceeding contributionpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationService-Oriented Computing – ICSOC 2014 Workshops
Subtitle of host publicationWESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Revised Selected Papers
EditorsFarouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh, Sami Bhiri
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pages418-422
Number of pages5
Volume8954
ISBN (Electronic)9783319228853
ISBN (Print)9783319228846
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event12th International Conference on Service-Oriented Computing, ICSOC 2014 - Paris, France
Duration: 3 Nov 20146 Nov 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8954
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other12th International Conference on Service-Oriented Computing, ICSOC 2014
CountryFrance
CityParis
Period3/11/146/11/14

Cite this