DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/11238

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
AuRUS.pdf613,44 kBAdobe PDF Accés restringit

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.
Títol: AuRUS: Automated Reasoning on UML/OCL Schemas
Autor: Queralt Calafat, Anna Veure Producció científica UPC; Rull Fort, Guillem Veure Producció científica UPC; Teniente López, Ernest Veure Producció científica UPC; Farré Tost, Carles Veure Producció científica UPC; Urpí Tubella, Antoni Veure Producció científica UPC
Editorial: Springer Verlag
Data: 2010
Tipus de document: Conference lecture
Resum: 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.
URI: http://hdl.handle.net/2117/11238
DOI: 10.1007/978-3-642-16373-9
Versió de l'editor: http://www.springerlink.com/content/?k=AuRUS%3a+Automated+Reasoning+on+UML%2fOCL+Schemas
Apareix a les col·leccions:MPI - Modelització i processament d´informació. Ponències/Comunicacions de congressos
Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos
Departament d'Enginyeria de Serveis i Sistemes d'Informació. Ponències/Comunicacions de congressos
Altres. Enviament des de DRAC
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

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.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius