004.415.28 M82     Montali, M.     Specification and verification of declarative open interaction models [Electronic resource] : a logic-based approach / M. Montali. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in business information processing, ISSN 1865-1348 ; 56). - ISBN 978-3-642-14538-4 : Б. ц. ГРНТИ 50.05.13 06.81.19 УДК 004.415.28 004.415.5 005.5:004 Кл.слова (ненормированные): бизнес-процессы -- управление -- распределенные системы -- модели взаимодействия -- сервис-ориентированные вычисления -- спецификация -- верификация См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет