作者：程国达; 彭澄嵌入式系统统一建模语言uml状态图对象约束语言ocl系统描述系统验证
摘要：首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机辅助设计与图形学学报》（CN：11-2925/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
杂志详情
