郑宇恒
- 作品数：5 被引量：4H指数：1
- 供职机构：浙江师范大学更多>>
- 发文基金：浙江省科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML的POS系统体系结构建模
- 2008年
- 本文采用统一建模语言UML对软件体系结构进行建模,探索了UML在软件体系结构建模方面的特性。全文以POS系统为示例说明该方法的有效性。
- 李卫杰陈中育郑宇恒
- 关键词：POS系统UML软件体系结构
- 场景驱动的构件行为舍弃被引量：1
- 2008年
- 如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟待解决的问题。给出了一种解决方法。该方法通过舍弃用户不需要的行为,保留场景规约中用户需要的行为,得到一个用户可以使用的构件。用带注释的接口自动机为构件的行为建模,用带注释的消息序列图(MSC)描述场景规约,给出了基于场景进行构件行为舍弃的方法。并用一个实例对文中所述的方法进行了说明。
- 郑宇恒陈中育李卫杰
- 关键词：接口自动机消息序列图
- 远程计算机测控网络有关问题的研究被引量：1
- 2005年
- 分析了当前远程计算机测控网络,即以现场总线为核心的测控系统(FCS)和以嵌入式Web为核心的测控系统等 2种主流组网形式,并对发展趋势进行了展望。对测控网络的网络安全进行了探讨,提供了一种无线遥控密码锁的新型安全装置,以及对网络现场级信号提出了一种行之有效的编码传输方式。
- 郑欣郑宇恒
- 关键词：网络安全
- 一种基于场景的需求验证方法被引量：1
- 2008年
- 在软件需求分析工作中,需要检验获取的需求是否同客户的需求相一致。文章提出一种基于场景的软件需求验证方法,给出了基于场景的系统模型检验验证算法,并通过一个实例对其进行了检验。该方法运用有限状态自动机对软件需求进行建模,以消息序列图描述作为验证条件的场景,对获取的需求的正确性和完备性进行验证。
- 郑宇恒
- 关键词：有限状态自动机消息序列图
- 基于场景的需求建模研究
- 随着软件工程的发展,需求工程日益得到人们的重视。需求分析作为软件生命周期极为重要的一个环节,关系到软件工程项目的成功与否,并且在很大程度上决定了软件产品的质量。本文主要研究软件需求建模问题,其主要思想是:软件需求必须反映...
- 郑宇恒
- 关键词：形式化方法
- 文献传递
