Семантика и семантически эквивалентные трансформации UML-диаграмм классов
Автор: Дерюгина О.А.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Информатика, вычислительная техника и упровление
Статья в выпуске: 2 (26) т.7, 2015 года.
Бесплатный доступ
В статье формализуются такие понятия, как объектно-ориентированная архитектура ПС, диаграмма классов, класс, интерфейс, отношение наследования, агрегация и т.д. В статье описывается формальная семантика UML-диаграмм классов, на основе которой возможно выполнять сравнение двух диаграмм классов между собой, производить трансформации, проверяя инвариантность семантического значения.
Архитектура программного обеспечения, проектирование программного обеспечения, объектно-ориентированная архитектура, семантика uml-диаграмм, формальная семантика
Короткий адрес: https://sciup.org/142186065
IDR: 142186065
Список литературы Семантика и семантически эквивалентные трансформации UML-диаграмм классов
- Gamma E., Richard H., Ralph J. and John Vl. Design patterns: Abstraction and reuse of object-oriented design//Springer Berlin Heidelberg, 1993
- Raiha O. Genetic Synthesis of Software Architecture University of Tampere Department of Computer Sciences//Lic. Phil. Thesis, September 2008
- Mancoridis S., Mitchell B.S., Rorres C., Chen Y.F. and Gansner E.R. Proc. International Workshop on Program Comprehension (IWPC 98). 1998. P. 45-53
- Penta M. Di, Neteler M., Antoniol G. and Merlo E.//The Journal of Systems and Software. V. 77, I. 3. 2005. P. 225-240
