Framework to process UML class and component diagrams into Formal Language

Question

I am developing a tool that analyses software architectures by taking UML diagrams as input. I am searching for a framework/ technology that processes UML diagrams into formal l