面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statecha......

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

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