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.
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.
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.
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 |
Available files
Filename: CSM-473.pdf