A shared variable language with process creation is defined in this paper. Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model. 针对一个基于共享变量的带有进程创建的命令式语言,用变迁系统描述了它的结构操作语义,并用扩展的状态变迁迹模型定义了它的指称语义。
In the end, a set of Plotkin-style structural operational semantics ( SOS ) rules inductively defines a compositional formal semantics for UML state machine. 最后,用Plotkin风格的结构操作语义SOS(structuraloperationalsemantics)规则归纳地给出满足组合性的UML状态机语义。