<article xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en"><front><journal-meta><journal-id journal-id-type="publisher">episciences.org</journal-id><journal-id journal-id-type="issn" specific-use="electronic">2418-1838</journal-id><journal-title-group><journal-title>JIPS - Journal d'Interaction Personne-Système</journal-title><abbrev-journal-title>JIPS</abbrev-journal-title></journal-title-group><issn specific-use="electronic">2418-1838</issn><publisher><publisher-name>Association Francophone d’Interaction Homme-Machine (AFIHM)</publisher-name><publisher-loc>                                            Grenoble, France                                        <email>support@episciences.org</email>                    <uri>https://www.episciences.org</uri>                    <uri>https://jips.episciences.org</uri>                </publisher-loc></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.46298/jips.1240</article-id><article-id pub-id-type="hal">hal-01168259</article-id><article-id pub-id-type="publisher-id">http://jips.episciences.org/1240</article-id><article-catgories><series-text content-type="text">Special issues</series-text></article-catgories><title-group><article-title xml:lang="en">Task model simulators: a review</article-title><trans-title-group xml:lang="fr"><trans-title>Les simulateurs de modèles de tâches : une revue</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author"><name><surname>Lachaume</surname><given-names>Thomas</given-names></name><institution-wrap><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'Informatique et d'Automatique pour les Systèmes</institution_name></institution><institution><institution_name>Ingénierie des Données et des moDèles</institution_name></institution><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]</institution_name></institution></institution-wrap></contrib><contrib contrib-type="author"><name><surname>Guittet</surname><given-names>Laurent</given-names></name><institution-wrap><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'Informatique et d'Automatique pour les Systèmes</institution_name></institution><institution><institution_name>Ingénierie des Données et des moDèles</institution_name></institution><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]</institution_name></institution></institution-wrap></contrib><contrib contrib-type="author"><contrib-id contrib-id-type="orcid">0000-0001-8556-1816</contrib-id><name><surname>Girard</surname><given-names>Patrick</given-names></name><institution-wrap><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'Informatique et d'Automatique pour les Systèmes</institution_name></institution><institution><institution_name>Ingénierie des Données et des moDèles</institution_name></institution><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]</institution_name></institution></institution-wrap></contrib><contrib contrib-type="author"><name><surname>Fousse</surname><given-names>Allan</given-names></name><institution-wrap><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'Informatique et d'Automatique pour les Systèmes</institution_name></institution><institution><institution_name>Laboratoire d'Informatique et d'Automatique pour les Systèmes</institution_name></institution><institution><institution_name>Ingénierie des Données et des moDèles</institution_name></institution><institution><institution_name>Ingénierie des Données et des moDèles</institution_name></institution><institution><institution_id type="ror">https://ror.org/02b5vq778</institution_id><institution_name>Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]</institution_name></institution></institution-wrap></contrib></contrib-group><pub-date pub-type="epub"><day>22</day><month>07</month><year>2015</year></pub-date><volume>Issue 3, Special issue : Task Models</volume><uri specific-use="for-review">http://jips.episciences.org/1240/pdf</uri><self-uri>http://jips.episciences.org/1240</self-uri><abstract xml:lang="en"><p>Task modelling has enabled the building of models of human activity for a long time. In the early years, pencil and paper where the only means available to build task models from task model notations. Because of the lack of computed constraints, task models often did not conform to the notation. To solve this problem, some tools were designed by authors in order to help users create, modify and save correct models that conform to the notation syntactic rules. However, understanding the full semantics of task models appeared difficult for practitioners. The dynamic aspects of task models could only be understood "in the user's head". New tools, named simulators, emerged to solve this problem. They allow to "run" or to "simulate" task models and to record scenarios. This execution fulfils the semantics of task model operators, which define the task dynamic semantics. Simulators can be used in many ways such as understanding model semantics, verifying or validating models, building valid scenarios, etc. In this article, we describe and compare currently available and maintained task model simulators, and explain the different usages of these tools, according to user goals and qualifications. Then, we explore the different challenges for these tools to exploit the complete semantics of task models.</p></abstract><trans-abstract xml:lang="fr"><p>La description de l’activité humain-système par des modèles de tâches existe depuis plusieurs années. Après l’époque papier-crayon, les outils d’édition des modèles de tâches ont permis la conception et l’archivage des modèles selon une notation rigoureuse, et la vérification de leur cohérence. Mais la compréhension de la dynamique est restée affaire de spécialiste jusqu’à l’apparition des simulateurs de modèles. Une simulation permet d’appréhender les enchaînements réels de tâches - décrits implicitement par les opérateurs temporels - et de valider les scénarios ainsi réalisés.Cet article décrit et compare les simulateurs actuellement disponibles et maintenus, et explique leurs différents usages en fonction des buts et niveaux d’expertise des utilisateurs. De nouvelles perspectives d’évolutions de ces modèles et outils sont alors définies dans le but d’améliorer leur sémantique.</p></trans-abstract><kwd-group kwd-group-type="author" xml:lang="en"><kwd>Simulator</kwd><kwd>Task model</kwd><kwd>Modèle de tâches</kwd><kwd>Simulateur</kwd><kwd>ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.1: Human information processing</kwd><kwd>ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.13: Theory and methods</kwd><kwd>ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.3: Group and Organization Interfaces/H.5.3.6: Theory and models</kwd><kwd>[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]</kwd></kwd-group><permissions><copyright-year>2015</copyright-year><copyright-holder>The Author(s)</copyright-holder><license license-type="open-access" xlink:href="https://about.hal.science/hal-authorisation-v1"/></permissions><counts><page-count count="28"/></counts></article-meta></front><body/></article>