AuRUS: Automated Reasoning on UML/OCL Schemas

doi:10.1007/978-3-642-16373-9


Català Castellano English

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Comunitats
	Títol
	Autor
	Data
	Matèria
	Àrees temàtiques de la UPC

Serveis
	Alertes
	El meu E-prints UPC usuaris autoritzats
	Editar perfil
	Entrada usuaris no UPC



	Sobre DSpace

	Bibliotècnica: la biblioteca digital de la UPC

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ó	Mida	Format
AuRUS.pdf		613.44 kB	Adobe PDF

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 ; Rull Fort, Guillem ; Teniente López, Ernest ; Farré Tost, Carles ; Urpí Tubella, Antoni
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
Versió de l'editor:	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:	Altres. Enviament des de DRAC Departament d'Enginyeria de Serveis i Sistemes d'Informació. Ponències/Comunicacions de congressos Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos MPI - Modelització i processament d´informació. Ponències/Comunicacions de congressos
Comparteix:

Stats Mostra les estadístiques d'aquest ítem

Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).

Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@upc.edu