Здравствуйте!

Заинтересовался изучением UML-диаграмм, в частности - хочу попробовать их применение в довольно нестандартной для них области, а именно - в логической семантике (семантике возможных миров). То есть, использовать математический аппарат Крипке и Хинтикки, но как способ установления связей брать именно UML. Посоветуйте ресурсы (желательно на русском, можно и на английском), где адекватно и последовательно изложена теория (и приведены примеры практики) UML-Диаграм? (Помимо этих порталов: http://book.uml3.ru/sec_1_5, planerka.info/methods/visualisation/uml, http://www.uml-diagrams.org/, http://www.ibm.com/developerworks/rational/library/content/RationalEdge/sep04/bell/ может кто знает еще. Интересует именно последовательное изложение.)

intuit.ru

может лучше глянуть https://ru.wikipedia.org/wiki/Coq