Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.
Søren DeboisThomas T. HildebrandtTijs SlaatsPublished in: FM (2015)
Keyphrases
- information systems
- process model
- process management
- business process management
- databases
- information technology
- development processes
- development process
- health care
- dynamic environments
- knowledge management
- expert systems
- digital libraries
- database systems
- search engine
- artificial intelligence
- learning algorithm
- machine learning