Verifying Semantic Business Process Models in Inter-operation.

George Koliadis Aditya Ghose

Published in: IEEE SCC (2007)

Keyphrases

business process models
business processes
business process
semantic information
process model
semantic web
model checking
control flow
database
databases
business rules
business process management
uml activity diagrams