Modeling and Animation of Crisis Management Process with Statecharts

Abstract

International audienceCrisis management process has to comply with various norms and regulations; at the same time, it needs to constantly deal with uncertainty and adapt the process scenario to a current situation. These requirements make process design challenging: whereas conventional activity-oriented modeling formalisms ensure process control by design, they provide only limited support for run-time adaptability of a process scenario. State-oriented formalisms can overcome this deficiency and, thus, extend the process designers toolkit. In this paper, we consider the example of a flood management process implemented as a part of the COS Operation Center-a smart city solution developed by COS&HT company in Russia. We examine the existing (BPMN) specification of this process and propose an alternative way to specify the process based on stat-echarts formalism. We model, animate and test the process scenarios with Yakindu Statecharts tools