一种反应式SPM及其动态语义XYZ表示

• 作者: 柳军飞 董广智 齐璇
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 过程支撑环境 软件过程模型 过程建模语言 反应式 XYZ/E
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1876-1885
• 页数: 10页
• 分类号: TP311
• 字数: 6848字
• 语种: 中文

摘要

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐璇	中国科学院软件研究所	8	88	6.0	8.0
2	柳军飞	中国科学院软件研究所	15	135	7.0	11.0
3	董广智	中国科学院软件研究所	5	21	3.0	4.0