Highlights ► Detection of applications of composite operations in evolving software models. ► Automatic generation of detection rules from executable operation specifications. ► Real-world study showing that 70% of all applied composite operations can be detected. ► Performance analysis showing that detection algorithm scales well for large models.

中文翻译：

---

进化软件模型中的后验操作检测

亮点 ► 检测复合操作在不断发展的软件模型中的应用。► 根据可执行操作规范自动生成检测规则。► 真实世界研究表明，所有应用的复合操作中有 70% 可以被检测到。► 性能分析表明，检测算法适用于大型模型。