UML活动图的一种逻辑语义 (2010年)

【文件属性】：

文件名称：UML活动图的一种逻辑语义 (2010年)

文件大小：204KB

文件格式：PDF

更新时间：2024-06-10 09:14:13

自然科学 论文

为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义。首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明。