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 and theorem proving. Thus, they improve the level of automated user support allowing maximum run time flexibility. This paper defines a

more »

... p for a PhD research, aiming at developing the automated guidance provided by intelligent systems. The main idea is to explore formal methods and formal concept analysis to build a new approach for knowledge-intensive process modeling, simulation and analysis. In this paper, we consider the example of an intelligent city operation center.