Testing guidelines conformance by translating a graphical language to computational logic.