Login / Signup

Towards a Formal Verification of OWL-S Process Models.

Anupriya AnkolekarMassimo PaolucciKatia P. Sycara
Published in: ISWC (2005)
Keyphrases
  • process model
  • formal verification
  • model checking
  • process mining
  • model checker
  • business processes
  • business process
  • petri net
  • case study
  • business process models
  • control flow
  • artificial intelligence