UML2.0顺序图的形式化研究
在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.
统一建模语言、顺序图、Petri网、语义模型、转换规则
30
TP311.5;TP393(计算技术、计算机技术)
2010-03-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
5646-5649