Formalising Design Patterns as Model Transformations

Formalising Design Patterns as Model Transformations

Kevin Lano
Copyright: © 2007 |Pages: 27
DOI: 10.4018/978-1-59904-219-0.ch008
OnDemand:
(Individual Chapters)
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

This chapter describes techniques for the verification of refactorings or transformations of UML models which introduce Design patterns. The techniques use a semantics of object-oriented systems defined by the object calculus (Fiadeiro & Maibaum, 1991; Lano, 1998), and the pattern transformations are proved to be refinements using this semantics.

Complete Chapter List

Search this Book:
Reset