Similar: DPF (Diagram Predicate Framework) http://dpf.hib.no/ A related paper: http://www.sciencedirect.com/science/article/pii/S1571066108... Gotta love this quip from the abstract: "In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance."