-
题名模型驱动的决策支持系统开发组件研究
被引量:7
- 1
-
-
作者
胡东波
陈晓红
胡东滨
-
机构
中南大学商学院
-
出处
《系统工程》
CSCD
北大核心
2004年第4期77-81,共5页
-
基金
国家自然科学基金委国家杰出青年科学基金资助项目(70125002)
教育部博士点基金资助项目(2000053306)
暨南大学"十五"人文社科青年基金资助项目(002JXQ003)
-
文摘
运用面向对象的分析与设计方法,系统研究基于模型驱动的决策支持系统(MDDSS)的组件化开发方法。通过对MDDSS开发与应用中的角色与流程进行分析,提出MDDSS组件化开发方法的一般流程,在深入分析MDDSS开发组件的设计原则与基本功能的基础上,构建MDDSS开发组件的整体架构并探讨其模型求解机制和实现方法。
-
关键词
决策支持系统
MDDSS
模型驱动
组件化开发方法
面向对象
模型库
-
Keywords
Decision Support System
Component-Based Development
Model Drive
Development Method
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
C934
[经济管理—管理学]
-
-
题名信息物理系统中组件的时间行为可组合研究综述
被引量:1
- 2
-
-
作者
陈博
刘翀
陈辉
陈香兰
李曦
-
机构
中国科学技术大学软件学院
华为信息技术有限公司
中国科学技术大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第12期2657-2666,共10页
-
基金
国家自然科学基金项目(61772482)资助
苏州市科技计划项目(SYG201731)资助。
-
文摘
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.
-
关键词
安全攸关系统
信息物理系统
组件化开发方法(CBD)
时间行为
时间可组合
-
Keywords
safety-critical systems
cyber physical systems
component-based design
timing behavior
timing composability
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-