%0 Journal Article %1 Harel.1987 %A Harel, David %D 1987 %J Science of Computer Programming %K Informatik %N 3 %P 231–274 %T Statecharts: A Visual Formalism for Complex Systems %V 8 %X We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we call statecharts, extend conventional state-transition diagrams with essentially three elements, dealing, respectively, with the notions of hierarchy, concurrency and communication. These transform the...

@article{Harel.1987, abstract = {We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we call statecharts, extend conventional state-transition diagrams with essentially three elements, dealing, respectively, with the notions of hierarchy, concurrency and communication. These transform the...}, added-at = {2013-10-18T15:40:39.000+0200}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/20da6dbd0f9d838c329086189a9ef9f42/hlackner}, interhash = {ea1ef09e646c5e838b7684333fb22c41}, intrahash = {0da6dbd0f9d838c329086189a9ef9f42}, journal = {Science of Computer Programming}, keywords = {Informatik}, number = 3, pages = {231–274}, timestamp = {2013-10-18T15:40:39.000+0200}, title = {Statecharts: A Visual Formalism for Complex Systems}, volume = 8, year = 1987 }