由于UML Statechart图缺乏精确的数据流语义，因而难以对UML Statechart图建模的工作流的数据流进行正确性验证．首先，UML Statechart图......

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工......