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)
CreatorsPower, J.and Tourlas, K.
DepartmentsFaculty of Science > Computer Science
ID Code5519


Actions (login required)

View Item