Diagramme états-transitions

Résumé

Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates déterministes. Il fait partie du modèle UML et s'inspire principalement du formalisme des statecharts et rappelle les grafcets des automates. S'ils ne permettent pas de comprendre globalement le fonctionnement du système, ils sont directement transposables en algorithme. En effet, contrairement au diagramme d'activité qui aborde le système d'un point de vue global, le diagramme états-transitions cible un objet unique du système. Tous les automates d'un système s'exécutent parallèlement et peuvent donc changer d'état de façon indépendante. Éléments Transitions En plus des états de départ (au moins un) et d'arrivée (nombre quelconque), une transition peut comporter les éléments facultatifs suivants :

un évènement ;
une condition de garde ;
une liste d'actions.

Quand l'événement se produit alors que les états de départ sont actifs et que la condition de gar

Source officielle

https://fr.wikipedia.org/wiki/Diagramme_%C3%A9tats-transitions

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (18)

Publications associées

Chargement

Personnes associées (43)

Personnes associées

Chargement

Unités associées (6)

Unités associées

Chargement

Concepts associés (9)

Concepts associés

Chargement

Cours associés (11)

Cours associés

Chargement

Séances de cours associées (24)

Séances de cours associées

Chargement

BPMN process generation and optimization for readability in the context of telemedecine

Charline Montial

In business, automated processes can be specified using the BPMN standard, which stands for Business Process Model and Notation. It is presented as flowcharts with standardized graphical elements to show the possible flows and activities of a process. These diagrams can be seen as a graph with logical expressions conditioning their edges. The telemedecine start-up Soignez-moi.ch uses BPMN to describe complex medical forms in a readable way. Soignez-moi.ch offers medical consultations via an online platform. The first step for the patient is to fill a questionnaire about his/her symptoms. In the second step, a doctor accesses to the answers and proceeds to call the patient for the teleconsultation. The complexity of these medical forms comes from the fact that the questions are adapted to the patient answers, which leads to different possible flows. Complex forms from another telemedecine website, Diaana, had to be translated to BPMN to be compatible and used at Soignez-moi.ch. Diaana is a contraction of the words diagnosis and anamnesis. The way these forms are specified is very different from what has been modeled in Soignez-moi.ch: instead of having separated branches, there is a sequential list of questions. In this list, every question is evaluated on its own to see if it is asked or not. The question conditions are Boolean expressions. If a direct translation to BPMN is performed, there is no branching to show the relationships between the questions. The aim of my work is to highlight similarities in the branch conditions to make the diagrams more readable and editable by humans. Doctors and collaborators read the medical BPMN processes and may modify them. It should be a pleasant experience for them to go through the diagrams. They should quickly understand in a visual way if questions are related, and how they are related. The BPMN process readability has been achieved by extracting patterns, showing the implications between the questions to have a readable diagram with meaningful branches. This translation has been applied to 18 questionnaires. Two questionnaires were not improved because they were only composed of one question. One questionnaire was also not improved because all its questions were unconditional, meaning that no relationship between the question conditions could be highlighted. Another questionnaire with conditional questions was not improved because its conditions were unrelated. 14/18 questionnaires have had their readability improved.

2022

Diagramme états-transitions

BPMN process generation and optimization for readability in the context of telemedecine

Search for heavy neutral leptons in W plus . mu plus mu +/- jet decays

Observation of the Lambda(0)(b) -> chi(c1) (3872)pK(-) decay

Search for heavy neutral leptons in W plus . mu plus mu +/- jet decays

Observation of the Lambda(0)(b) -> chi(c1) (3872)pK(-) decay

BPMN process generation and optimization for readability in the context of telemedecine