Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
Handling Timing Errors in Distributed Programs
IEEE Transactions on Software Engineering
A logical language for data and knowledge bases
A logical language for data and knowledge bases
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
ACM Computing Surveys (CSUR)
Low complexity aggregation in GraphLog and Datalog
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Hermes: a language for distributed computing
Hermes: a language for distributed computing
Animating work and time for debugging parallel programs foundation and experience
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Managing Communication Networks by Monitoring Databases
IEEE Transactions on Software Engineering
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
A Declarative Approach to Active Databases
Proceedings of the Eighth International Conference on Data Engineering
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Extending Interval Logic to Real Time Systems
Temporal Logic in Specification
Supporting Network Management through Declaratively Specified Data Visualizations
Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A prototype debugger for Hermes
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Layout and structuring object oriented software in three dimensions
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Using queries for distributed monitoring and forensics
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Hi-index | 0.00 |
A network manager managing a computer network or a programmer attempting to understand and debug a distributed program both must deal with large volumes of data. Visualization is widely believed to help in these and similar tasks. We contend that visualization is indeed useful, but only if accompanied of the following facilities: abstraction, filtering, and layout control. The Hy+ visualization system and GraphLog query language provide these facilities. They support not just a fixed way of visualizing data, but visualizations that can be specified and manipulated through declarative queries, like data are manipulated in a database. In this paper we show how the Hy+/GraphLog system can be used by network managers or distributed debuggers to meet their information manipulation and visualization goals.With the aid of this system, a network manager can specify network management functions as declarative data manipulation statements (GraphLog queries), for example, to define alerts. The manager can also filter network management information and control the layout and aspect of the resulting visualizations.In the same way, the Hy+/GraphLog system can be used for debugging of distributed and parallel applications by specifying normal or abnormal patterns that the programmer is looking for as declarative GraphLog queries and manipulating the resulting visualizations to understand the behavior of the program.