Research

Zooming-out on Higraph-based diagrams


Reference:

Anderson, S., Power, J. and Tourlas, K., 2002. Zooming-out on Higraph-based diagrams. Electronic Notes in Theoretical Computer Science, 61, pp. 201-211.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1016/S1571-0661(04)00314-7

Abstract

Computing system representations based on Harel's notion of hierarchical graph, or higraph, have become popular since the invention of Statecharts. Such hierarchical representations support a useful filtering operation, called “previous termzoomingnext term-out”, which is used to manage the level of detail presented to the user designing or reasoning about a large and complex system. In the framework of (lightweight) category theory, we develop the mathematics of previous termzooming e ut for higraphs with loose edges, formalise the transition semantics of such higraphs and conduct an analysis of the effect the operation of previous termzooming out has on the semantic interpretations, as required for the soundness of reasoning arguments depending on zoom-out steps.

Details

Item Type Articles
CreatorsAnderson, S., Power, J. and Tourlas, K.
DOI10.1016/S1571-0661(04)00314-7
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code26495

Export

Actions (login required)

View Item