Hi Bruce,
I had a quick scan of the thesis. Hard to grasp yet fascinating. From a developers point of view, we tend to work bottom-up. (I started Oxygen as a machine code script), so building 'Mount Abstract' takes a while.
I think a highly standardised OOP based framework would do the job nicely, using well defined objects/nouns and verbs/methods, and message exchange protocols.
Multi-Actor games, probably have much of the required logical framework already.
Charles