"UML 2 Semantics and Applications" - это книга, в которой представлено целостное и интегрированное описание основных работ по семантике UML 2 и практических применений разработки семантики UML. Книга содержит вклады ведущих экспертов в этой области и начинается с введения в UML, после чего предлагает подробное и актуальное описание следующих тем: роль семантики, соображения и обоснование для моделирования системы UML, определение модели системы UML, описательная семантика UML, аксиоматическая семантика диаграмм классов UML, язык ограничений объектов, аксиоматическая семантика автоматов состояний, категориальная семантическая рамка для рассуждения о дизайне взаимодействия, семантика диаграмм активности, верификация моделей UML, инварианты состояния, спецификация и верификация трансформации моделей. Кроме того, читатели получат экспертные рекомендации по разрешению семантических проблем и раздел, посвященный применению семантики UML с анализом модели. Книга "UML 2 Semantics and Applications" является идеальным ресурсом для исследователей и создателей инструментов, работающих с UML, и также отличным учебником для постдипломного обучения и исследований.
В предлагающейся вниманию читателей книге представлена целостная и интегрированная характеристика основного направления семантических работ UML версии 2 и практика применения разработки семантики UML с учетом вклада ведущих специалистов в этой области. Книга начинается с введения в UML и далее предлагает детальный и современный обзор следующих вопросов: Роль семантики Рассмотрение и обоснование системного модели UML Определение системного модели UML Семантика описания UML Грамматика аксиоматических семантик диаграмм классов UML Объектный язык ограничения Аксиоматическая семантика схем состояний автоматов Формальная база смыслового дизайна для логического анализа взаимодействия Семантика диаграмм деятельности, проверка моделей Диаграммы состояния остатков, специфика и проверка преобразований моделей Также читателю предлагается экспертиза помощи в решения проблем семантики, и раздел приложений семантики для анализа моделей. Книга является идеальным ресурсом для исследователей и разработчиков инструментария в области UML. Кроме того, она представляет собой превосходный вводный курс для студентов и научных исследований.
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Книга представляет собой репринтное издание. Несмотря на то, что была проведена серьезная работа по восстановлению первоначального качества издания, на некоторых страницах могут обнаружиться небольшие "огрехи": помарки, кляксы и т.п.
Электронная Книга «UML 2 Semantics and Applications» написана автором Группа авторов в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9780470522615
Описание книги от Группа авторов
A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction designs Semantics of activity diagrams Verification of UML models State invariants Model transformation specification and verification Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.
