Consistency of the static and dynamic components of object-oriented specifications

Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in the literature there are no formal frameworks that allow designers to verify the consistency (absence of contradictions) of both the static and dynamic components of the specified models, that are often assumed to be consistent. In this paper, a unifying formal framework is proposed that allows the consistency checking of both the static and dynamic components of a simplified Object-Oriented model.

• Type: Journal
• Year: 2002
• Where: DKE
• Authors: Anna Formica, Heinz Frank
• Keywords: DKE 2002, Dynamic Components, Formal Framework, Significant Attention