Formal Description of Operational Task and Its Process Expression

In order to make all kinds of information systems consistently understand the operational task and its execution,in-depth study on formal description method of operational task is carried out.Based on analyzing the concept of operational task and its compositions,formal definition is put forward by using eight-tuple array.Explain three kinds of abstract relations which are instantiation relation between overall task and specific task,vertical hierarchy relation between task and action and horizontal logic relation among actions.According to the characteristics of operational task,a set of formal description process is proposed.Use IDEF3 model to show the execution of task.Discuss the realization of simulation model by integrating units of behavior and simulation data and mapping junction to simulation rule.