To access the full text documents, please follow this link: http://hdl.handle.net/2117/86816

Validating UML schemas with OCL constraints and operations
Queralt Calafat, Anna; Teniente López, Ernest
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
A conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. This task is not fully formalizable, so it is desirable to provide the designer with a set of tools that assist him or her in the validation process. To this end, we present a method to translate a complete schema into logic, and then propose a set of validation tests that can be performed on the schema. These tests are formulated in such a way that any reasoning method can be used to check them. To show the feasibility of our approach, we use an implementation of an existing reasoning method.
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Conceptual schemas
Reasoning methods
info:eu-repo/semantics/publishedVersion
Report
         

Show full item record

Related documents

Other documents of the same author

Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
 

Coordination

 

Supporters