Loading...
Loading...

Go to the content (press return)

Automated reasoning on UML conceptual schemas with derived information and queries

Author
Farré, C.; Queralt, A.; Rull, G.; Teniente, E.; Urpi, T.
Type of activity
Journal article
Journal
Information and software technology
Date of publication
2013-09-04
Volume
55
Number
9
First page
1529
Last page
1550
DOI
https://doi.org/10.1016/j.infsof.2013.02.010 Open in new window
URL
http://www.sciencedirect.com/science/article/pii/S0950584913000438 Open in new window
Abstract
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...
Keywords
Automated reasoning, Conceptual modelling, Derived attributes and derived roles, OCL, Queries, UML
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants