一种反应式spm及其动态语义xyz表示

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