ECOMPOSE: development of Executable COntent in Medicine using Proprietary and Open Standards Enginee - PowerPoint PPT Presentation
Title:
ECOMPOSE: development of Executable COntent in Medicine using Proprietary and Open Standards Enginee
Description:
Laura Giordano (Professor) - Stefania Montani (Researcher) ... Alessio Bottrighi (Dr., PhD) Previous & current work of the group ... – PowerPoint PPT presentation
Number of Views:48
Avg rating:3.0/5.0
Title: ECOMPOSE: development of Executable COntent in Medicine using Proprietary and Open Standards Enginee
1
ECOMPOSE development of Executable COntent in
Medicine using Proprietary and Open Standards
EngineeringDipartimento di Informatica,
Universita del Piemonte Orientale Amedeo
Avogadro, Alessandria, Italy
- Possible partecipants (AIM group)
- - Paolo Terenziani (Full Professor)
- - Laura Giordano (Professor)
- - Stefania Montani (Researcher)
- - Luca Anselma (Univ. Torino, Researcher)
- - Alessio Bottrighi (Dr., PhD)
- - . ??
2
Previous current work of the group
- Starting from 1997, GLARE project, with Az.
Ospedaliera S. Giovanni Battista in Turin - GLARE (Guideline Acquisition, Representation,
Execution) - domain-independent (e.g. bladder cancer, ischemic
stroke) - physician-oriented formalism
- Advanced AI techiques
- (only prototypes)
3
Previous current work of the group
- TEMPORAL CONSTRAINTS (IN CLINICAL GUIDELINES)
- Representation formalisms
- Constraint propagation algorithms (e.g., to check
consistency) - Computational complexity vs expressiveness
trade-off - Methodology a domain-independent module coping
with time, to be loosely coupled with different
systems
GL System_n
GL System_1
Temporal Module
4
Previous current work of the group
- (2) VERIFICATION OF CLINICAL GUIDELINES THROUGH
MODEL-CHECKING - Goal a general-purpose approach to verify
(any!?) property about any guideline in GLARE - Which properties? (consistency, reachability of
actions,) - Methodology pairing GLARE with a model-checker
(SPIN)
GL1
GL1
GLARE
SPIN
Translator
.
.
GLn
GLn
.
P1
Pk
5
Previous current work of the group
- (3) RESOURCE-BASED CONTEXTUALIZATION OF CLINICAL
GUIDELINES - Each GL action must specify required resources
(instruments) - Each specific hospital has a set of available
resources - Pruning away (paths of) actions which are not
locally executable (due to lack of resources)
6
Previous current work of the group
- (3) RESOURCE-BASED CONTEXTUALIZATION OF CLINICAL
GUIDELINES - Each GL action must specify required resources
(instruments) - Each specific hospital has a set of available
resources - Pruning away (paths of) actions which are not
locally executable (due to lack of resources)
7
Previous current work of the group
- (3) RESOURCE-BASED CONTEXTUALIZATION OF CLINICAL
GUIDELINES - Each GL action must specify required resources
(instruments) - Each specific hospital has a set of available
resources - Pruning away (paths of) actions which are not
locally executable (due to lack of resources)
8
Previous current work of the group
- (3) RESOURCE-BASED CONTEXTUALIZATION OF CLINICAL
GUIDELINES - Each GL action must specify required resources
(instruments) - Each specific hospital has a set of available
resources - Pruning away (paths of) actions which are not
locally executable (due to lack of resources)
9
Previous current work of the group(not
directly related to Medical Informatics)
- Temporal extensions to (the semantics of)
Relational Databases - (Semantics of) cooperative updates to Relational
Temporal Databases - Ontology modeling time and causation
10
LINKS to Workpackages
- WP1, reviews
- (a) Languages. We may contribute to the survey
about languages representing guidelines (with
specific attention to the treatment of temporal
aspects)
11
LINKS to Workpackages
- WP2, Standard developments
- (b) Languages for clinical guidelines (with
specific reference to temporal constraints). - (c) An upper-level for the ontology of clinical
actions (IF ANY!?) - (d) Modelling the semantics of clinical
guidelines (mapping into model-checkers
languages also temporal logics). - Semantics of Relational Temporal Databases (IF
USED!?)
12
LINKS to Workpackages
- WP3, Life-cycles, and life-cycle support
- Semantics of cooperative updates on Temporal
Relational Databases (IF USED!?) - Resource-based contextualization
13
LINKS to Workpackages
- WP4, Software tools
- (h) task-specific prototypical tool to represent
and propagate temporal constraints in clinical
guidelines - Prototypical tool for validation based on
model-checking techniques (IF VALIDATION INCLUDED
!?) - (j) Prototypical tool to contextualise guidelines
on the basis of locally available resources.
Recommended
CrystalGraphics Presentations
