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

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.

[1]  Chakib Tadj,et al.  Dynamic verification of an object-rule knowledge base using Colored Petri Nets , 2005 .

[2]  Uldis Sukovskis,et al.  Verification of BPMN Model Functional Completeness by using the Topological Functioning Model , 2016, ENASE.

[3]  Jiang Chao,et al.  A knowledge base maintenance system for fault diagnosis expert system , 2010, The 2nd International Conference on Information Science and Engineering.

[4]  Peter E.D. Love,et al.  An ontological approach for technical plan definition and verification in construction , 2015 .

[5]  Erika Asnina,et al.  Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures , 2011, Model-Driven Domain Analysis and Software Development.

[6]  Changle Zhou,et al.  Study on knowledge base verification based on Petri nets , 2005, 2005 International Conference on Control and Automation.

[7]  Mysore Ramaswamy,et al.  Knowledge Base Decomposition to Facilitate Verification , 2000, Inf. Syst. Res..

[8]  Uldis Donins.  Semantics of Logical Relations in Topological Functioning Model , 2012, ENASE.

[9]  Vladislavs Nazaruks.  The Knowledge Frame System based on Principles of Topological Functioning Model , 2017, Appl. Comput. Syst..

[10]  Erika Asnina,et al.  Formal Analysis of Objects State Changes and Transitions , 2018, ENASE.

[11]  Erika Nazaruka,et al.  Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model , 2017, ENASE.

[12]  Erika Asnina,et al.  Specification of decision-making and control flow branching in Topological Functioning Models of systems , 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[13]  Erika Asnina,et al.  Computation Independent Representation of the Problem Domain in MDA , 2008, e Informatica Softw. Eng. J..

[14]  Gerd Gröner,et al.  Goal-oriented modeling and verification of feature-oriented product lines , 2014, Software & Systems Modeling.

[15]  Erika Asnina,et al.  Topological Functioning Model as a CIM-Business Model , 2011, Model-Driven Domain Analysis and Software Development.

[16]  M. Fox,et al.  Enterprise Modeling , 1998, AI Mag..

[17]  W. Wobcke,et al.  A conditional logic for planning and plan recognition , 1994, Proceedings of ANZIIS '94 - Australian New Zealnd Intelligent Information Systems Conference.

[18]  Janis Osis,et al.  Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis , 2017, ENASE.

[19]  Maria Mach-Król,et al.  Validation and verification of temporal knowledge as an important aspect of implementing a temporal knowledge base system supporting organizational creativity , 2015, 2015 Federated Conference on Computer Science and Information Systems (FedCSIS).

[20]  Eugene Santos,et al.  On automatic knowledge validation for Bayesian knowledge bases , 2008, Data Knowl. Eng..

[21]  Keith Case,et al.  Verification of knowledge shared across design and manufacture using a foundation ontology , 2013 .

[22]  Erika Nazaruka,et al.  The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit , 2016, ENASE.

[23]  Laura Giordano,et al.  Conditional logic of actions and causation , 2004, Artif. Intell..

[24]  Erika Asnina,et al.  Enterprise Modeling for Information System Development within MDA , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[25]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[26]  Jacek Skorupski.  Automatic verification of a knowledge base by using a multi-criteria group evaluation with application to security screening at an airport , 2015, Knowl. Based Syst..

[27]  Armands Slihte,et al.  Transforming Textual use Cases to a Computation Independent Model , 2010, MDA/MTDD.

[28]  Erika Asnina,et al.  Towards the Refinement of Topological Class Diagram as a Platform Independent Model , 2011, MDA/MDSD.