Scenario based Analysis of Linear Computations

Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations.

• Type: Conference
• Year: 2005
• Where: ASM
• Authors: Vladimir Filatov, Rostislav Yavorskiy
• Keywords: Abstract State Machine, ASM 2005, Different Typical Scenarios, Initial Values, Microbiology