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 155
- Downloads 0
Advancing Pole Arc Offset Points in Designing an Optimal PM Generator
In this study, the offset points which locate at the pole arc of the designed 1 kW direct-drive permanent magnet synchronous generator (PMSG) have been changed based on parametric approach, and a performance rise f...
Evaluation of Students’ Skills in Software Project
Software project probably is a sector that has witnessed the highest rate of project failure in the world. The industry claims that the software engineering graduates are not able to meet their requirements in soft...
Lean Startup in Croatia - Does the Croatian Startup Scene Develop Effective Enterprises?
In times of general business uncertainty, when the companies face challenges upon which their further existence depends, one of the reactions of the management board is influencing the processes which lead to a relativel...
Design and Experimental Investigation of Pneumatic Movement Mechanism Supported by Mechanic Cam and Crank Shaft
The pressurized air is applied to many sectors required purity and velocity. One of these sectors is to use of air as impulsive force in the moving mechanisms. In this study, the movement mechanism prototype worked with...
Stiffness Analysis of the Sarafix External Fixator based on Stainless Steel and Composite Material.
This paper describes a structural analysis of the CAD model three versions fixators Sarafix which is to explore the possibility of introducing composite materials in the construction of the connecting rod fixators...