An Algebraic Foundation for Higraphs

Authors:
John Power;Konstantinos Tourlas
Affiliations:
-;-
Venue:
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Year:
2001

Citing 6
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
On visual formalisms

Communications of the ACM
Category theory for computing science

Category theory for computing science
A small matter of programming: perspectives on end user computing

A small matter of programming: perspectives on end user computing
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Universal Arrow Foundations for Visual Modeling

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams

Quantified Score

Hi-index	0.00

Visualization

Abstract

Higraphs, which are structures extending graphs by permitting a hierarchy of nodes, underlie a number of diagrammatic formalisms popular in computing. We provide an algebraic account of higraphs (and of a mild extension), with our main focus being on the mathematical structures underlying common operations, such as those required for understanding the semantics of higraphs and Statecharts, and for implementing sound software tools which support them.