Abstract
An approach of automatized object-oriented code refactoring is described that applies lattice-based algebraic structures for type hierarchy representation and optimization. A distinctive feature of these algebraic structures is their ability to model aggregation not as a relation between two independent sets of types and attributes, but as a relation between two specific types. The property makes it possible to perform a more careful optimization of type hierarchy. The described approach focuses on redundant attributes removal and on the relocation of identical attributes into their common superclasses (“Pull Up Field” technique). In this paper it is demonstrated how the adopted algebraic structures can be extended to model a wide range of type hierarchies. Also, they are shown to be able to perform transformations allowing for external constraints. Such constraints may represent some additional knowledge of the type hierarchy or of the refactoring process itself. The described approach employs only the fundamental ideas of object-oriented programming. Supplemented with language-specific features it may be used as a basis for building intellectual systems that facilitate object-oriented code refactoring.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Nexhati, A.: Justification of software maintenance costs. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 7(3), 15–23 (2017)
Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999). ISBN: 0-201-48567-2
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations, p. 284. Springer, Heidelberg (1999)
Torim, A.: A visual model of the CRUD matrix. In: Henno, J., et al. (eds.) Information Modelling and Knowledge Bases XXIII, pp. 313–320. IOS Press, Amsterdam (2012)
Huchard, M.: Analyzing inheritance hierarchies through Formal Concept Analysis. A 22-years walk in a landscape of conceptual structures. MASPEGHI: MechAnisms on SPEcialization, Generalization and inHerItance, July 2015, Prague, Czech Republic, pp. 8–13 (2015). https://doi.org/10.1145/2786555.2786557
Godin, R., Valtchev, P.: Formal concept analysis-based class hierarchy design in object-oriented software development. Lecture Notes in Computer Science, vol. 3626, pp. 304–323. Springer, Heidelberg (2005)
Rouane-Hacene, M., Huchard, M., Napoli, A., Valtchev, P.: Using formal concept analysis for discovering knowledge patterns. In: Proceedings of the 7th International Conference on Concept Lattices and Their Applications, Sevilla, Spain, 19–21 October 2010, pp. 223–234 (2010)
Makhortov, S.D.: LP structures on type lattices and some refactoring problems. Program. Comput. Softw. 35(4), 183–189 (2009). https://doi.org/10.1134/S0361768809040021
Makhortov, S.D., Shurlin, M.D.: LP-structures analysis: substantiation of refactoring in object-oriented programming. Autom. Remote Control 74(7), 1211–1217 (2013). https://doi.org/10.1134/S0005117913070126
Aho, A.V., Garey, M.R., Ulman, J.D.: The transitive reduction of a directed graph. SIAM J. Comput. 1(2), 131–137 (1972)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Makhortov, S., Nogikh, A. (2020). LP Structures Theory Application to Building Intelligent Refactoring Systems. In: Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19). IITI 2019. Advances in Intelligent Systems and Computing, vol 1156. Springer, Cham. https://doi.org/10.1007/978-3-030-50097-9_41
Download citation
DOI: https://doi.org/10.1007/978-3-030-50097-9_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50096-2
Online ISBN: 978-3-030-50097-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)