Modele etat des lieux sortie simple

Si l`attribut`expr`est présent, la plate-forme doit évaluer l`expression correspondante au moment spécifié par l`attribut`Binding`de et doit assigner la valeur résultante comme valeur de l`élément de données. Si l`attribut`src`est présent, la plate-forme doit extraire l`objet spécifié au moment spécifié par l`attribut`Binding`de et doit l`assigner comme valeur de l`élément de données. Si le contenu enfant est spécifié, la plate-forme doit l`assigner comme valeur de l`élément de données au moment spécifié par l`attribut`Binding`de . Il est à noter que dans les deux derniers cas, l`interprétation de l`objet ou du contenu dépendra du modèle de données. Voir modèles de données B pour plus de détails. Si la valeur spécifiée pour un élément (par «SRC», enfants ou l`environnement) n`est pas une valeur de données légales, le processeur SCXML doit déclencher une erreur de lieu. l`exécution dans la file d`attente d`événements interne et doit créer un élément de données vide dans le modèle de données avec l`ID spécifié. L` élément représente un État dont les enfants s`exécutent en parallèle. Comme , l` élément contient , , et ou enfants. Cependant, la sémantique de sont différentes. Quand un est actif, exactement un de ses enfants est actif.

Lorsqu`un élément est actif, tous ses enfants sont actifs. Plus précisément, lorsque l`ordinateur d`État entre dans l` État parent, il entre également chaque État enfant. Les États enfants s`exécutent en parallèle dans le sens où tout événement qui est traité est traité dans chaque État enfant indépendamment, et chaque État enfant peut prendre une transition différente en réponse à l`événement. (De même, un État enfant peut prendre une transition en réponse à un événement, tandis qu`un autre enfant l`ignore.) Lorsque tous les enfants atteignent les États finaux, l` élément lui-même est considéré comme étant dans un état final, et un événement d`achèvement Done.State.ID est généré, où ID est l`ID de l` élément. Pour chaque État s dans la liste, si s a un état d`historique profond h, définissez la valeur d`historique de h comme la liste de tous les descendants atomiques de s qui sont membres dans la configuration actuelle, d`autre définir sa valeur comme la liste de tous les enfants immédiats de s qui sont membres de la configuration actuelle. Encore une fois pour chaque État s dans la liste, d`abord exécuter tous les gestionnaires OnExit, puis annuler les appels en cours, et enfin supprimer s de la configuration actuelle. Étant donné que les documents SCXML sont des documents XML, les règles d`espace de noms XML normales s`appliquent au contenu Inline spécifié avec et . En particulier, si aucun espace de noms n`est spécifié, le contenu Inline sera placé dans l`espace de noms SCXML. Considérez l`exemple suivant: l`ordinateur d`État UML, [1] également connu sous le nom d`Statechart d`UML, est une réalisation significativement améliorée du concept mathématique d`un automate fini dans des applications d`informatique comme exprimé dans le langage unifié de modélisation (UML) Notation.

avatar