Thanks for your answers.
I have access to both Lightroom and PT Lens profiles. Actually, the right part of the screenshot shows the Lightroom profile for a 50mm lens applied to the artificial starfield on the left, i.e. giving me the inverse distortion. For a quick test, I "dynamic align"ed the undistorted field to the distorted one, saved the process and applied it to the distorted star field. This works, so basically I'm able to convert Lightroom profiles to dynamic alignment processes. Automating the mapping process should be easy to program, if you start from the center, find the position of the nearest 4 neighbour "stars" and work towards the edges. During the alignment process, it was also very nice to see, how many points you actually need for an accurate model and how easy you can introduce severe additional distortion when choosing too few reference points. But I don't want to extract and convert other people's work... also on a quick look, the Lightroom 50mm 1.4 distortion profile looks a little bit off centered, as if it was built from a bad lens sample. Therefore my idea with taking actual pictures of artificial starfields.
I'm not sure, if the following will work:
Once I've a couple of undistorted (i.e. perfectly rectilinear) images and want to build, let's say, a 2x2 mosaic from them, will the undistorted images "snap on" an appropiately sized artificial starfield with gnomonic projection?
A distortion model built into the star generator might help for single images, but not for mosaic building?
Rüdiger