What is Semantic modeling?
Semantic modeling was developed as a part of constructive mathematical logic be the group of mathematics from the Novosibirsk Institute of Mathematics. Later this approach was developed into a working technology.
The main ideas of Semantic modeling are:
1. Programming should be replaced by executable specifications.
This will allow cut development costs, decrease a number of bugs and increase quality and speed up the development lifecycle.
2. Semantic modeling languages are based on the subset of the classical first-order predicate logic with some restrictions.
Taking into consideration all the above features, we decided to choose Semantic modeling as a major approach for implementing the idea of uniting all blockchains.
Find out more about Semantic modeling and Kirik project: https://goo.gl/kgNjFv