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 handle very expressive constraints guaranteeing termination in many cases. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16373-9 | ER |
Keywords | DocType | Volume |
conceptual schema,uml schema,ocl schema,information system,automated reasoning,ocl constraint,expressive constraint,full expressiveness | Conference | 6412 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-16372-6 | 10 |
PageRank | References | Authors |
0.61 | 9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anna Queralt | 1 | 223 | 15.28 |
Guillem Rull | 2 | 93 | 11.24 |
Ernest Teniente | 3 | 1151 | 221.34 |
Carles Farré | 4 | 149 | 17.00 |
Toni Urpí | 5 | 306 | 81.32 |