| 书目名称 | Web Services and Formal Methods |
| 副标题 | 9th International Wo |
| 编辑 | Maurice H. Beek,Niels Lohmann |
| 视频video | |
| 概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets. |
| 出版日期 | Conference proceedings 2013 |
| 关键词 | BPEL; constraint satisfaction; formal methods; modeling; petri nets |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-38230-7 |
| isbn_softcover | 978-3-642-38229-1 |
| isbn_ebook | 978-3-642-38230-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2013 |
发表于 2025-3-21 18:51:54
