Class Diagram Restructuring with GROOVE
نویسندگان
چکیده
This paper describes the GROOVE solution to the “Class Diagram Restructuring” case study of the Tool Transformation Contest 2013 [4]. GROOVE [5, 2] is designed to support state space exploration and model checking of dynamically evolving systems; however, as we will show in this contribution, it can also be used to demonstrate graph transformations as a basis for model transformation. GROOVE’s main usage in this solution (and indeed the core feature of GROOVE) is to formulate the required changes as transformation rules and explore all possible ways to apply those rules to a given graph, representing the initial class diagram.
منابع مشابه
Multi-objective optimization of geometrical parameters for constrained groove pressing of aluminium sheet using a neural network and the genetic algorithm
One of sheet severe plastic deformation (SPD) operation, namely constrained groove pressing (CGP), is investigated here in order to specify the optimum values for geometrical variables of this process on pure aluminium sheets. With this regard, two different objective functions, i.e. the uniformity in the effective strain distribution and the necessary force per unit weight of the specimen, are...
متن کاملElbereth: Tool Support for Refactoring Java Programs
As object-oriented software is modified its structure tends to degrade. The potentially large number of classes and the large number of dependencies between them can complicate the analysis and planning needed to maintain a program written in an object-oriented language. Restructuring software to improve its design can lower the cost of future changes. To ease the task of software restructuring...
متن کاملCase study: Class diagram restructuring
This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is to remove clones of attributes from a class diagram, and to identify new classes which abstract groups of classes that share common data features. It is used as one of a general collection of transformations (such as the removal of redundant inheritance, or multiple inheritance) which aim to impro...
متن کاملRestructuring operations for data-flow diagrams - Software Engineering Journal
When defining and designing software with structured analysis and design methods, we need to restructure data-flow diagrams. Using basic editing operations to restructure large systems with voluminous data-flow diagrams is tedious, laborious and error-prone. It is necessary to have data-flow diagram editors that provide editing operations specific for restructuring. This paper proposes and form...
متن کاملRestructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams
Biconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables. In this demonstration, we use an efficient BBDD manipulation package as front-end to a commercial synthesis tool to restructure arithmetic operations in critical components of telecommunicatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013