Mental maps are realized with XAL (Xml Automata Language). XAL is a state-based language for software systems that are concurrent, real-time, dynamic and programmed using (potentially) multiple languages.
Mental maps / XAL
XAL is an extension of the timed automata formalism, where every automaton keeps track of its internal clocks and several automata could synchronize together using a send/receive rendezvous mechanism. XAL extends Timed-Automata allowing the creation, at execution time, of new copies of already defined automata. This allows describing systems where a finite number of procedures are known, but only at run time it is possible to decide how many copies of each procedures are needed.
In contrast to Timed Automata, with XAL it is possible to build executable applications, linking every state to a piece of code that represents the behaviour of the application itself every time it hits that specific state. Also, different state behaviours could, in principle, be written using different programming languages. In this way an application can be sketched from the software analyst during Requirement Analysis and Design and later that model can be filled-in with the states behaviours, during Coding phase, becoming a fully executable program. In this way, all the intermediate artefacts actually contributed to the final application, via successive refinements.