检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《微计算机信息》2008年第36期179-180,209,共3页Control & Automation
基 金:国家科技支撑计划(2006BAF01A37);四川省科技攻关计划(07GG012-001)
摘 要:UML是目前使用非常广泛的标准建模语言。但各模型间存在许多约束,出现不一致在所难免。而一致性检查单单依靠人工是无法完成的,需要实现一种机制来完成这项工作。于是便提出了用数据库解决这一问题的思想,并对其具体实现进行了大胆探索。在一定程度上实现了一致性检查,为以后的研究奠定了基础。UML is a united modeling language which is used extensively. There are so many restrictions between models,so models’ discordance is unavoidable. But checking consistency is too hard to finish only by manual work. A mechanism is required to do this work. Then,the thought of using database to solve this problem is brought forward. It carried out checking consistency on a certain extent. It is good for further research.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145