Planning domain models encompass the state features of the field of application, the action portfolio, as well as all relevant relationships between states and actions. Relatively easy real world applications can already lead to large planning models due to their concise logical formalization. These models can hence become unclear very quickly for the human domain modeller. As a consequence, domain models often contain errors or undesired side effects.
Until 2014 (approx.), our working group was developing a graphical tool -- the PANDA editor -- for modelling planning domains. Analogously to programming environments, the PANDA editor constantly performs consistency and correctness checks during the modelling process. Thereby, it creates helpful error messages and hints early during the development stage of a planning model.
Meanwhile, we have stopped the development and support for this graphical tool. However, we are still continueing our research in the area of semantic analyses of planning domains.