Development of Metamodels as Logical and Algebraic Systems

Mezhuyev, Vitaliy (2014) Development of Metamodels as Logical and Algebraic Systems. In: International Conference on Information Science, Electronics and Electrical Engineering , 26-28 April 2014 , Sapporo, Japan. pp. 1850-1854..

[img] PDF
Development_of_metamodels_as_logical_and_algebraic_systems.pdf - Published Version
Restricted to Repository staff only

Download (150kB) | Request a copy


The new approach to development of metamodels for domain specific modelling is proposed in the paper. The logical system for expressing domain specific knowledge is linked with an algebraic structure, defined at the meta-metamodel level. This allows to take into account the mathematical structure of modelled domains, and to use algebraic operations for development of new effective methods for solving domain specific tasks. The applicability of the approach for development of the metamodel “Vector Logic” is shown. Vector logic is a diagrammatic system of propositional logic in which propositions are vectors in the logical space. Practical implementation of the metamodel in the Vector Logic Visual 3D Environment is considered.

Item Type: Conference or Workshop Item (Other)
Uncontrolled Keywords: Domain specific modelling; Metamodel; Logical and algebraic system; Vector logic; Geometrical theorem proving
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Neng Sury Sulaiman
Date Deposited: 01 Dec 2014 04:11
Last Modified: 27 Feb 2018 01:15
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item