周欣
- 作品数：3 被引量：4H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于形式化规格说明的UML状态图提取被引量：3
- 2011年
- 为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。
- 曾一周欣周吉
- 关键词：形式化规格说明B方法
- 交换式网络中的虚拟局域网技术
- 2001年
- 介绍了交换式网络中的VLAN技术的概念、宣传方法、实施标准，以及VLAN技术与ATM、DHCP、组播等其他技术的关系，使人们能够灵活地应用VLAN技术，轻及和其他技术一起，构建和管理一个更可靠、安全、高效的交换式网络。
- 周欣郭平等
- 关键词：交换式网络虚拟局域网广播域VLAN
- 一种支持MDA的UML类图到RDB模型的转换方法被引量：1
- 2010年
- UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。
- 曾一王健洪媛周欣蔡森虎
- 关键词：UML类图关系数据库模型OCLQVT
