Now showing items 1-2 of 2
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ...
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013)
This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas". The quality of an information system is largely determined early in the development cycle, i.e., during requirements ...