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...
Saved in:
Main Author: | |
---|---|
Format: | Conference or Workshop Item |
Language: | English |
Published: |
2014
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/7492/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf http://umpir.ump.edu.my/id/eprint/7492/ http://dx.doi.org/10.1109/InfoSEEE.2014.6946242 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.ump.umpir.7492 |
---|---|
record_format |
eprints |
spelling |
my.ump.umpir.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 |
institution |
Universiti Malaysia Pahang |
building |
UMP Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Pahang |
content_source |
UMP Institutional Repository |
url_provider |
http://umpir.ump.edu.my/ |
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/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf http://umpir.ump.edu.my/id/eprint/7492/ http://dx.doi.org/10.1109/InfoSEEE.2014.6946242 |
_version_ |
1643665629192912896 |
score |
13.18916 |