Better State Pictures Facilitating State Machine Characteristic Conjecture
Duy-Dang Bui, Kazuhiro Ogata · Proceedings · 2020
MCS shared-memory mutual exclusion protocol is used as an example to demonstrate that state picture designs should be better visualized.A case study has been conducted in which we demonstrate that better visualized state pictures make it possible to conjecture more non-trivial characteristics of state machines than the old state pictures.The lessons learned acquired through the case study are summarized as new tips on how to make state picture designs.