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

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Mezhuyev, Vitaliy
التنسيق: Conference or Workshop Item
اللغة:English
منشور في: 2014
الموضوعات:
الوصول للمادة أونلاين: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
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
الملخص: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.