Validation of UML Conceptual Schemas with Operations

The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic in such a way that any reasoning method can be used to perform the validation tests defined by the designer. An important contribution of this work is that it takes into account the operations defined in the schema.

• Type: Conference
• Year: 2008
• Where: CAISE
• Authors: Anna Queralt, Ernest Teniente
• Keywords: CAISE 2008, Conceptual Schema, Important Contribution, Information Management, Reasoning Method