Abstraction in reasoning about higraph-based systems
Power, J. and Tourlas, K., 2003. Abstraction in reasoning about higraph-based systems. Berlin: Springer, pp. 392-408. (Lecture Notes in Comput. Sci.)
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.
Higraphs, a kind of hierarchical graph, underlie a number of sophisticated diagrammatic formalisms, including Statecharts. Naturally arising from hierarchy in higraphs is an abstraction operation known as zooming out, which is of profound importance to reasoning about higraph-based systems. We motivate how, in general, the use of zooming in reasoning requires sophisticated extensions to the basic notion of higraph and a careful definition of higraph dynamics (i.e. semantics), which we contribute. Our main results characterise zooming by means of a universal property and establish a precise relationship between the dynamics of a higraph and that of its zoom-out.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Power, J.and Tourlas, K.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)