Sign in

Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services.

Yongwang ZhaoChunyang HuMin LiuDianfu Ma
Published in: UIC/ATC Workshops (2010)
Keyphrases
  • formal analysis
  • composite web services
  • web services composition
  • service composition
  • agent model
  • formal methods
  • service selection
  • web services
  • ban logic
  • web service composition
  • control flow