Related work ■ Some related work recommending state machines for the user interface of interactive software; the specification of data-processing systems; hardware system description; the specification of communication protocols; computer aided instruction 注：以上均为上世纪70,80年代针对传统状态机的工作 Tian Zhang Nanjing University 6
Tian Zhang @ Nanjing University 6 Related work Some related work recommending state machines for : the user interface of interactive software; the specification of data-processing systems; hardware system description; the specification of communication protocols; computer aided instruction 注：以上均为上世纪70,80年代针对传统状态机的工作
Harel Statecharts David Harel The William Sussman Professorial Chair 0 Dept.of Computer Science and Applied Mathematics The Weizmann Institute of Science cofounder of i-Logix Inc. Research interests In the past,but diminished recent years computability and complexity theory,logics of programs,database theory,automata theory ▣recent years systems engineering,OO analysis and design,visual languages, layout of diagrams Tian Zhang Nanjing University
Tian Zhang @ Nanjing University 7 Harel Statecharts David Harel The William Sussman Professorial Chair Dept. of Computer Science and Applied Mathematics The Weizmann Institute of Science cofounder of i-Logix Inc. Research interests In the past, but diminished recent years – computability and complexity theory, logics of programs, database theory, automata theory recent years – systems engineering, OO analysis and design, visual languages, layout of diagrams
Warm up ■ How to model the following in conventional state machine diagrams 1.In all airborne states,when yellow handle is pulled seat will be ejected. 2.Gearbox change of state is independent of braking system. 3.When selection button is pressed enter selected mode. 4.Display-mode consists of time-display,date-display and stopwatch-display. Tian Zhang Nanjing University 8
Tian Zhang @ Nanjing University 8 Warm up How to model the following in conventional state machine diagrams : 1. In all airborne states, when yellow handle is pulled seat will be ejected. 2. Gearbox change of state is independent of braking system. 3. When selection button is pressed enter selected mode. 4. Display-mode consists of time-display, date-display and stopwatch-display
Warm up (2) In all airborne states,when yellow handle is pulled seat will be ejected calls for the ability to cluster states into a superstate Gearbox change of state is independent of braking system introduces independence,or orthogonality When selection button is pressed enter selected mode hints at the need for more general transitions than the single event-labelled arrow Display-mode consists of time-display,date-display and stopwatch-display captures the refinement of states Tian Zhang Nanjing University 9
Tian Zhang @ Nanjing University 9 Warm up (2) In all airborne states, when yellow handle is pulled seat will be ejected calls for the ability to cluster states into a superstate Gearbox change of state is independent of braking system introduces independence, or orthogonality When selection button is pressed enter selected mode hints at the need for more general transitions than the single event-labelled arrow Display-mode consists of time-display, date-display and stopwatch-display captures the refinement of states
Three Elements Statecharts extend conventional state-transition diagrams with essentially three elements Hierarchy Concurrency Communication In a nutshell,one can say 口 statecharts state-diagrams depth orthogonality broadcast-communication Tian Zhang Nanjing University 10
Tian Zhang @ Nanjing University 10 Three Elements Statecharts extend conventional state-transition diagrams with essentially three elements : Hierarchy Concurrency Communication In a nutshell, one can say : statecharts = state-diagrams + depth orthogonality + broadcast-communication