Formal Modeling and Evolution of Design Pattern Based on Role
Huaikou Miao · 2009
Design reuse becomes important in improving software development process.The concept of object oriented design pattern opens the situation for software design reuse.There are barriers when instantiating the design patterns,such as implementation,documentation,composition.This paper presented a formal modeling approach based on role.Class,attribute of class,the relation between class all are treated as roles and all roles are modeled with Object-Z.This effectively resolves the barriers when instantiating the design patterns.The formal model of design pattern is also evolved based on role.The evolution is divides into role layer evolution and pattern layer evolution.Pattern layer evolution is composed of role layer evolution.The model consistence can be verificated with formal theory prover.