|
Digital
Library of the European Council for Modelling and Simulation |
Title: |
A
Multi-Formalism Framework To Generate Diagnostic Decision Support Systems |
Authors: |
Giuseppe Cicala,
Marco De Luca, Marco Oreggia, Armando Tacchella |
Published in: |
(2016).ECMS 2016 Proceedings edited
by: Thorsen Claus, Frank Herrmann, Michael Manitz, Oliver Rose, European Council for Modeling and
Simulation. doi:10.7148/2016 ISBN:
978-0-9932440-2-5 30th
European Conference on Modelling and Simulation, Regensburg Germany, May 31st
– June 3rd, 2016 |
Citation
format: |
Giuseppe Cicala,
Marco De Luca, Marco Oreggia, Armando Tacchella (2016). A Multi-Formalism Framework To Generate
Diagnostic Decision Support Systems, ECMS 2016 Proceedings edited by:
Thorsten Claus, Frank Herrmann, Michael Manitz,
Oliver Rose
European Council for Modeling and Simulation. doi:10.7148/2016-0628 |
DOI: |
http://dx.doi.org/10.7148/2016-0628 |
Abstract: |
The task of a Diagnostic Decision
Support System (DDSS) is to deduce the health status of a physical system. In
this paper, a multi-formalism framework to generate DDSS software based on
formal descriptions of the application domain and the diagnostic computations
is proposed. The key idea is to describe systems and related data with a domain ontology, and to describe diagnostic computations
with an actor-based model. Implementation-specific code is automatically
generated from such dual-formalism descriptions, while the structure of the
DDSS is invariant across applications. An evaluation involving an artificial
scalable domain related to the diagnosis of air conditioning systems is
presented to exemplify and to test the proposed framework. |
Full
text: |