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.