Class Refinement and Interface Refinement in Object-Oriented Programs. Mikhajlova, A. & Sekerinski, E. In Fitzgerald, J., Jones, C., & Lucas, P., editors, FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313, of Lecture Notes in Computer Science, pages 82–101, Graz, Austria, September, 1997. Springer-Verlag. Paper doi abstract bibtex 4 downloads Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or refined in their subclasses. This paper defines a class refinement relation which captures these semantic constraints. The class refinement relation is based on algorithmic and data refinement supported by Refinement Calculus. Class refinement is generalized to interface refinement, which takes place when a change in user requirements causes interface changes of classes designed as refinements of other classes. We formalize the interface refinement relation and present rules for refinement of clients of the classes involved in this relation.
@inproceedings{MikhajlovaSekerinski97ClassInterfaceRefinement,
address = {Graz, Austria},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Class {Refinement} and {Interface} {Refinement} in {Object}-{Oriented} {Programs}},
volume = {1313},
url = {https://www.cas.mcmaster.ca/~emil/pubs/MikhajlovaSekerinski97ClassInterfaceRefinement.pdf},
doi = {10.1007/3-540-63533-5_5},
abstract = {Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or refined in their subclasses. This paper defines a class refinement relation which captures these semantic constraints. The class refinement relation is based on algorithmic and data refinement supported by Refinement Calculus. Class refinement is generalized to interface refinement, which takes place when a change in user requirements causes interface changes of classes designed as refinements of other classes. We formalize the interface refinement relation and present rules for refinement of clients of the classes involved in this relation.},
booktitle = {{FME} '97: {Industrial} {Applications} and {Strengthened} {Foundations} of {Formal} {Methods}},
publisher = {Springer-Verlag},
author = {Mikhajlova, Anna and Sekerinski, Emil},
editor = {Fitzgerald, John and Jones, Cliff and Lucas, Peter},
month = sep,
year = {1997},
pages = {82--101},
}
Downloads: 4
{"_id":"STwGrRmjHCNLqbfic","bibbaseid":"mikhajlova-sekerinski-classrefinementandinterfacerefinementinobjectorientedprograms-1997","downloads":4,"creationDate":"2019-02-02T15:48:53.608Z","title":"Class Refinement and Interface Refinement in Object-Oriented Programs","author_short":["Mikhajlova, A.","Sekerinski, E."],"year":1997,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Graz, Austria","series":"Lecture Notes in Computer Science","title":"Class Refinement and Interface Refinement in Object-Oriented Programs","volume":"1313","url":"https://www.cas.mcmaster.ca/~emil/pubs/MikhajlovaSekerinski97ClassInterfaceRefinement.pdf","doi":"10.1007/3-540-63533-5_5","abstract":"Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or refined in their subclasses. This paper defines a class refinement relation which captures these semantic constraints. The class refinement relation is based on algorithmic and data refinement supported by Refinement Calculus. Class refinement is generalized to interface refinement, which takes place when a change in user requirements causes interface changes of classes designed as refinements of other classes. We formalize the interface refinement relation and present rules for refinement of clients of the classes involved in this relation.","booktitle":"FME '97: Industrial Applications and Strengthened Foundations of Formal Methods","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Mikhajlova"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Jones"],"firstnames":["Cliff"],"suffixes":[]},{"propositions":[],"lastnames":["Lucas"],"firstnames":["Peter"],"suffixes":[]}],"month":"September","year":"1997","pages":"82–101","bibtex":"@inproceedings{MikhajlovaSekerinski97ClassInterfaceRefinement,\n\taddress = {Graz, Austria},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Class {Refinement} and {Interface} {Refinement} in {Object}-{Oriented} {Programs}},\n\tvolume = {1313},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/MikhajlovaSekerinski97ClassInterfaceRefinement.pdf},\n\tdoi = {10.1007/3-540-63533-5_5},\n\tabstract = {Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or refined in their subclasses. This paper defines a class refinement relation which captures these semantic constraints. The class refinement relation is based on algorithmic and data refinement supported by Refinement Calculus. Class refinement is generalized to interface refinement, which takes place when a change in user requirements causes interface changes of classes designed as refinements of other classes. We formalize the interface refinement relation and present rules for refinement of clients of the classes involved in this relation.},\n\tbooktitle = {{FME} '97: {Industrial} {Applications} and {Strengthened} {Foundations} of {Formal} {Methods}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Mikhajlova, Anna and Sekerinski, Emil},\n\teditor = {Fitzgerald, John and Jones, Cliff and Lucas, Peter},\n\tmonth = sep,\n\tyear = {1997},\n\tpages = {82--101},\n}\n\n","author_short":["Mikhajlova, A.","Sekerinski, E."],"editor_short":["Fitzgerald, J.","Jones, C.","Lucas, P."],"key":"MikhajlovaSekerinski97ClassInterfaceRefinement","id":"MikhajlovaSekerinski97ClassInterfaceRefinement","bibbaseid":"mikhajlova-sekerinski-classrefinementandinterfacerefinementinobjectorientedprograms-1997","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/MikhajlovaSekerinski97ClassInterfaceRefinement.pdf"},"metadata":{"authorlinks":{}},"downloads":4},"search_terms":["class","refinement","interface","refinement","object","oriented","programs","mikhajlova","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}