UML形式化相关论文
利用统一建模语言(UML),实现了从高校教务管理类模式向教务管理关系数据库数据模式的转换。首先,以学籍管理系统为例,用UML的用例......
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,......
