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

A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ

作　　者：董广智[1] 柳军飞[1] 齐璇[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《软件学报》2005年第11期1876-1885,共10页Journal of Software

基　　金：电子信息产业发展基金~~

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

关 键 词：过程支撑环境 软件过程模型 过程建模语言 反应式 XYZ/E 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]