Elena Kushnareva

  • Citations Per Year
Learn More
Process-aware information systems (PAIS) supporting knowledge-intensive processes are gaining importance nowadays. Crisis management process is an example of a knowledge-intensive process that is grounded on vast experience of multiple actors (e.g., city services, volunteers, administration) and their collaboration. Automated crisis management systems have(More)
Process manager plays the central role in crisis management. In order to capture the intentions of the process manager, the process should be specified at a strategic level. In order to analyze how these intentions are fulfilled during the process execution, the process should be specified at an operational level. Whereas the variety of techniques for goal(More)
Crisis 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 activityoriented modeling formalisms ensure process control by design, they provide only(More)
Knowledge and experience of a case manager re- mains a key success factor for Case Management Processes (CMPs). When a number of influential parameters is high, a number of possible scenarios grows significantly. Automated guidance in scenario evaluation and activity planning would be of a great help. In our previous work, we defined the statecharts(More)
In two models of depression-like state--"behavioral despair" and experimental dopamine deficit-dependent MPTP-induced depression-like syndrome--as well as in a model of anxiety-depression-like state induced by dipeptidyl peptidase IV inhibitor methionyl-2(s)-cyanopyrrolidine administered in early postnatal period, the symptoms of behavioral depression in(More)
Future developments for case management must evolve from the current systems based on rigid, workflow based processes into context-aware, agile dynamic structures. We propose to combine a declarative approach for process design and the use of formal methods to enable a set of automated techniques for process analysis and validation based on model checking(More)
  • 1