Language of statecharts de David Harel
De la modélisation des systèmes réactifs par les diagrammes d'états à la variante orientée objet des Statecharts d’UML

1A. CIS- ESI
Le 23/04/2012
1

Plan
Introduction Partie I :
 Terminologie  Qu'est-ce qu'un modèle ?

 Pourquoi modéliser ?
 Objectifs de la modélisation  Finalités de la modélisation des systèmes

 Définitions : Système / Système réactif (SR)
 Exemples de SRs selon D. Harel & M. Politi  SR & les 3 vues de spécification- D. Harel & M. Politi

 Invention des langages graphiques par D. Harel & M.

Politi
2

Plan
 Statecharts

d’Harel  Principes des Statecharts d’Harel  Automate d’Harel  Applications des Statecharts d’Harel  Limites des Statecharts d’Harel

Partie II:
La modélisation dynamique: Les Statecharts d'UML

Partie III:
Démonstration : Logiciel open SMD

Conclusion

3

Introduction
Invention du langage Statecharts:
 Langage Statecharts a été défini en 1984 par D. Harel [Harel, 84 ; Harel, 87], et a été rapidement adopté comme notation visuelle pour la conception des systèmes concurrents et réactifs.

 Langage graphique flot de contrôle orienté Prof. David Harel automate. Den of the Faculty of
Mathematics and Computer Science at  Permet une description comportementale the Weizmann Institute, d’un système en termes d’états, d’événements Israel

et de transitions. Le formalisme autorise la hiérarchisation et le parallélisme d’automates ainsi que la diffusion des événements.
4

http://www.wisdom.weizmann.ac.il/~harel/index.html http://hal.archives-ouvertes.fr/docs/00/49/85/95/PDF/TheseLakhrissi_02-07-2010_.pdf

Introduction Language of statecharts de David Harel

 En 1984, I-Logix a été fondée en Israël par

David Harel et Amir Pnueli comme premier fournisseur de solutions de développement collaboratif orienté modèle (Model-Driven Development - MDD) pour la conception de logiciels et systèmes reactifs , basé sur les statecharts d’Harel