Design and system theoretic implementation of a menu system generator–meta support of user interface for task processing

This paper presents two things, design of a menu system generator and its implementation in a system theoretic approach. First, we specify functions of a menu system for task manipulation (model integration approach) and define a menu statement description language (MSDL) for it and introduce a concept of task execution flow diagram (TEFD), show that the MSDL is powerful enough to describe any kind of TEFD. Second, we formulize a menu system generator (MSG), which can address the above mentioned menu system, as a push down automaton, and implement the MSG to demonstrate that an information system specified in the theoretic way has a direct implementation in extProlog.