Formalizing Operations And Relationships On Objects To Support Dynamic Refinement Of Process Models Instances | IEEE Conference Publication | IEEE Xplore