✦ LIBER ✦

Model-checking web services business activity protocols

✍ Scribed by Abinoam P. Marques Jr.,Anders P. Ravn…

Book ID: 126346880
Publisher: Springer
Year: 2012
Tongue: English
Weight: 828 KB
Volume: 15
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-012-0231-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract model checking for Web services

✍ Junyan Qian; Guoyong Cai; Tianlong Gu; Lingzhong Zhao 📂 Article 📅 2008 🏛 Wuhan University 🌐 English ⚖ 319 KB

Model checking web services choreography

Model checking web services choreography in process analysis toolkit

✍ Dong Xu; Zhou Lei; Wei-min Li; Bo-feng Zhang 📂 Article 📅 2010 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 148 KB

Detecting feature interactions in Web se

Detecting feature interactions in Web services with model checking techniques

✍ Jian-yin ZHANG; Fang-chun YANG; Sen SU 📂 Article 📅 2007 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 486 KB

Toward Trustworthy Coordination of Web S

Toward Trustworthy Coordination of Web Services Business Activities

✍ Chai, Hua; Zhang, Honglei; Zhao, Wenbing; Michael Melliar-Smith, P.; Moser, Loui 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 652 KB

A business model for dynamic composition

A business model for dynamic composition of telecommunication web services

✍ Karunamurthy, R.; Khendek, F.; Glitho, R.H. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 105 KB

Generating test case specifications of w

Generating test case specifications of web service composition using model checking

✍ Ling-li Qian; Yi-hai Chen 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 208 KB