陈卉
- 作品数：5 被引量：10H指数：2
- 供职机构：南京师范大学数学与计算机科学学院更多>>
- 发文基金：江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 实时协同编辑中群组可靠性和容错研究被引量：2
- 2007年
- 论述了在实时协同编辑系统中,协作站点的可靠性和协同会话管理的容错问题。给出一个会话管理器的查询算法,解决了协作站点或网络故障或长时间无操作生成等带来的系统可靠性与安全性问题。给出一个分布式备份模型解决了会话管理器的容错问题。并通过实验对相关算法的有效性进行了验证,为实时协同编辑系统的设计与实现提供了支持。
- 窦万峰朱鸣陈卉
- 关键词：CSCW可靠性容错性
- UML顺序图和状态图的形式化方法研究
- 统一建模语言(Unified Modeling Language,UML)是一种描述能力强大且含义直观的可视化建模语言，它提供多种视图从不同角度和应用层次刻画系统特性以及复杂的运行环境。UML语法结构虽然采用了形式化的规...
- 陈卉
- 关键词：统一建模语言顺序图状态图形式化方法
- 文献传递
- 实时协同编辑中群组可靠性和容错研究
- 论述了在实时协同编辑系统中,协作站点的可靠性和协同会话管理的容错问题。给出一个会话管理器的查询算法,解决了协作站点或网络故障或长时间无操作生成等带来的系统可靠性与安全性问题。给出一个分布式备份模型解决了会话管理器的容错问...
- 窦万峰朱鸣陈卉
- 关键词：CSCW可靠性容错性
- 文献传递
- UML顺序图与状态图的一致性检查被引量：7
- 2008年
- 用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。
- 陈卉窦万峰
- 关键词：统一建模语言有限状态自动机
- 群组安全协同多会话交谈系统设计与实现
- 2006年
- 介绍了基于组播的安全协同多会话交谈系统的设计与实现。讨论了组播技术涉及到的安全问题:信息的完整性、密钥管理、密钥分发等,提出一种新的基于组播的安全群组通信的模型及策略,并引入到协同多会话交谈系统中,对提出的模型和策略进行了验证。
- 宣文霞窦万峰陈卉
- 关键词：CSCW群组通信
