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]

Authors

Ching-Huey Wang

This author has not been identified. Look up 'Ching-Huey Wang' in Google

Feng-Jian Wang

This author has not been identified. Look up 'Feng-Jian Wang' in Google