Graphical-Modeling Debugger for Interprocesses Communication

本项目的目标如下：(1)设计一个图形化的事件描述语言和环境，以支持为消息传递程序的通信结构的不同层开发抽象模型。(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.