Fair Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2000

Fair Objects


The temporal logic of actions (TLA) provides operators to express liveness requirements in an abstract specification model. TLA does not, however, provide high level composition mechanisms which are essential for synthesising and analysing complex behaviour. Contrastingly, the object oriented paradigm has proven itself in the development of structured specifications. However, most, if not all, of the object oriented formalisms are based on the specification of safety properties and, as such, they do not provide an adequate means of expressing liveness conditions. This paper examines how we combine temporal semantics and object oriented concepts in a complementary fashion. High level re-usable concepts are formalised as different kinds of {\it fair objects}. The object oriented semantics aid validation and customer communication, whilst the TLA semantics provide a means of formally verifying liveness requirements. The fairness concepts are founded on the notion of objects as servers which may have multiple (concurrent) clients. Some simple telephone feature specifications illustrate the practical application of our {\it fair object} semantics.


Other [cs.OH]
No file

Dates and versions

inria-00099324 , version 1 (26-09-2006)


  • HAL Id : inria-00099324 , version 1


John Paul Gibson, Dominique Méry. Fair Objects. H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering. ⟨inria-00099324⟩
37 View
0 Download


Gmail Facebook Twitter LinkedIn More