Towards an Agent Based Approach for Verification of OWL-S Process Models.

Alessio Lomuscio Monika Solanki

Published in: ESWC (2009)

Keyphrases

process model
process mining
business processes
business process
software process
model checking
petri net
event logs
business process models
artificial intelligence
software engineering
control flow
business process management
code generator