Towards logic based representation of XML models

Both code analysis and code transformation are processes that rely on software models instead of actual software systems. In the context of software modeling, we have done so far some efforts to attach logic representation to programs written in any language by using an automatic and grammar-driven approach. However, XML proved to be a difficult candidate for such an approach, because we discovered the XML format is already close to the logic format that we desired, and running our generic grammar-driven approach on XML files would add unnecessary complications. Therefore, we imagined a different technique for transforming XML files into logic models, a technique that preserves useful information already present in XML files. As a benefit of the approach we will show how UML models (also described in XML) can be transformed into logic models and analyzed or transformed further at a logical level.