Márien, Szabolcs (2008) Decision based examination of object-oritented methodology using JML Annales Mathematicae et Informaticae. 35. pp. 95-121. ISSN 1787-5021 (Print), 1787-6117 (Online)
![[img]](http://publikacio.uni-eszterhazy.hu/style/images/fileicons/text.png) |
pdf
AMI_35_from95to121.pdf Download (297kB) |
Absztrakt (kivonat)
The aim of object-oriented conception is to make sure that the program is well-structured, so as to become perspicuous; it can be extended easily, so that it could be maintained more easily; and its reusability can be increased in order to be modularized. There are lots of measuring methods, by which the realization of the mentioned aims is measured. The measuring methods are the metrics that give us indicators showing the complexity of the program structure. Can the existing object-oriented metrics really indicate the structural quality of the program? As we know, these metrics examine structural properties like the number of inheritance levels, the number of subclasses, or the number of methods, which can not be the basis of real quality examinations. The reason of this is that the aim of the object-oriented conception is not clarified. In order to realize the aims of object-oriented technology, objectoriented paradigms should be reinterpreted. According to our new conception object-oriented methodology is based on the elimination of decision repetitions, that is, sorting the decisions to class hierarchy, so that the data structure and methodology of the decision options could be determined by the subclasses of the given class. When sorting the decisions and decision options to a class and its subclasses, only the first decision case will be executed, which will be archived and enclosed by the instantiation of one of the subclasses. For the following decision cases the archived decision result can be used without knowing which decision option was used, that is, which subclass was instantiated, as it is enclosed by using the type of the parent class, except the necessary data structure and/or methodology is decision option specific. There are two states of decisions depending on the place of their defining: the decision options and their data structures and methodologies can be defined in the method, but the sorted decision can be defined by a class and its subclasses. In order to support the practical benefit of our conception, we are going to show how decisions can be formalized (that is, whether the decision states are defined in a method or by a class hierarchy) based on JML. Using the JML formalization those cases should be identified where decisions can be sorted, thus the elimination of decision redundancy is suggested. According to our new conception the aim of object-oriented technology is the elimination of decision repetitions, which can be realized by sorting decisions. Therefore inheritances are the abstract definition forms of decisions, so the inheritances can be interpreted as decision abstractions.
| Mű típusa: | Folyóiratcikk | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Szerző: |
|
||||||||
| Kapcsolódó URL-ek: | |||||||||
| Nyelv: | angol | ||||||||
| Kötetszám: | 35. | ||||||||
| ISSN: | 1787-5021 (Print), 1787-6117 (Online) | ||||||||
| Felhasználó: | Tibor Gál | ||||||||
| Dátum: | 05 Már 2019 16:18 | ||||||||
| Utolsó módosítás: | 05 Már 2019 16:18 | ||||||||
| URI: | http://publikacio.uni-eszterhazy.hu/id/eprint/3104 |
 |
Tétel nézet |
