期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
模型驱动的决策支持系统开发组件研究 被引量:7
1
作者 胡东波 陈晓红 胡东滨 《系统工程》 CSCD 北大核心 2004年第4期77-81,共5页
运用面向对象的分析与设计方法,系统研究基于模型驱动的决策支持系统(MDDSS)的组件化开发方法。通过对MDDSS开发与应用中的角色与流程进行分析,提出MDDSS组件化开发方法的一般流程,在深入分析MDDSS开发组件的设计原则与基本功能的基础上... 运用面向对象的分析与设计方法,系统研究基于模型驱动的决策支持系统(MDDSS)的组件化开发方法。通过对MDDSS开发与应用中的角色与流程进行分析,提出MDDSS组件化开发方法的一般流程,在深入分析MDDSS开发组件的设计原则与基本功能的基础上,构建MDDSS开发组件的整体架构并探讨其模型求解机制和实现方法。 展开更多
关键词 决策支持系统 MDDSS 模型驱动 组件化开发方法 面向对象 模型库
下载PDF
信息物理系统中组件的时间行为可组合研究综述 被引量:1
2
作者 陈博 刘翀 +2 位作者 陈辉 陈香兰 李曦 《小型微型计算机系统》 CSCD 北大核心 2022年第12期2657-2666,共10页
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的... 组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望. 展开更多
关键词 安全攸关系统 信息物理系统 组件化开发方法(CBD) 时间行为 时间可组合
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部