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