Journey Maps

The previous posts developed a conceptual apparatus - state spaces, planning, design, grammars - and established the distinction between constructing a domain and navigating within one. This post...

The previous post introduced statecharts - David Harel's visual formalism for reactive systems, providing a rigorous notation for states, transitions, hierarchy, and concurrency. Statecharts...