AuRUS: Automated Reasoning on UML/OCL Schemas
Visualitza/Obre
AuRUS.pdf (613,4Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/11238
Tipus de documentComunicació de congrés
Data publicació2010
EditorSpringer Verlag
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Citació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.
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
AuRUS.pdf | 613,4Kb | Accés restringit |