Automata-based Model of Scientific Activity

The automata model of scientific activity is defined as an extension of the automata model of arbitrary activity. The automata model is built hierarchically and consists of a static part in the form of a set of data sections and a dynamic part defining a set of model processes. The structure of arbitrary activity is considered from the perspective of requirements engineering. To describe the structure of objects, a new data type is introduced: tree set. Tree sets of objects and activities are defined in the activity model. Science as a whole has a hierarchical tree structure and is defined as a tree set of scientific disciplines. The objects of the model of scientific activity are a theory and a set of scientific projects for each scientific discipline. The organisation of scientific activity in Russia is still inefficient. As an alternative, an organisation based on a portfolio of scientific projects formed by a team of leaders for each scientific discipline is considered. The team of leaders is created and updated in accordance with the principle of maximum competence. The apparatus of formal methods and requirements engineering is used to build a model of scientific activity. The static part of the model proposed by the author is formalised.