Loading...
Loading...

Go to the content (press return)

AuRUS: Automated Reasoning on UML/OCL Schemas

Author
Queralt, A.; Rull, G.; Teniente, E.; Farré, C.; Urpi, T.
Type of activity
Presentation of work at congresses
Name of edition
29th International Conference on Conceptual Modeling
Date of publication
2010
Presentation's date
2010-11-02
Book of congress proceedings
Conceptual Modeling - ER 2010 (Lecture Notes in Computer Sciences 6412)
First page
438
Last page
444
Publisher
Springer Verlag
DOI
https://doi.org/10.1007/978-3-642-16373-9 Open in new window
Repository
http://hdl.handle.net/2117/11238 Open in new window
URL
http://www.springerlink.com/content/?k=AuRUS%3a+Automated+Reasoning+on+UML%2fOCL+Schemas Open in new window
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 te...
Citation
Queralt, A. [et al.]. AuRUS: Automated Reasoning on UML/OCL Schemas. A: International Conference on Conceptual Modeling. "29th International Conference on Conceptual Modeling". Vancouver: Springer Verlag, 2010, p. 438-444.
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants