| 题名: | 基于代数的软件过程建模系统的设计与实现 |
| 其他题名: | design and implementation of software process modeling system based on algebra
|
| 作者: | 杨国伟
; 杨秋松
; 翟健
; 袁峰
|
| 关键词: | 软件过程建模
; 多元π演算
; ASPMS系统
; 形式化分析
; 验证
; 代数
; 软件过程建模语言
; 建模系统
; 设计
; 软件开发过程
; 易于理解
; 表示方式
; 表达能力
; 图形化
; 形式化语义
; 组织
; 生产质量
; 开发效率
; π演算
; 模型
; 描述
; 矛盾
|
| 刊名: | 计算机工程与设计
|
| 发表日期: | 2008
|
| 卷: | 29, 期:3, 页:530-534,539 | | 部门归属: | 中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080
|
| 摘要: | 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/10351
|
| Appears in Collections: | 互联网软件技术实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 基于代数的软件过程建模系统的设计与实现.pdf（583KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
杨国伟,杨秋松,翟健,等. 基于代数的软件过程建模系统的设计与实现[J]. 计算机工程与设计,2008-01-01,29(3):530-534,539.
|
|
|
