吴越
- 作品数:5 被引量:5H指数:2
- 供职机构:解放军理工大学指挥自动化学院更多>>
- 发文基金:国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域:自动化与计算机技术自然科学总论更多>>
- 需求模型中目标的关系及其发现方法
- KAOS方法在分析系统目标时只考虑了具有负面影响的冲突关系,没有提供支撑作用的判断方法。本文定义了一组类似于Tropos中使用的目标间的二元关系,扩展了KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。同时构造...
- 吴越王智学陈彬
- 关键词:系统模型语义框架
- 文献传递
- 一种基于元模型和多视图的企业目标建模方法被引量:2
- 2009年
- 信息系统的成功研发很大程度上依赖于高质量的系统需求。企业建模可以析出目标模型,为系统需求提供依据。给出了反映企业本质属性的,具有严格语义的企业元模型。在元模型驱动下,用组织视图和业务视图对企业的组织结构和动态行为进行建模,并通过组织和业务视图建模间接地构建目标模型。这种方法使分析人员在实际建模时,能够有效地理解企业,构建目标模型。
- 陈彬王智学吴越
- 关键词:元模型
- 任务时序关系的形式化和传递闭包建模算法
- 2009年
- 建立正确、有效的任务模型是正确引导出军事需求的关键步骤。针对任务间时序关系,给出与任务建模相关的若干形式定义和命题;并根据时序关系的传递性质,给出一种建模算法。该算法通过构建时序关系上的传递闭包,帮助分析人员直观地判断任务间可能存在的时序关系,以及可能产生的并发和死锁;在传递闭包图上科学、合理地标记各个任务的时序等级属性,明确各个任务在执行序列中所处的相对位置,以及在执行序列的每个阶段需要同时展开哪些任务。
- 陈彬王智学吴越
- 关键词:军事需求
- 需求模型中目标的关系及其发现方法被引量:3
- 2008年
- KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。
- 吴越王智学陈彬
- 关键词:面向目标语义框架
- 目标驱动的信息系统需求冲突探测与处理方法
- 将目标驱动的需求分析方法引入军事电子信息系统需求获取过程,使军事人员可直接参与需求建模,无疑为准确把握军事电子信息系统的需求提供了行之有效的方法指导。但不同的军事人员可能会提出相互冲突的目标,从而不同程度地影响了系统整体...
- 吴越王智学陈彬蓝青
- 关键词:信息系统
- 文献传递