A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Intelligent systems for users' automated guidance
2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)
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 adoi:10.1109/rcis.2014.6861082 dblp:conf/rcis/Kushnareva14 fatcat:kvkxopnhlfbzjlbcnktayxldpu