%0 Journal Article
%T 一种反应式spm及其动态语义xyz表示
%A 董广智？
%A 柳军飞？
%A 齐璇？
%J 软件学报
%P 1876-1885
%D 2005
%X 过程支撑环境pse(processsupportingenvironment)是一种支持软件过程元过程的计算机环境,pse通过运作一个事先定义好的软件过程模型spm(softwareprocessmodel)来控制和指导实际软件开发过程.spm使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式spm以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的spm,提出用时序逻辑语言xyz/e表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.
%K 过程支撑环境
%K 软件过程模型
%K 过程建模语言
%K 反应式
%K xyz/e
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20051103&flag=1