My PhD thesis, "The Meaning of UML Models" is all done. Now I'm working on knowledge representation with the Defence Science and Technology Organisation (DSTO) in Adelaide.
My PhD research aimed to provide the precision of formal logic to ordinary people who find symbolic language difficult to work with. To this end, I clarified the semantics of the Unified Modelling Language (UML), and outlined how it can be formalised using graph transformation theory.
My ongoing research interests include
Publications and some other work.
My email address is like gregokeefe at netspace.net.au