Login / Signup
Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models.
Anupriya Ankolekar
Massimo Paolucci
Katia P. Sycara
Published in:
SWS@ISWC (2004)
Keyphrases
</>
process model
process mining
business process
petri net
business processes
formal models
software process
case study
design patterns
control flow
business process models
code generator
machine learning
workflow technology
event logs
workflow management systems
domain knowledge
expert systems
web services