rkb／pl：c＋＋的持久性扩充

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