SMS: Автоматизация конструирования логических структур на базе семиотического моделирования