Operational model: integrating user tasks and environment information with system model

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