青云翻译

正在翻译，请等待...

可以使用进程代数符号描述 web 服务的基本面之间的相互作用。G.Salaun、 ¨ L.波尔多和 M.Schaerf 声称进程代数提供很全面，很令人满意的援助，以 [SBS04] 的 web 服务开发的全过程。他们案例研究表明基于进程代数的可用工具能够有效地进行验证 web 服务符合他们的需求和尊重的属性。

网服务之间根本小平面的互作用可以使用过程代数记法被描述。 G. Salaun， ¨ L。 红葡萄酒和M。 Schaerf声称处理代数提供非常完全和令人满意的援助给网服务发展(SBS04的)整体过程。 他们在专题研究表示，根据处理代数的可利用的工具是有效的在核实网服务一致他们的要求并且尊敬物产。

基本方面之间的相互作用的Web服务描述可以使用过程代数批注。 G.萨隆、☉L波尔多和M.schaerf声称,进程algebras援助提供一个非常全面和令人满意的整个进程的Web服务发展[SBS04]。 它们显示在一个案例研究,根据现有的工具是有效在核查过程代数,Web服务符合他们的要求并尊重属性。

可以使用进程代数符号描述 web 服务的基本面之间的相互作用。G.Salaun、 ¨ L.波尔多和 M.Schaerf 声称进程代数提供很全面，很令人满意的援助，以 [SBS04] 的 web 服务开发的全过程。他们案例研究表明基于进程代数的可用工具能够有效地进行验证 web 服务符合他们的需求和尊重的属性。