一种反应式SPM及其动态语义XYZ表示-软件学报.PDF

1000-9825/2005/16(11)1876 ©2005 Journal of Software 软 件 学 报 Vol.16, No.11 ∗ 一种反应式SPM 及其动态语义XYZ 表示 + 董广智 , 柳军飞, 齐 璇 ( 中国科学院 软件研究所,北京 100080) A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ + DONG Guang-Zhi , LIU Jun-Fei, QI Xuan (Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) + Corresponding author: Phn: +86-10ext 670, E-mail: maildgz@ 163.com, Received 2004-04-22; Accepted 2004-11-16 Dong GZ, Liu JF, Qi X. A kind of reactive SPM and the expression of its dynamic semantics with XYZ. Journal of Software, 2005,16(11):1876−1885. DOI: 10.1360/jos161876 Abstract: 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. Key words: process supporting environment; software process model; process modeling language; reactive; XYZ/E 摘 要: 过程支撑环境PSE(process supporting environment