✦ LIBER ✦

Model checking web services choreography in process analysis toolkit

✍ Scribed by Dong Xu; Zhou Lei; Wei-min Li; Bo-feng Zhang

Book ID: 107482757
Publisher: Chinese Electronic Periodical Services
Year: 2010
Tongue: English
Weight: 148 KB
Volume: 14
Category: Article
ISSN: 1007-6417
DOI: 10.1007/s11741-010-0109-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Analysis of business process integration

Analysis of business process integration in Web service context

✍ Jun Shen; Georg Grossmann; Yun Yang; Markus Stumptner; Michael Schrefl; Thomas R 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 518 KB

[IEEE 31st IEEE Software Engineering Wor

[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Modeling and Verifying Web Services Choreography Using Process Algebra

✍ Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; Li, Jing; 📂 Article 📅 2007 🏛 IEEE ⚖ 163 KB

Specific Energy Consumption Analysis Mod

Specific Energy Consumption Analysis Model and Its Application in Typical Steel Manufacturing Process

✍ Wen-qiang SUN; Jiu-ju CAI; Tao DU; Da-wei ZHANG 📂 Article 📅 2010 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 721 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Exploring Services Science Volume 82 || On Viable Service Systems: Developing a Modeling Framework for Analysis of Viability in Service Systems

✍ Snene, Mehdi; Ralyté, Jolita; Morin, Jean-Henry 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 481 KB

This book contains the refereed proceedings of the Second International Conference on Exploring Services Science (IESS) that was held in Geneva, Switzerland, in February 2010. Based on the previous edition and the momentum in this emerging and exciting field, IESS 2011 offered academics, researchers