Декларативное моделирование и анализ концептуальных спецификаций эксплуатационно-технологических процессов в машиностроении