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]](http://umpir.ump.edu.my/style/images/fileicons/application_pdf.png) |
PDF
Development_of_metamodels_as_logical_and_algebraic_systems.pdf - Published Version Restricted to Repository staff only Download (150kB) | Request a copy |
Abstract
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 |
| URI: | http://umpir.ump.edu.my/id/eprint/7492 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |