Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bourne, S., Szabo, C., Sheng, Q.Z.: Ensuring well-formed conversations between control and operational behaviors of web services. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol. 7636, pp. 507–515. Springer, Heidelberg (2012)
Bourne, S., Szabo, C., Sheng, Q.Z.: Verifying transactional requirements of web service compositions using temporal logic templates. In: Proceedings of the 14th International Conference on Web Information Systems Engineering (2013)
Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: Transactional-aware web service composition: a survey. IGI Global-Advances in Knowledge Management Book Series (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bourne, S., Szabo, C., Sheng, Q.Z. (2015). TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions. In: Toumani, F., et al. Service-Oriented Computing - ICSOC 2014 Workshops. Lecture Notes in Computer Science(), vol 8954. Springer, Cham. https://doi.org/10.1007/978-3-319-22885-3_39
Download citation
DOI: https://doi.org/10.1007/978-3-319-22885-3_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22884-6
Online ISBN: 978-3-319-22885-3
eBook Packages: Computer ScienceComputer Science (R0)