A mythology is presented that allows to specify and implement in important portion of consistency and reusable form. An extension of the Structured. Entity-Relationship model is proposed that captures not only all relevant variants of database abstractions, but also derivation rules. Invariant properties of this extended conceptual model are identified and formally specified. From that formal speciation, general database triggers. Being an integral component of the procedurally extended database, the generated rigger are reused by every application within the information system. The mythology was integrated into commercial CASE environments and applied to develop a production management information system for a large mechanical engineering company.
Citation:
Robert Winter, "Using Invariants of an Extended Conceptual Model to Generate Reusabe Consistency Control," hicss, vol. 3, pp.168, 30th Hawaii International Conference on System Sciences (HICSS) Volume 3: Information System Track-Organizational Systems and Technology, 1997