Michael Piefel

Michael Piefel

PhD student at the Chair of System Analysis

I am in the process of writing my Doctoral Thesis about metamodels and their transformations.

Short Biography

Work

Publications

Fields of Work

Since October ’95 I work at the chair of Systems Analysis (Systemanalyse) of Professor Fischer. My first work was to provide objects for an object management system and to analyse different proposals for the implementation of the ODP/OMG Trader. This is all in the context of CORBA, Orbix und IDL.

Right now I am working on Kimwitu++. This is a version of Kimwitu which outputs C++ instead of C. The object-oriented approach fits the data structures used so much better. Kimwitu++ is freely distributable, its licence is GPL. The homepage of Kimwitu++ is hosted on our server. Kimwitu++ is the technical basis for several other projects in our group.

My diploma thesis was about SDL, for a change. SDL (Specification and Description Language) is a language with a mathematically rigorously defined semantics. In order to check a program for its semantics, it has to be transformed into AS0 (for Abstract Syntax) and then into AS1. For this last step there exists a set of rules in Z.100 Annex F. My task was to automatically convert a given AS0 into AS1 using said rules.

And finally I started to work at the same chair. I was a parttime instructor and continue to work on my doctoral thesis (aka PhD thesis). Additional info about this work in progress is available only in German. It will be written in the context of ongoing projects at our chair that revolve around metamodelling.

 

…I reserve the right to live
my life this way. I couldn’t give
a damn when I hear people say:
“You’ll pay the price that others pay.”
’Cause it’s worth it!


Valid XHTML 1.1! Valid CSS! Michael Piefel
Created 08/10/1996, last change 15/05/2011