Ongoing and Future Projects Workflow systems are an example of systems that require dynamic change at runtime, helping process managers to safely recover from exceptions and allow changes while maintaining consistency and soundness.
Static analysis can also offer assurance that a process is sound before it executes.
The conversion requires that the control flow and all of its artifacts are converted into a data-flow model. Deadlock detection algorithms assure that one or more processes will not reach starvation due to conflicting or unavailable resources. Reachability analysis will ensure that the workflow will always start and end properly. Syntax Time Analysis Time analysis can be used to calculate minimum, average and maximum time for completion of a workflow. Simulations Simulations can provide cognitive walkthroughs to users before a system is deployed.