12、图形化查询语言在软件开发中的应用与实现

图形化查询语言在软件开发中的应用与实现

1. 图形化查询语言的核心目标

在软件开发中，图形化查询语言有着重要的作用。它需要对元素及其属性设置选择标准，描绘这些选择标准的分组情况，并可视化它们之间的相互依赖关系。通过回顾之前的示例，我们发现不同的符号表示法虽然语法、关键字和运算符各有不同，但都关注于选择相同类型的程序元素，如类和对象，以及它们之间的关系（关联关系、泛化关系和调用依赖）。选择操作通常基于元素名称，也可能基于元素的结构组成，比如类中特征的存在与否，或者参数列表中参数的情况。此外，元素的选择还常基于其所处的上下文，即查询规范会抽象出元素间的直接关系，只要求存在路径。

2. 建模选择标准

为了实现图形化查询语言的核心目标，我们开发了用于指定选择查询中选择标准的核心建模方法，并使用 OCL 元操作来定义其选择语义。
- 元属性和元关系的评估 ：每个模型元素的选择基于其元属性的值，同时也会考虑模型元素与其他元素的元关系。这些评估通过特殊的 OCL 元操作完成，这些操作被添加到 UML 元模型的各个元类中。例如，以下是用于匹配分类器的 OCL 元操作：

context Classifier:: 
matchesClassifier(C : Classifier) : Boolean 
post: result =  
-- block I. evaluate name pattern 
if C.taggedValue->exists(tv | tv.type.name = 'namePattern') then 
 self.matchesNamePattern(C.taggedValu