Similar: DPF (Diagram Predicate Framework) http://dpf.hib.no/ http://dpf.hib.no/ A related paper: http://www.sciencedirect.com/science/article/pii/S157106610800

Similar: DPF (Diagram Predicate Framework) http://dpf.hib.no/ http://dpf.hib.no/ A related paper: http://www.sciencedirect.com/science/article/pii/S1571066108004350?via%3Dihub 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."