UML2.0顺序图的形式化建模
UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进行分析和正确性验证.为了消除UML模型中的歧义性并对系统特性进行分析,必须将UML模型转化为形式化描述.本文在给出UML2.0顺序图的语义基础上,提出了一种使用随机进程代数PEPA对顺序图进行形式化建模的方法,并通过一个实例说明了建模过程.
统一建模语言 顺序图 军事电子信息系统 形式化建模 代码实现 随机进程
任正平 黄松
解放军理工大学指挥自动化学院软件测评中心
国内会议
南京
中文
314-319
2008-09-01（万方平台首次上网日期，不代表论文的发表时间）