Login / Signup

A Parametric Communication Model for the Verification of BPEL4WS Compositions.

Raman KazhamiakinMarco Pistore
Published in: EPEW/WS-FM (2005)
Keyphrases
  • probabilistic model
  • computational model
  • domain knowledge
  • domain specific
  • model checking