向Web API传递OCL构建搜索表达式：安全风险与MDriven验证支持问询

MDriven完全支持你提到的OCL执行前验证场景，并且提供了现成的AST解析钩子，不需要自行实现OCL解析器，具体可以从以下几个方面入手：

1. 利用内置的OCL AST访问机制 #

MDriven的OCL解析组件会将输入的OCL表达式转换为抽象语法树（AST），你可以通过实现IOCLVisitor接口遍历AST节点，对表达式内容做自定义验证：

• 检查表达式是否访问了未授权的实体类或属性
• 识别可能引发慢查询的操作（比如无过滤的allInstances调用、嵌套过深的关联遍历）
• 限制表达式复杂度，避免执行耗时过长的计算

示例代码片段：

public class OCLSecurityVisitor : IOCLVisitor
{
    private readonly HashSet<string> _allowedEntities = new HashSet<string> { "Customer", "Order" };
    public bool IsValid { get; private set; } = true;

    public void VisitClassInstanceExp(ClassInstanceExp exp)
    {
        if (!_allowedEntities.Contains(exp.Classifier.Name))
        {
            IsValid = false;
        }
        // 递归访问子节点
        exp.AcceptChildren(this);
    }

    // 实现其他IOCLVisitor接口方法，处理不同类型的AST节点
    public void VisitAllInstancesExp(AllInstancesExp exp)
    {
        // 禁止无限制的allInstances调用，或添加过滤条件检查
        IsValid = false;
    }
}

// 使用方式
var oclParser = new OCLParser();
var oclExp = oclParser.Parse("Customer.allInstances()->select(c | c.Age > 18)");
var visitor = new OCLSecurityVisitor();
oclExp.Accept(visitor);
if (!visitor.IsValid)
{
    // 拒绝执行该OCL表达式
}

2. 结合MDriven内置安全控制 #

除了自定义AST验证，还可以利用MDriven本身的安全特性降低风险：

• 在模型层面配置实体和属性的访问权限，限制OCL表达式的访问范围
• 设置OCL查询的超时时间，防止慢查询占用过多资源引发类DOS问题
• 使用MDriven的查询拦截器，在执行前做统一的安全校验

3. 验证流程建议 #

1. 接收Web API传入的OCL字符串
2. 使用MDriven的OCLParser解析为AST对象
3. 调用自定义Visitor遍历AST，执行安全规则检查
4. 验证通过后再执行OCL查询；不通过则返回错误响应给客户端

内容的提问来源于stack exchange，提问作者Peter Buchmann