Keywords: Meta-Modeling, Model Evolution, Quality Modeling, Conceptual Modeling, Database Design, Design Methodologies, Formal Methods
MetaASSO (Locuratolo, 2002) is the stepwise approach exploited to defi ne ASSO (Locuratolo, 1997, 2002, 2005; Locuratolo and Matthews, 1999a, 1999b, 1999c), a database design method for quality that achieves:
• Easiness of use-the method’s ability to provide a conceptual schema that is easy to use. • Flexibility-the method’s ability to provide a conceptual schema that is easy to modify. • Reliability-the method’s ability to provide conceptual schema consistency and logical
schema correctness. • Economy-the method’s ability to remove duplication of code that is not necessarily execut-
able and to require low costs for proof processes. • Effi ciency-the method’s ability to access information using a limited amount of time.