EMF : Eclipse Modeling Framework

Introduction Nous avions parlé des notions de modèles et de méta-modèles dans les articles sur l'IDM [1] ou sur le pattern AOM [2]. Le premier nous a permit de survoler un peu les aspects théoriques du sujet tandis que le second, nous a emmené dans ses aspects bien concrets et ses problématiques d’implémentation. UML Pourtant, …

Supervisory Control Theory

Introduction Supervisory Control Theory ou théorie de la supervision des systèmes à évènements discrets introduit par P.J.Ramadge et W.M.Wonham [1] se base sur la théorie des langages et des automates [10]. Elle définit l’utilisation de trois entités : le SED, une spécification souhaitée et un superviseur. Cette théorie définit la possibilité de synthétiser un modèle …

Finite State Machine

Dans l'article sur les SED [2] , nous avons vu que les langages offrent un cadre théorique éprouvé, pour la modélisation et la manipulation des systèmes à événements discrets. Cependant, l’utilisation et la manipulation directe des ensembles décrivant les langages n'est pas réaliste. Ainsi, il est nécessaire d’expliquer les notions liées aux automates à états, …

Systèmes à événements discrets

Les systèmes à événements discrets (SED) sont des systèmes caractérisés par une structure à états et à transitions étiquetées par des événements. L’exécution d’un SED se déroule par la génération d’un événement lors du passage d’un état à un autre via une transition donnée. L’ensemble des événements réalisables par le SED est appelé alphabet et …

Design pattern : Etat

Le pattern Etat ou pattern state est un pattern comportemental. Il permet dynamiquement de changer le comportement du système logiciel qui l'utilise au delà du pattern stratégie [1] qui n'est qu'une délégation du comportement. Le pattern état va bien plus loin car l’état est gérer par le client lui-même et les changements de mode de …