The role of secondary attributes in formal object modelling
- 1 January 1995
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
When modelling a large and complex system, clarity of the specification becomes an important factor. In object-oriented specification, the states of individual objects are captured by the values of their attributes. Frequently however, there are dependencies between the attributes of an object. An appropriate indication of which attributes are primary (independent) and which are secondary (dependent) can add significantly to clarity. This paper details the notion of secondary attributes, their roles and implications in formal object-oriented specification.Keywords
This publication has 2 references indexed in Scilit:
- Living with free type and class unionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object-ZPublished by Springer Nature ,1992