Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 0.00 |
ARRAY(0x83fa470) THAT CHARACTERIZE THE SYSTEM, AND HIGH-LEVEL EVENTS THAT WERE PREVIOUSLY DEFINED THROUGH THAT VIEWPOINT. THIS REPORT DESCRIBES AN EDL MODEL BUILDING TOOL BASED ON THE EDL, WHICH IS INTEGRATED WITH THE OTHER COMPONENTS OF THE EBBA TOOLSET. THE EBBA TOOLSET IS A COLLECTION OF PROGRAMS THAT ALLOW ITS USERS TO EXPRESS MODELS OF SYSTEM BEHAVIOR AS ABSTRACTIONS OF THE DETAILED COMPUTATION COMPRISING THAT BEHAVIOR. THE MODEL BUILDER IS BASICALLY A TRANSLATOR FOR EDL BEHAVIOR MODELS. THE LANGUAGE THAT IT ACCEPTS IS A BIT RICHER THAN EDL IN THAT IT ACCEPTS DIRECTIVES THAT CONTROL COMPILATION AND EVENT LIBRARY MANAGEMENT. THE MODEL BUILDER CAN BE EXECUTED INTERACTIVELY THROUGH THE MODEL BUILDER INTERFACE OR IN A SIMPLE BATCH MODE ON COLLECTIONS OF FILES. THIS REPORT DESCRIBES HOW TO USE THE MODEL BUILDER AND THE EVENT DEFINITION LANGUAGE (EDL) AS IMPLEMENTED IN THE EBBA TOOLSET.