TY - CHAP
T1 - Abstraction in reasoning about higraph-based systems
AU - Power, John
AU - Tourlas, Konstantinos
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
UR - http://dx.doi.org/10.1007/3-540-36576-1
U2 - 10.1007/3-540-36576-1
DO - 10.1007/3-540-36576-1
M3 - Book chapter
VL - 2620
T3 - Lecture Notes in Comput. Sci.
SP - 392
EP - 408
BT - Foundations of Software Science and Computation Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
PB - Springer
CY - Berlin
ER -