陈江
- 作品数：4 被引量：9H指数：2
- 供职机构：中国计量学院信息工程学院更多>>
- 发文基金：浙江省重大科技专项资金国家质检总局科技计划项目浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- UML时间顺序图的自动验证技术
- 2010年
- UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.
- 陈江陈建国陆慧娟唐文彬
- 基于WCF框架的分步式车辆调度系统被引量：5
- 2009年
- WCF是微软最新一代的面向服务的技术,它简化了分步式系统的开发。分析了WCF的系统架构和技术要素,并在此基础上进行基于WCF的分布式系统的开发和设计,事实证明运用WCF技术大大简化了分步式系统的开发,并具有较高的通信效率和扩展性。
- 陈江陈建国陈国富
- 关键词：WCF远程对象
- 基于预序的交互行为分析
- 交互行为分析是研究人机交互系统的交互行为的描述和分析方法。为简化交互行为分析,本文提出了行为等价的概念。本文以标号迁移系统为基本模型,提出了包括分歧和内部活动的试验设定和过程表示。本文在通用试验语义和语法的基础上,着重研...
- 陈建国陈江Stefan D.BrudaWai K.YEAP
- 关键词：交互行为形式化描述
- 文献传递
- UML时间顺序图的实时系统建模及验证被引量：4
- 2010年
- 实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
- 陈江陈建国陆慧娟王康健
- 关键词：统一建模语言实时系统形式化验证
