I am working at the University of Ansbach and intersted in the programming of software data exchange SW based on the formal languages