skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Redesign of UML class diagrams: a formal approach

Kosiuczenko, Piotr

Software & Systems Modeling, 2009, Vol.8(2), pp.165-183 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-007-0068-6

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Redesign of UML class diagrams: a formal approach
  • Tác giả: Kosiuczenko, Piotr
  • Chủ đề: UML ; OCL ; Formal methods ; Refactoring ; Requirements tracing
  • Là 1 phần của: Software & Systems Modeling, 2009, Vol.8(2), pp.165-183
  • Mô tả: Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must be modified accordingly. This paper presents a method of transforming contracts, which allows the extension of a mapping defined on a few model elements, to—what we call—an interpretation function, and to use this function to automatically translate OCL-constraints. Interestingly, such functions preserve reasoning using propositional calculi, resolution, equations, and induction. Interpretation functions can be used to trace model elements throughout multiple redesigns of UML class diagrams in both the forward, and the backward direction. The applicability of our approach is demonstrated in several examples, including some of Fowler’s refactoring patterns.
  • Ngôn ngữ: English
  • Số nhận dạng: ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-007-0068-6

Đang tìm Cơ sở dữ liệu bên ngoài...