RKB／PL：C＋＋的持久性扩充

需求工程知识库／ＰＬ——ＲＫＢ／ＰＬ（ｒｅｑｕｉｒｅｍｅｎｔ—ｅｎｇｉｎｅｅｒｉｎｇｋｎｏｗｌｅｄｇｅｂａｓｅ／ＰＬ）是保持Ｃ＋＋原有风格对Ｃ＋＋进行的持久性扩充．为支持对象的持久性，ＲＫＢ／ＰＬ在Ｃ＋＋对象类的基础上扩充了以约束声明加强对象状态的用户监控；引入簇来表达对象类的集合含义；引入集合、簇、簇闭包的遍历机制来支持对象查询．为支持这些语言机制，ＲＫＢ／ＰＬ具有一个由一组ｂｕｉｌｄ—ｉｎ对象类层次、类型信息库及接口函数、系统状态表以及系统服务函数等构成的运行时系统．本文讨论了ＲＫＢ／ＰＬ中这些机制的表示、相应的运行时系统的组成以及它们的主要实现技术．ＲＫＢ／ＰＬ已成功地用于实现“软件需求获取助手ＦＲＡ”系统的需求工程知识库子系统