Title:
|
AuRUS: Automated Reasoning on UML/OCL Schemas
|
Author:
|
Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
Abstract:
|
To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense. It is well known that the full expressiveness of OCL leads to undecidability of reasoning. To deal with this problem, our approach finds a compromise between expressiveness and decidability, thus being able to handlevery expressive constraints guaranteeing termination in many cases. |
Abstract:
|
Peer Reviewed |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -Computer simulation -- Mathematical models -Conceptual Modeling -Modelització |
Rights:
|
|
Document type:
|
Article - Published version Conference Object |
Published by:
|
Springer Verlag
|
Share:
|
|