Refactoring object-oriented specifications with inheritance-based polymorphism

Smith, Graeme and Helke, Steffen (2011). Refactoring object-oriented specifications with inheritance-based polymorphism. In: 2011 Fifth International Symposium on Theoretical Aspects of Software Engineering (TASE). 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, (35-41). 29-31 August 2011. doi:10.1109/TASE.2011.31


Author Smith, Graeme
Helke, Steffen
Title of paper Refactoring object-oriented specifications with inheritance-based polymorphism
Conference name 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Conference location Xi'an, Shaanxi, China
Conference dates 29-31 August 2011
Proceedings title 2011 Fifth International Symposium on Theoretical Aspects of Software Engineering (TASE)
Journal name Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Place of Publication Piscataway, NJ, United States
Publisher IEEE
Publication Year 2011
Sub-type Fully published paper
DOI 10.1109/TASE.2011.31
ISBN 9781457714870
Start page 35
End page 41
Total pages 7
Collection year 2012
Language eng
Abstract/Summary Specification notations such as JML and Spec# which are embedded into program code provide a promising approach to formal object-oriented software development. If the program code is refactored, however, the specifications need also to be changed. This can be facilitated by specification refactoring rules which allows such changes to be made systematically along with the changes to the code. A set of minimal and complete set of refactoring rules have been devised for the Object-Z specification language. This paper reviews these rules as a basis for a similar approach for languages like JML and Spec#. Specifically, it modifies the rules for introducing and removing inheritance and polymorphism from specifications. While these concepts are orthogonal in Object-Z, they are closely intertwined in the other notations.
Keyword Object-oriented refactoring
Object-z
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 20 Jan 2012, 22:35:46 EST by Graeme Smith on behalf of School of Information Technol and Elec Engineering