Graphical-Modeling Debugger for Interprocesses Communication

本项目的目标如下：(L)设计一个图形化的事件描述语言和环境，以支持消息传递程序通信结构的不同层的抽象模型的开发。(2)开发调试工具，将上述图形语言定义的通信模型与程序的运行时通信结构进行比较。(3)研究图形化事件描述语言的有效性和调试技术。调试工具为用户提供了一种基于用户对程序通信结构的心理抽象来指导调试会话的机制。此外，通信模型可以针对程序的任何级别而设计，从而允许用户以自上而下的方式调试程序。通过提供一种用于描述模型和显示运行时行为的通用图形格式，用户可以基于他们自己的抽象为调试器的输入和输出提供通用的可视界面。

The objectives of this project are as follows: (l) To design a graphical event description language and environment to support development of abstract models for the different layers of a message-passing program's communication structure. (2) To develop a debugging tool that compares a communication model defined in the above graphical language to the run-time communication structure of a program. (3) To study the effectiveness of the graphical event description language and the debugging technique. The debugging tool provides the user with a mechanism for directing a debugging session based on the user's mental abstractions of a program's communication structure. Additionally, the communication model can be designed for any level of the program and thus allows the user to debug the program in a top-down fashion. By providing one general graphical format for describing the model and for displaying the run-time behavior, users are given a common visual interface for both the input and output of the debugger based on their own abstractions.