machines tats finis n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Machines à états finis PowerPoint Presentation
Download Presentation
Machines à états finis

Loading in 2 Seconds...

play fullscreen
1 / 15

Machines à états finis - PowerPoint PPT Presentation


  • 112 Views
  • Uploaded on

Machines à états finis. Introduction. Les Machines à états finis sont un outil de modélisation formelle basé sur la théorie des automates. Elles ont été utilisées bien avant l'apparition d'UML, notamment pour la modélisation de protocoles, d'analyseurs syntaxiques, etc…

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Machines à états finis' - jamar


Download Now An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
introduction
Introduction
  • Les Machines à états finis sont un outil de modélisation formelle basé sur la théorie des automates.
  • Elles ont été utilisées bien avant l'apparition d'UML, notamment pour la modélisation de protocoles, d'analyseurs syntaxiques, etc…
  • Une machineà états finis est construite à partir de trois éléments de base :
    • Des états,
    • des évènements,
    • des transitions
  • Elle sera représentée via un diagramme d'états ou Statechart Diagram
forme g n rale d un diagramme d tat
Forme générale d'un diagramme d'état
  • Le dispositif modélisé est supposé se trouver dans un état précis à un moment précis, et l'apparition d'un évènement (stimuli, sollicitation, …) est susceptible de le faire passer dans un autre état, suivant une transition.
forme g n rale d un diagramme d tat1
Forme générale d'un diagramme d'état
  • La machine ci-dessus passera de etat2 à etat1 lorsque l'événement #evt1 apparaîtra.Dans l'état etat2, elle pourrait encore capter un autre événement, à savoir #fin.
tat et transition
État et transition
  • Un état est caractérisé par la ou les valeurs d’une ou plusieurs grandeurs ou variables (les variables d'état).
  • La transition entre deux états est supposée instantanée.
transition
Transition
  • Forme complète d’une transition
slide8
État

On Entry

Do

OnExit

sous diagramme
Sous diagramme
  • Un état peut être décrit par un sous diagramme d’états.
conclusion
Conclusion
  • Une machine à états peut servir à modéliser n'importe quel type de dispositif ou système : un dispositif électronique, électrique, mécanique, un élément logiciel, etc.
  • Une machine à états finis servira donc essentiellement, dans UML, à modéliser le comportement de nos éléments logiciels, donc des objets. A ce titre, il modélise leur comportement dynamique.
  • Une machine à états sera donc généralement associée à une classe dont elle modélisera le fonctionnement de toutes les instances.