Formal Analysis of OWL-S Process Model by FDR.

Ping Gong Jianmin Jiang Shi Zhang

Published in: APSCC (2011)

Keyphrases

process model
formal analysis
process mining
business process
false discovery rate
business processes
agent model
formal methods
petri net
ban logic
control flow
event logs
workflow technology
design patterns
formal semantics
software process