一种反应式SPM及其动态语义XYZ表示
文献类型：期刊论文
| 作者 | Dong Guang-Zhi ; Liu Jun-Fei ; Qi Xuan |
| 刊名 | Ruan Jian Xue Bao/Journal of Software
 |
| 出版日期 | 2005 |
| 卷号 | 16期号:11页码:1876-1885 |
| 关键词 | Computer programming languages Computer simulation Computer supported cooperative work Mathematical models Semantics |
| ISSN号 | 10009825 |
| 收录类别 | ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-28 |
| 附注 | Software process supporting environment (PSE) is a kind of computer system that supports meta-process of software process. PSE controls and guides real-world software development process by enacting a pre-defined software process model (SPM). The way SPM uses to control real-word process can be categorized into two groups: proactive and reactive. The proactive way cannot support software process evolution well, so more and more people pay attention to the reactive way. A kind of reactive SPM and the graphic software process modeling language which is used to define it are presented. At the same time, for each model which is defined with this language, a method is proposed to express the dynamic semantics of its behavior view with the temporal logic language XYZ/E. This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis. |
| 源URL | [http://124.16.136.157/handle/311060/12484]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Dong Guang-Zhi,Liu Jun-Fei,Qi Xuan. 一种反应式SPM及其动态语义XYZ表示[J]. Ruan Jian Xue Bao/Journal of Software,2005,16(11):1876-1885. |
| APA | Dong Guang-Zhi,Liu Jun-Fei,&Qi Xuan.(2005).一种反应式SPM及其动态语义XYZ表示.Ruan Jian Xue Bao/Journal of Software,16(11),1876-1885. |
| MLA | Dong Guang-Zhi,et al."一种反应式SPM及其动态语义XYZ表示".Ruan Jian Xue Bao/Journal of Software 16.11(2005):1876-1885. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。