Publications

Operational Model: Integrating User Tasks and Environment Information with System Model

Authors
Sébastien Combéfis
Tags
, , , ,
Title
Operational Model: Integrating User Tasks and Environment Information with System Model
Authors
Sébastien Combéfis
combefis-fmis2009.pdf Δ   130Kb   28 May 2020
Type
In Proceedings
Book title
3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, Netherlands
Year
2009
Note
Short paper

Abstract

This paper addresses the problem of integrating information about user tasks and about the operating environment to the model of a system. Following a modelling based on labelled transition systems, this integration can be done with elementary operations: models synchronization and graph operations. Integration of user tasks and information about operating environment allows to get operational model which represents the knowledge the user should have about the system to perform a set of tasks, given information provided by the operating environment, through user interface for example. The paper draws up a formal way to do the integration to get an operational model which can be used to evaluate and compare different system’s design, to do verification or to generate training material.

Tags Tags: , , , ,


BibTeX Record
  @INPROCEEDINGS{lvl-2009-5,
    TITLE = {Operational Model: Integrating User Tasks and Environment Information with System Model},
    AUTHOR = {Sébastien Combéfis},
    YEAR = {2009},
    NOTE = {Short paper},
    URL = {https://lvl.info.ucl.ac.be/Publications/OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel},
  }