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

Self-Tuning Control of Linear Systems Followed by Deadzones 

 The aim of the present paper is to increase the efficiency of self-tuning generalized minimum variance (GMV) control of linear time-invariant (LTI) systems followed by deadzone nonlinearities. An approach, based on...

Determining Optimal Hourly and Annual Coefficient District Cooling - One of the Aspects use of Green Technology  

 Work together more cooling source (refrigeration machines) the system of centralized supply cooling energy ( SCSCE ) is a way to achieve cost-effective operation and safe and rational supply consumption area with c...

Teaching English Language to Children with Special Educational Needs 

 The goal of this study is to determine the most appropriate methods and techniques used for Teaching English to children with special educational needs and to determine whether they should take the courses in forei...

Influence of Intelletual Stimulation and Conflict Resolution on Project Implementation: A case of Constituency Development Fund Construction Projects in Public Secondary Schools in Kisumu County, Kenya  

 Intellectual stimulation is one of the manifestations of transformational leadership. Intellectual stimulation is the aspect of leadership where the leader encourages teams’ ingenuity, creativity and innovative thi...

QAHEaaS or Quality Assurance in Higher Education as a Service 

 The rise of globalization has highlighted the issue of internationalization of quality assurance in education. The COMPASS-OK software application for (self) assessment and accreditation, developed at the Plovdiv U...

Download PDF file
  • EP ID EP103258
  • DOI -
  • Views 188
  • Downloads 0

How To Cite

Dusan Malbaski, Aleksandar Kupusinac (2012). The Strong Object Invariant. TEM JOURNAL, 1(1), 9-15. https://europub.co.uk/articles/-A-103258