Practical Specification Techniques for Control-Oriented Systems

Structure diagrams from JSP and JSD and Statecharts are both deservedly popular graphical notations for specifying finite-state machines, but neither alone is sufficient for high-quality specification of complex systems. This paper shows how to combine them in a simple but powerful way, how to strengthen their hierarchical and self-documenting properties, how to add application-oriented shorthands, and how to include data structures without compromising the analyzability of finite-state machines. As a result of these techniques, our notation can handle the complexity of real switching systems.