文章基本信息
- 标题：Lightweight Formal Analysis of Web Service Flows
- 本地全文：下载
- 作者：Shin Nakajima
- 期刊名称：Progress in Informatics
- 印刷版ISSN：1349-8614
- 电子版ISSN：1349-8606
- 出版年度：2005
- 卷号：2
- 出版社：National Institute of Informatics
- 关键词：Web service; BPEL; model checking; lightweight formal methods; EFA; SPIN
