中国人民解放军总装备部“十五”预研基金(413060103)
- 作品数:3 被引量:17H指数: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自动机