Formal Specification of Temporal Constraints in Clinical Practice Guidelines.
Marco IannacconeMassimo EspositoPublished in: KICSS (2013)
Keyphrases
- temporal constraints
- formal specification
- clinical practice guidelines
- decision support system
- temporal reasoning
- clinical practice
- clinical decision support systems
- model checking
- specification language
- reverse engineering
- temporal information
- decision support
- constraint satisfaction problems
- decision making
- software components
- management system
- artificial intelligence
- medical imaging
- workflow processes
- workflow management systems
- database
- medical images
- search space
- information systems
- data mining