简介:Atpresent,thereisnoformalizeddescriptionoftheexecutingprocedureofworkflowmodels.Theprocedureofworkflowmodelsexecutinginworkflowengineisdescribedusingoperationalsemantic.Theformalizeddescriptionofprocessinstancesandactivityinstancesleadstoveryclearstructureoftheworkflowengine,haseasycooperationoftheheterogeneousworkflowenginesandguidestherealizationoftheworkflowenginefunction.Meanwhile,thesoftwareofworkflowenginehasbeencompletedbymeansoftheformalizeddescription.