Detecting artifact anomalies in business process specifications with a formal model

Ching-Huey Wang, Feng-Jian Wang. Detecting artifact anomalies in business process specifications with a formal model. Journal of Systems and Software, 82(10):1600-1619, 2009. [doi]

Abstract

Abstract is missing.