LEUNG YING T

Method and framework for model specification, consistency checking and coordination of business processes