Formalising ORM2: Advancing Schema Constraint Verbalisation

Created using ChatSlide

This presentation explores the formalisation of verbalisation techniques in ORM2 (Object Role Modeling 2), addressing the challenge of a lacking formal rule language. We'll review ORM2's graphical syntax, focusing on mandatory constraints and schema validation. Guided by domain validation needs, we'll discuss different verbalisation styles and how logic polarities are managed. Key insights include translating constraints into formal rules, using auxiliary functions, and ensuring mathematical...