A Formal Model for BPEL4WS Description of Web Service Composition

2006Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 3

摘要

传达顺序的过程(CSP ) 是一种过程代数学，它对当模特儿合适；验证万维网服务作文。这篇论文描述怎么与 CSP 为万维网服务 compositiob 建模。为万维网服务(BPELAWS ) 翻译企业进程执行语言的作文建设者到 CSP 符号的一套规则被定义。根据被定义的规则，相应翻译算法被设计；与例子说明了。为检查的模型，的方法为确认建模；模型模拟也被介绍。

引用本文（GB/T 7714）

Gü, Xiwu, Lü, 等. A Formal Model for BPEL4WS Description of Web Service Composition[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。