使用NWA对组合web服务进行可达性分析

Bibliographische Detailangaben

Veröffentlicht in:	Dong nan da xue xue bao 2008, Vol.24 (3), p.293-295
1. Verfasser:	杜旭涛 邢春晓 周立柱
Format:	Artikel
Sprache:	eng
Schlagworte:	web服务接口控制流自动机 嵌套字自动机 形式化方法 组合web服务
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!