The role of secondary attributes in formal object modelling

When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captured by the values of their attrzbutes. Frequently however, there are dependenczes between the attributes of an object. An appropriate andication of whzch attributes are przmary (independent) and which are secondary (dependent) can add significantly to clarity. This paper details the notion of secondary atlribates, their roles and implications in formal object-oriented specification.

• Type: Conference
• Year: 1995
• Where: ICECCS
• Authors: Jin Song Dong, Gordon A. Rose, Roger Duke
• Keywords: Formal Object-oriented Specification, Hardware, ICECCS 1995, Object-oriented Specification, Znaportant Factor