陈江

作品数：3被引量：8H指数：2
导出分析报告
供职机构：中国计量学院信息工程学院更多>>
发文主题：车辆调度系统WCF远程对象形式化验证统一建模语言更多>>
发文领域：自动化与计算机技术交通运输工程更多>>
发文期刊：《工业控制计算机》更多>>
所获基金：浙江省重大科技专项资金国家质检总局科技计划项目浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML时间顺序图的自动验证技术
《中国计量学院学报》2010年第2期124-129,共6页陈江 陈建国 陆慧娟 唐文彬 
浙江省科技厅重大科技专项(No.2007C13091)
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间...
关键词：UML时间顺序图 自动验证 系统建模 
UML时间顺序图的实时系统建模及验证被引量：3
《中国计量学院学报》2010年第1期46-51,共6页陈江 陈建国 陆慧娟 王康健 
国家质检总局科技计划项目(No.2009QK026);浙江省科技厅重大科技专项(No.2007C13091)
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图...
关键词：统一建模语言 实时系统 建模 形式化验证 
基于WCF框架的分步式车辆调度系统被引量：5
《工业控制计算机》2009年第6期79-80,共2页陈江 陈建国 陈国富 
WCF是微软最新一代的面向服务的技术,它简化了分步式系统的开发。分析了WCF的系统架构和技术要素,并在此基础上进行基于WCF的分布式系统的开发和设计,事实证明运用WCF技术大大简化了分步式系统的开发,并具有较高的通信效率和扩展性。
关键词：WCF 分步式技术 远程对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部