Workflow temporal verification for monitoring parallel business processes

Xiao Liu, Dingxian Wang, Dong Yuan, Futian Wang, Yun Yang. Workflow temporal verification for monitoring parallel business processes. Journal of Software Maintenance, 28(4):286-302, 2016. [doi]

Authors

Xiao Liu

This author has not been identified. Look up 'Xiao Liu' in Google

Dingxian Wang

This author has not been identified. Look up 'Dingxian Wang' in Google

Dong Yuan

This author has not been identified. Look up 'Dong Yuan' in Google

Futian Wang

This author has not been identified. Look up 'Futian Wang' in Google

Yun Yang

This author has not been identified. Look up 'Yun Yang' in Google