UML2.0顺序图的形式化研究  

Research on formalization of UML2.0 sequence diagrams

作　　者：郭峰[1] 张萌[2] 

机构地区：[1]北方工业大学信息工程学院 [2]中国科学院研究生院

出　　处：《计算机工程与设计》2009年第24期5646-5649,共4页Computer Engineering and Design

摘　　要：在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型。为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petri网。In UML2.0 superstructure standard the semantics of sequence diagrams are defined by nature language as before.For auto-matically analysis and verification of UML sequence diagrams a formal semantic model must be defined.At first,formal syntactic of UML of UML sequence diagrams is defined according BNF.Then defined the translation rules for the nonterminal of the formal semantics to translate the basic actions and to labeled Petri nets components.At last,several composition operations are defined which is used to translate the labeled Petri nets components of UML sequence diagrams to labeled Petri nets automatically.

关 键 词：统一建模语言 顺序图 PETRI网 语义模型 转换规则 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]