业务流程的完整和可解释的一致性检查| IEEE期刊和杂志| IEEE Xplore