摘要 : The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming languages. On the other hand, the rich tree-structure... 展开
作者 | Xiang Fu Tevfik Bultan Jianwen Su |
---|---|
作者单位 | |
期刊名称 | 《Software Engineering Notes》 |
页码/总页数 | p.252-262 / 11 |
语种/中图分类号 | 英语 / TP31 |
关键词 | model checking SPIN promela web service XML XML schema MSL XPath |
馆藏号 | TP-353 |