论文部分内容阅读
本文作者将SAPS的研究与应用引入支撑系统领域,正是为了解决上述问题。具体讲,一方面,利用SAPS的复用思想、复用作用以及现有研究成果,可为支撑系统提供一种能提高构建效率、保证构建质量的SA构建方法,在克服实际存在的片面性问题同时,还可提高起步较晚的支撑系统的理论研究水平;另一方面,SAPS在支撑系统中的应用,为SAPS开拓了一个新的应用领域,并且在应用过程中,通过对SAPS理论的进一步补充、完善,可推动该领域由非形式化向形式化方向发展,从而推进该领域的成熟度。
本文作者的研究工作主要包括:首先提出了通用的SAPS生命周期模型,以该模型作为本课题在支撑系统领域内研究工作的总体指导模型;其次,在支撑系统领域内分别深入研究了SAPS生命周期模型中与SAPS原型相关的若干环节:“提出了支撑系统的参考SA”、“定义了支撑系统的SAPS”、“形式化描述并形式化分析了该SAPS”;最后,初步探讨了模型中利用SAPS生成支撑系统SA的一些环节,给出了SAPS实现系统的组成结构,并给出基于该实现系统生成SA的具体过程。