Plausibility Checking of Formal Business Process