Designing Hierarchical State Machines Using Frame Notation

This whole website is very interesting, the emphasis on modeling feels like a sort of “declarative style” for abstract architecture. Thanks for sharing.