The Strong Object Invariant
Journal Title: TEM JOURNAL - Year 2012, Vol 1, Issue 1
Abstract
The concept of an invariant is fundamental to object-oriented programming, because it provides information on the overall behaviour of the class and/or its objects. An invariant is a predicate, that is true in every state that is proclaimed as valid. A strong invariant is a predicate, that is true in every valid state and false in every invalid state. Basically, we can divide them into two categories: object invariants and class invariants. Object invariants describe the consistency of object, i.e. non-static fields. Analysis of invariants takes the most important place in object-oriented program verification and can be directed in two ways – as prescribed and as described. This paper considers both analyses which are based on the strongest dynamic postconditions of methods with the guard as the precondition, thus, determining all possible transitions and only them. In addition, since dynamic postconditions are logical functions of the initial-final states, our solution is based solely on the first-order predicate logic.
Authors and Affiliations
Dusan Malbaski, Aleksandar Kupusinac
Keywords
Related Articles
- EP ID EP103258
- DOI -
- Views 184
- Downloads 0
Influence of the low-cost digital contents in improvement of the students' learning experience
In the study process, the students have problems understanding parts or of the whole course curriculum. The most frequent reasons for these problems are: the student absence of one or more successive &nbs...
Android OS: A Review
Due to the technological development, mobile terminals have evolved into functionally sophisticated devices such as smartphones and tablets. The Android platform has become one of the most popular operating system...
Improvement of the QoS for WiMAX Service Classes
Mobile users connected to the WiMAX technology can use five different service classes according to their different needs. In this paper we propose priority based uplink scheduling scheme for IEEE 802.16 sta...
Mathematical Model for Fluid Flow and Heat Transfer Processes in Plate Exchanger
Within the analytical solution of the system of equations which solve fluid flow and heat transfer processes, the elliptical and parabolic differential equations based on initial and boundary conditions is usually...
Effective Teaching of Physics and Scientific Method
Teaching science in modern society shows a lack of efficiency, as well as the discrepancy between goals and the quantum and quality of students' knowledge. Teaching physics in elementary and grammar schools in Serbia is...