Reasoning about causes and consequences in Mulitlevel Flow Models

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The purpose of the paper is to describe how multilevel flow models are used for reasoning about causes and consequences in complex dynamic processes. Reasoning in MFM models derives its power from representation of process knowledge on several levels of specification. The detailed specification is the basis for implementation of automated model based reasoning functions whereas the more abstract specifica-tions provides generic process knowledge for formulation of reasoning strategies and for giving explanations. Reasoning strategies and explanations can be directly visualized in terms of the means-end topology of the multilevel flow models and may be used for design of human machine interfaces supporting diagrammatic reasoning about spatial-temporal aspects of dynamic situations. The principles described in the paper have been used in the implementation of a model based reasoning system.
Original languageEnglish
Title of host publication:Advances in Safety, Reliability and Risk Management - Proceedings of the European Safety and Reliability Conference, ESREL 2011
PublisherEuropean Safety and Reliability Association
Publication date2012
Pages2359-2367
ISBN (Print)9780415683791
Publication statusPublished - 2012
Event20th European Safety and Reliability Conference: Advances in Safety, Reliability and Risk Management - Troyes, France
Duration: 18 Sep 201122 Sep 2011
Conference number: 20
http://www.esrel2011.com/general_info.aspx

Conference

Conference20th European Safety and Reliability Conference
Number20
CountryFrance
CityTroyes
Period18/09/201122/09/2011
Internet address

Fingerprint Dive into the research topics of 'Reasoning about causes and consequences in Mulitlevel Flow Models'. Together they form a unique fingerprint.

Cite this