华纳斯于1978年和1992年研究的RJP程序模型提出了四个相关开发机制，其中不包括（）。