ECOMPOSE: development of Executable COntent in Medicine using Proprietary and Open Standards Engineering Dipartimento di Informatica, Universita’ del Piemonte.

Slides:

Advertisements

Similar presentations

Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.

Advertisements

Clinical Guidelines Adaptation: Managing Authoring and Versioning Issues Paolo Terenziani 1, Stefania Montani 1, Alessio Bottrighi 1, Gianpaolo Molino.

Paolo Atzeni - Pierluigi Del Nostro Università Roma Tre Dipartimento di Informatica e Automazione T-Araneus: Management of temporal data-intensive Web.

Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science.

Flexible and efficient retrieval of haemodialysis time series S. Montani, G. Leonardi, A. Bottrighi, L. Portinale, P. Terenziani DISIT, Sezione di Informatica,

Extending Temporal Databases to Deal with Telic/Atelic Medical Data Paolo Terenziani 1, Richard T. Snodgrass 2, Alessio Bottrighi 1, Mauro Torchio 3, Gianpaolo.

Exploiting decision theory for supporting therapy selection in computerized clinical guidelines Stefania Montani, Paolo Terenziani, Alessio Bottrighi DI,

Towards a Flexible Integration of Clinical Guideline Systems With Medical Ontologies and Medical Information Systems Gianluca Correndo 1, Paolo Terenziani.

Workpackage 2: Norms

Introducing Formal Methods, Module 1, Version 1.1, Oct., Formal Specification and Analytical Verification L 5.

Identifying, Modifying, Creating, and Removing Monitor Rules for SOC Ricardo Contreras Andrea Zisman

GLARE (GuideLine Acquisition Representation and Execution) Paolo Terenziani Dipartimento di Informatica, Universita’ del Piemonte Orientale “Amedeo Avogadro”,

Who am I Gianluca Correndo PhD student (end of PhD) Work in the group of medical informatics (Paolo Terenziani) PhD thesis on contextualization techniques.

Software Testing and Quality Assurance

CSE 555 Protocol Engineering Dr. Mohammed H. Sqalli Computer Engineering Department King Fahd University of Petroleum & Minerals Credits: Dr. Abdul Waheed.

How can Computer Science contribute to Research Publishing?

Guideline interaction scenarios  At the point of care Physicians apply marked-up guidelines, thus they Need to find an appropriate guideline in “ real.

CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.

© 2006 Pearson Addison-Wesley. All rights reserved2-1 Chapter 2 Principles of Programming & Software Engineering.

End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI

AOSE-2003, Melbourne July 15 th 1 Agent Oriented modeling by interleaving formal and informal analysis Anna Perini 1, Marco Pistore 2,1, Marco Roveri 1,

Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.

Do we need theoretical computer science in software engineering curriculum: an experience from Uni Novi Sad Bansko, August 28, 2013.

Cheng/Dillon-Software Engineering: Formal Methods Model Checking.

Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.

ITEC224 Database Programming

Model-based Methods for Web Service Verification.

Pisa, 11/25/2002Susanna Donatelli1 Modelling process and heterogeneous model construction Susanna Donatelli Modelling and evaluation groups.

The Australian e-Health Research Centre CSIRO ICT Centre, Brisbane.

Software Life-Cycle Models Somnuk Keretho, Assistant Professor Department of Computer Engineering Faculty of Engineering, Kasetsart University

Introduction to Formal Methods Based on Jeannette M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September,

Institute e-Austria in Timisoara 1 Author: prep. eng. Calin Jebelean Verification of Communication Protocols using SDL ( )

Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.

Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.

Lecture 7: Requirements Engineering

1 Hybrid-Formal Coverage Convergence Dan Benua Synopsys Verification Group January 18, 2010.

Formal Verification Lecture 9. Formal Verification Formal verification relies on Descriptions of the properties or requirements Descriptions of systems.

Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento.

Knowledge Representation of Statistic Domain For CBR Application Supervisor : Dr. Aslina Saad Dr. Mashitoh Hashim PM Dr. Nor Hasbiah Ubaidullah.

Mapping the IntesaGIS model to the EuroRoads model Alberto Belussi Università di Verona Giuseppe Pelagatti, Mauro Negri Politecnico di Milano ESDI Workshop.

Clinical Guidelines Contextualization in GLARE Alessio Bottrighi*, Paolo Terenziani*, Stefania Montani*, Mauro Torchio #, Gianpaolo Molino # *DI, Univ.

Temporal Constraint Management in Artificial Intelligence - Introduction: time & temporal constraints - The problem - Survey of AI approaches to temporal.

Controllability of Time-Aware Processes at Run Time Andreas Lanz 1, Roberto Posenato 2, Carlo Combi 2, and Manfred Reichert 1 1 Institute of Databases.

Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.

Deriving Operational Software Specification from System Goals Xin Bai EEL 5881 Course Fall, 2003.

 Dr. Syed Noman Hasany.  Review of known methodologies  Analysis of software requirements  Real-time software  Software cost, quality, testing and.

Applying AI temporal reasoning techniques to Clinical Guidelines Luca Anselma%, Paolo Terenziani*, Stefania Montani*, Alessio Bottrighi* %DI, Università.

GLARE: a Domain-Independent System for Acquiring, Representing and Executing Clinical Guidelines Paolo Terenziani, Stefania Montani, Alessio Bottrighi,

© 2006 Pearson Addison-Wesley. All rights reserved2-1 Chapter 2 Principles of Programming & Software Engineering.

16/11/ Semantic Web Services Language Requirements Presenter: Emilia Cimpian

© 2006 Pearson Addison-Wesley. All rights reserved 2-1 Chapter 2 Principles of Programming & Software Engineering.

Chapter 7 K NOWLEDGE R EPRESENTATION, O NTOLOGICAL E NGINEERING, AND T OPIC M APS L EO O BRST AND H OWARD L IU.

WP5: Dynamic Analysis Presented by Pierpaolo Degano Dipartimento di Informatica Università di Pisa at the Final review of DEGAS, 6 April 2005.

DEPENDABILITY ANALYSIS (towards Networked Information Systems) Ester Ciancamerla, Michele Minichino ENEA {ciancamerlae, In.

Methodologies and SSADM Models, Tools and Techniques.

Optimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints Arianna Gallo, Roberto Esposito, Rosa Meo, Marco Botta.

Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1.

Model Checking Early Requirements Specifications in Tropos Presented by Chin-Yi Tsai.

Modeling Formalism Modeling Language Foundations System Modeling & Assessment Roadmap WG SE DSIG Working Group Orlando – June 2016.

Principles of Programming & Software Engineering

Paolo Terenziani, Alessio Bottrighi, Stefania Montani

Temporal Extensions to Defeasible Logic

Software Design Methodology

A Description Logics Approach to Clinical Guidelines and Protocols

Ontology Evolution: A Methodological Overview

COMP62342: Ontology Engineering for the Semantic Web

IS 2935: Developing Secure Systems

Department of Computer Science Abdul Wali Khan University Mardan

A Description Logics Approach to Clinical Guidelines and Protocols

Extending computer guideline system with advanced AI and DB facilities

Presentation transcript:

ECOMPOSE: development of Executable COntent in Medicine using Proprietary and Open Standards Engineering Dipartimento 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) - …. ??

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)

Previous & current work of the group (1)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_1 Temporal Module GL System_n

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) Translator GLARE SPIN GL1 GLn …. GL1 GLn …. P1Pk ….

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)

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)

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)

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)

Previous & current work of the group (not directly related to Medical Informatics) (4)Temporal extensions to (the semantics of) Relational Databases (5)(Semantics of) cooperative updates to Relational Temporal Databases (6)Ontology: modeling time and causation

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)

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). (e)Semantics of Relational Temporal Databases (IF USED!?)

LINKS to Workpackages WP3, Life-cycles, and life-cycle support (f)Semantics of cooperative updates on Temporal Relational Databases (IF USED!?) (g)Resource-based contextualization

LINKS to Workpackages WP4, Software tools (h)task-specific prototypical tool to represent and propagate temporal constraints in clinical guidelines (i)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.