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...
| 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 |
| _version_ | 1825821943231676416 |
|---|---|
| author | Mezhuyev, Vitaliy |
| author_facet | Mezhuyev, Vitaliy |
| author_sort | Mezhuyev, Vitaliy |
| collection | UMP |
| 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. |
| first_indexed | 2024-03-06T11:49:11Z |
| format | Conference or Workshop Item |
| id | UMPir7492 |
| institution | Universiti Malaysia Pahang |
| language | English |
| last_indexed | 2024-03-06T11:49:11Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | UMPir74922018-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.. (Published) http://dx.doi.org/10.1109/InfoSEEE.2014.6946242 |
| spellingShingle | QA76 Computer software Mezhuyev, Vitaliy Development of Metamodels as Logical and Algebraic Systems |
| title | 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_short | Development of Metamodels as Logical and Algebraic Systems |
| title_sort | development of metamodels as logical and algebraic systems |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/7492/1/Development_of_metamodels_as_logical_and_algebraic_systems.pdf |
| work_keys_str_mv | AT mezhuyevvitaliy developmentofmetamodelsaslogicalandalgebraicsystems |