On the other hand, there still lack of a formal and mathematical model which is able to support the definition of process, process evolvement, process analysis.