论文部分内容阅读
需求工程知识库/PL-RKB/PL(requirement-engineering knowledge base/PL)是保持C++原有风格对C++进行的持久性扩充,为支持对象的持久性,RKB/PL在C++对象类的基础上扩充了以约束声明加强对象状态的用户监控;引入簇来表达对象类的集合含义;引入集合、才包的遍历机制来支持对象查询,为支持这些语言机制,RKB/PL具有一个由一组builld-in对象类