Sciweavers

CAISE
2008
Springer

Validation of UML Conceptual Schemas with Operations

14 years 1 months ago
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.
Anna Queralt, Ernest Teniente
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CAISE
Authors Anna Queralt, Ernest Teniente
Comments (0)