Verification Problems in Conceptual Workflow Specifications.

Arthur H. M. ter Hofstede Maria E. Orlowska Jayantha Rajapakse

Published in: ER (1996)

Keyphrases

high level
optimization problems
np complete
knowledge base
case study
multi agent
natural language
model checking
solving problems
scientific workflows