Login / Signup

A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S.

Guilan DaiXiaoying BaiChongchong Zhao
Published in: GCC (2007)
Keyphrases
  • process model
  • semantic web
  • main contribution
  • web pages
  • web applications
  • website
  • web services
  • database
  • probabilistic model
  • automatic discovery
  • social media
  • model checking
  • conceptual framework
  • semantic web services