Abstract: The formal description of the definition and running rules in Optimistic Nested Workflow Transaction Model are introduceed in this paper. Some properties, such as Hierarchies and serializability, are discussed. Two conclusions below are also presented： 1）

Key words: Optimistic nested workflow transaction model,Workflow transaction,Formal description