文章基本信息

标题：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