Research Repository

CSM-473: Design Mining in LePUS3/Class-Z:Search Space and Abstraction/Concretization Operators

Eden, Amnon H and Gasparis, Epameinondas (2007) CSM-473: Design Mining in LePUS3/Class-Z:Search Space and Abstraction/Concretization Operators. Technical Report. CSM-473, University of Essex, Colchester.

[img]
Preview
Text
CSM-473.pdf

Download (203kB) | Preview

Abstract

LePUS3 is a specification and modelling language designed to capture the building blocks of O-O design at different levels of abstraction. We identify the set of LePUS3 specifications that agree with (are satisfied by) an O-O program (represented by a LePUS3 design model) as the search space for a host of design mining problems such as: reverse engineering, design recovery, design pattern detection, design pattern discovery. We show that this search space is a mathematical lattice (with relation to a particular program) and we demonstrate how it can be traversed using a set of abstraction and concretization operators.

Item Type: Monograph (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Julie Poole
Date Deposited: 24 Oct 2014 10:51
Last Modified: 24 Oct 2014 10:51
URI: http://repository.essex.ac.uk/id/eprint/10656

Actions (login required)

View Item View Item