[2011/1/15]

Quantum Leaps������һ����ѵ�״̬����ģ����QM��QP Modeler�����������Ƕ��ʽʵʱӦ�ò��޷����QP��Quantum Platform������ƽ̨��ʵ�֡�

QP��һ��״̬����ʵ�ֿ�ܣ�֧�ֵ�RTOS�ʹ������dz��㷺���Ѿ������ѵ��ӡ�ҽ�ơ���ҵ�����ߡ����硢�����������ˣ����������������ʵʱǶ��ʽ������ʹ�á�QP������Miro Samek��������Practical UML Statecharts in C/C++������ѧϰ״̬����ģ��ʵ��״̬�����ɲ�������Ƚ̲ģ���һ��2004���ɹ��ڳ������������ڶ������뱾Ҳ�����ڹ��ڳ��档

Miro Samek���ڴ���Ƕ��ʽ��������������ְ��GE Healthcare��Novariant��Global Locate������������һֱרע��״̬����ģ��ʵ�ֵ��о������˺ܶྫ������ĥQP��ܣ���ͨ״̬�����²�RTOS��ͨ·�����Ƿdz��ѵõġ����Miro Samek��������QM������ͼ�ν�ģ���ߣ����Կ�����QP�����ߣ���ͨ��UML��ģ���ߵ�ͨ����Miro Samek����һ����֮ǰ��״̬������������ͬ�ĵ�·�������Ļ�˵����“����Ҫ�͹�����ս”��QM������QP���ʵ�ֿ�ܣ�����ͼ�ν�ģ���ߣ�ͼ�ι��߽����ڴ����ܵĻ����ϡ�����״̬ͼ������IAR VisualState�����°汾6.3.2��������IBM Rational Rhapsody�����°汾7.5.3���ߵ������϶��µ�·�ߣ�Ҳ֧��״̬ͼ����֤�Ͳ��ԣ����ɵĴ����RTOS���ϡ�

����ʹ�õ�״̬ͼ����David Harel��1980�����������ģ������˲�Ρ����е�Ԫ�أ��Ľ���֮ǰ����FSM������״̬���������Ժܿ����ӵ�ȱ�ݡ�״̬ͼ���������ģ�зdz���Ҫ��Ҫ�ء��������Ϸ�������Ϊ���¶�������ֵ�ı仯������ֵ�ı仯�ֵ�����Ϊ�ı仯�����ֲ�ͬ��Ϊ֮�侫��Ļ�����ϵ��ͨ��״̬ͼչ�ֳ�������������˵�����û�аѺ��ĵ��߼���װ���ؼ����״̬���У�ֻ��˵�������������ģ��“���������”��ͨ��״̬ͼ���԰���������Աȷ��һ������ʵ����ε�������Щ��������������խ������Ľӿڣ���ǿ��װ�����á�

�ź����ǣ�״̬ͼ��ʵ���о��������ã�����Ƶ�ʿ��º�������һ�ȡ����������������ǣ�������״̬ͼ�ı��⣬Ϊ������״̬���໭״̬ͼ�����°�״̬ͼ���ɻͼʹ�èD�D��ʵ״̬ͼ�ͻͼ��ȣ�����ͱ�����������˼���෴�ġ�

�ƶ������������豸����δ������Ŀ����ȵ㡣�ͻ����ƶ��豸�������豸�ϵ�Ӧ�õ�����Ҫ����ߣ��б�Ҫͨ��״̬������ÿ��������ϸ�Ľ�ģ��������ֱ��ʹ�õĴ��룬���������˹����������ż�����󡣶��ң���Ҳ���п��ܵģ��Ͼ��ƶ��豸�������豸�ϵ�Ӧ���У���ĸ��������ࡣ

Peter MuellerҲ������״̬����ģ����sinelaboreRT��2.24�汾���°汾���˼���֧��ԭ�е���ҵ������Cadifra��UModel��Magic Draw��EA�ȣ��������˶Կ�ԴUML����ArgoUML��֧�֣�������������Ա�������ÿ�Դ��������ģ��ͨ��sinelaboreRT���ɴ��롣���ߵ��ص���֧�ִ�״̬ͼ����Objective-C��nesC���롣

��Դ

http://www.state-machine.com/downloads/index.php#QM
QM����

http://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts.pdf
1984��David Harel�����Ĺ���״̬ͼ�����ף�Statecharts: A visual formalism for complex systems

http://www.youtube.com/watch?v=KJ9WaUa_4m0
2010��David Harel��Federated Logic Conference (FLoC)���廳ͼ�齱�����Amir Pnueli���ݽ���Ƶ��

��UMLChina������ת��������ҵ��;��