您的位置: 专家智库 > >

中国人民解放军总装备部“十五”预研基金(413060103)

作品数:3 被引量:17H指数:3
相关作者:王聪王智学程学生江光杰更多>>
相关机构:解放军理工大学中国人民解放军海军后勤技术装备研究所更多>>
发文基金:中国人民解放军总装备部“十五”预研基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇电子信息系统
  • 1篇信息系统
  • 1篇形式语义
  • 1篇需求获取方法
  • 1篇自动机
  • 1篇自动机理论
  • 1篇面向对象
  • 1篇面向对象建模
  • 1篇描述语言
  • 1篇模型精化
  • 1篇精化
  • 1篇军事电子信息
  • 1篇军事电子信息...
  • 1篇活动图
  • 1篇UML活动图
  • 1篇BÜCHI自...

机构

  • 3篇解放军理工大...
  • 1篇中国人民解放...

作者

  • 3篇王聪
  • 2篇王智学
  • 1篇江光杰
  • 1篇程学生

传媒

  • 1篇计算机应用研...
  • 1篇系统仿真学报
  • 1篇解放军理工大...

年份

  • 1篇2007
  • 1篇2006
  • 1篇2003
3 条 记 录,以下是 1-3
排序方式:
一种可用于军事电子信息系统的业务描述语言被引量:3
2003年
准确、全面地获取系统需求是信息系统开发的关键问题之一。在需求获取过程中,面临的最大问题是用户和开发人员之间没有共同语言。为了解决这一问题,根据领域工程的思想,提出了一种系统需求的业务框架描述语言,该语言侧重于业务的概念,采用一些UML的方法描述业务的动态行为,从而在用户和开发人员之间建立起沟通的桥梁,使得开发人员易于得到系统的概念模型。
王聪王智学江光杰
关键词:面向对象建模
基于领域模型的需求获取方法被引量:9
2006年
运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。
程学生王聪
关键词:模型精化
基于自动机理论的UML活动图模型检验方法被引量:5
2007年
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。
王聪王智学
关键词:UML活动图形式语义BÜCHI自动机
共1页<1>
聚类工具0