Authors: Alessandro Artale, Anna Queralt, Diego Calvanese, Ernest Teniente
Tags: 2011, conceptual modeling
To ensure the quality of an information system we must guarantee the correctness of theconceptual schema that represents the knowledge about its domain. The high expressivityof UML schemas annotated with textual OCL constraints enforces the need for automatedreasoning techniques. These techniques should be both terminating and complete to be effec-tively used in practice. In this paper we identify an expressive fragment of the OCL languagethat ensures these properties. In this way, we overcome the limitations of current techniqueswhen reasoning on such a fragment. As a consequence, we also have that Description Logicscan be appropriately used to reason on UML conceptual schemas with arbitrary OCL constraints.We also show how current tools based on different approaches can be used to reason on concep-tual schemas enriched with (a decidable fragment of) OCL constraints.Read the full paper here: https://reader.elsevier.com/reader/sd/pii/S0169023X11001273?token=72C17B735ABDA2669F800B7D4A009BB3769BFDB663001927E4E9FE6B69B2BE200869559C778140FF9FA95C8F28A4B1B9
