Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Automated reasoning on UML conceptual schemas with derived information and queries

Autor
Farré, C.; Queralt, A.; Rull, G.; Teniente, E.; Urpi, T.
Tipus d'activitat
Article en revista
Revista
Information and software technology
Data de publicació
2013-09-04
Volum
55
Número
9
Pàgina inicial
1529
Pàgina final
1550
DOI
https://doi.org/10.1016/j.infsof.2013.02.010 Obrir en finestra nova
URL
http://www.sciencedirect.com/science/article/pii/S0950584913000438 Obrir en finestra nova
Resum
Context: It is critical to ensure the quality of a software system in the initial stages of development, and several approaches have been proposed to ensure that a conceptual schema correctly describes the user’s requirements. Objective: The main goal of this paper is to perform automated reasoning on UML schemas containing arbitrary constraints, derived roles, derived attributes and queries, all of which must be specified by OCL expressions. Method: The UML/OCL schema is encoded in a first o...
Paraules clau
Automated reasoning, Conceptual modelling, Derived attributes and derived roles, OCL, Queries, UML
Grup de recerca
IMP - Information Modeling and Processing

Participants