Verification of Causality in the Frame System based on the Topological Functioning Modelling

Vladislavs Nazaruks, Jānis Osis

2018

Abstract

Causality is universal relations among phenomena (states, facts, elements, functions) in the system. Verification of causality in the knowledge frame system based on principles of the topological functioning modelling can help in discovering inconsistencies such as incompleteness, ambiguity or contradictions in knowledge on system’s functioning. The method for such verification is presented in this paper. It is based on topological and functioning properties of the topological functioning model including the definition of continuous mapping between topological spaces. The method helps in discovering inconsistent combinations of cause-and-effect relations or a lack of them. Functional characteristics of the system involved in these relations are marked as doubtful. The results of verification require additional investigation by a software developer. A use of the proposed method can lead to more thorough system analysis before development of the solution.

Download


Paper Citation


in Harvard Style

Nazaruks V. and Osis J. (2018). Verification of Causality in the Frame System based on the Topological Functioning Modelling.In - MDI4SE, ISBN , pages 0-0. DOI: 10.5220/0006817905130521


in Bibtex Style

@conference{mdi4se18,
author={Vladislavs Nazaruks and Jānis Osis},
title={Verification of Causality in the Frame System based on the Topological Functioning Modelling},
booktitle={ - MDI4SE,},
year={2018},
pages={},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006817905130521},
isbn={},
}


in EndNote Style

TY - CONF

JO - - MDI4SE,
TI - Verification of Causality in the Frame System based on the Topological Functioning Modelling
SN -
AU - Nazaruks V.
AU - Osis J.
PY - 2018
SP - 0
EP - 0
DO - 10.5220/0006817905130521