Patents Assigned to Applied Formal Methods Institute
  • Patent number: 7340728
    Abstract: The invention relates to a method, system and apparatus for the direct execution of XML-documents by means of decoration of a XML-document, a document type definition (DTD) or their representation as structure tree, respectively, with textual or graphical flow charts. The structure of the XML-document' is reused for, and integrated with, the code processing the XML document.
    Type: Grant
    Filed: August 1, 2001
    Date of Patent: March 4, 2008
    Assignee: Applied Formal Methods Institute
    Inventor: Philipp W. Kutter