Abstract:An object-oriented program consists of a section of class declarations and a main method. The class declaration section represents the structure of an object-oriented program, that is the data, the classes and relations among them. The execution of the main method realizes the application by invoking methods of objects of the classes defined in the class declarations. Class declarations define the general properties of objects and how they collaborate with each other in realizing the application task programmed as the main method. Note that for one class declaration section, different main methods can be programmed for different applications, and this is an important feature of reuse in object-oriented programming. On the other hand, different class declaration sections may support the same applications, but these different class declaration sections can make significant difference with regards to understanding, reuse and maintainability of the applications. With a UML-like modeling language, the class declaration section of a program is represented as a class diagram, and the instances of the class diagram are represented by object diagrams, that form the state space of the program. In this paper, we define a class diagram and its object diagrams as directed labeled graphs, and investigate what changes in the class structure maintain the capability of providing functionalities (or services). We formalize such a structure change by the notion of structure refinement. A structure refinement is a transformation from one graph to another that preserves the capability of providing services, that is, the resulting class graph should be able to provide at least as many, and as good, services (in terms of functional refinement) as the original graph. We then develop a calculus of object-oriented refinement, as an extension to the classical theory of data refinement, in which the refinement rules are classified into four categories according to their natures and uses in object-oriented software design. The soundness of the calculus is proved and the completeness of the refinement rules of each category is established with regard to normal forms defined for object-oriented programs. These completeness results show the power of the simple refinement rules. The normal forms and the completeness results together capture the essence of polymorphism, dynamic method binding and object sharing by references in object-oriented computation.

Graph Transformation Based Description Language for Model Refactorings

Graph Transformations for Object-Oriented Refinement

Systematically Deriving Domain-Specific Transformation Languages

A Graphical Modeling Language for Model Transformations

DEVSMO: an ontology of DEVS model representation for model reuse

Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation

UML Model Refactoring As Refinement: A Coalgebraic Perspective.

TDL: a transformation description language from feature model to use case for automated use case derivation

Modeling Principles of the Sequence Diagram and Its Application in MDA Software Paradigm

Analysing refactoring dependencies using graph transformation

A Model-Driven Approach for Model Transformations

Extended DEVSML As a Model Transformation Intermediary to Make UML Diagrams Executable.

ATL: A model transformation tool

A Middleware-based Approach to Model Refactoring at Runtime.

Towards Instant Automatic Model Refinement Based on OCL

Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

A Formal Language for Model Transformation Specification

Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions

On the Diagram of Thought

MDE-Based Mode Transformation:From MARTE Model to FIACRE Model

Multilevel coupled model transformations for precise and reusable definition of model behaviour