Development of Metamodels as Logical and Algebraic Systems

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...

Full description

Bibliographic Details
Main Author:	Mezhuyev, Vitaliy
Format:	Conference or Workshop Item
Language:	English
Published:	2014
Subjects:	QA76 Computer software
Online Access:	http://umpir.ump.edu.my/id/eprint/7492/ http://umpir.ump.edu.my/id/eprint/7492/ http://umpir.ump.edu.my/id/eprint/7492/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf

id	ump-7492
recordtype	eprints
spelling	ump-74922018-02-27T01:15:06Z http://umpir.ump.edu.my/id/eprint/7492/ Development of Metamodels as Logical and Algebraic Systems Mezhuyev, Vitaliy QA76 Computer software 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. 2014 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/7492/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf 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.. http://dx.doi.org/10.1109/InfoSEEE.2014.6946242
repository_type	Digital Repository
institution_category	Local University
institution	Universiti Malaysia Pahang
building	UMP Institutional Repository
collection	Online Access
language	English
topic	QA76 Computer software
spellingShingle	QA76 Computer software Mezhuyev, Vitaliy Development of Metamodels as Logical and Algebraic Systems
description	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.
format	Conference or Workshop Item
author	Mezhuyev, Vitaliy
author_facet	Mezhuyev, Vitaliy
author_sort	Mezhuyev, Vitaliy
title	Development of Metamodels as Logical and Algebraic Systems
title_short	Development of Metamodels as Logical and Algebraic Systems
title_full	Development of Metamodels as Logical and Algebraic Systems
title_fullStr	Development of Metamodels as Logical and Algebraic Systems
title_full_unstemmed	Development of Metamodels as Logical and Algebraic Systems
title_sort	development of metamodels as logical and algebraic systems
publishDate	2014
url	http://umpir.ump.edu.my/id/eprint/7492/ http://umpir.ump.edu.my/id/eprint/7492/ http://umpir.ump.edu.my/id/eprint/7492/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf
first_indexed	2023-09-18T22:04:08Z
last_indexed	2023-09-18T22:04:08Z
_version_	1777414594945351680

Development of Metamodels as Logical and Algebraic Systems

Similar Items