论文部分内容阅读
UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进行分析和正确性验证.为了消除UML模型中的歧义性并对系统特性进行分析,必须将UML模型转化为形式化描述.本文在给出UML2.0顺序图的语义基础上,提出了一种使用随机进程代数PEPA对顺序图进行形式化建模的方法,并通过一个实例说明了建模过程.