Dynamic modeling method of flexible workflow based on expanded ECA rule and its application | IEEE Conference Publication | IEEE Xplore