公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

UM L顺序图的形式化定义与特性分析被引量：6: 2010年; 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.; 李晓丽龙翔包晓露李虎; 关键词：统一建模语言顺序图形式化

全选清除导出

共1页<1>

包晓露