Loading...
Loading...

Go to the content (press return)

Reasoning about the effect of structural events in UML conceptual schemas

Author
Oriol, X.; Teniente, E.; Tort , A.
Type of activity
Presentation of work at congresses
Name of edition
Automated Reasoning on Conceptual Schemas
Date of publication
2013
Presentation's date
2013-05-21
Book of congress proceedings
Report from Dagstuhl Seminar 13211: Automated Reasoning on Conceptual Schemas
First page
61
Last page
61
DOI
10.4230/DagRep.3.5.43
URL
http://drops.dagstuhl.de/opus/volltexte/2013/4180/ Open in new window
Abstract
In this talk, we propose an approach which is aimed at providing feedback regarding the dynamic behaviour of the schema when some set of structural events (i.e. insertion or deletion of instances) happens simultaneously in a consistent information base state. In this way, given a conceptual schema and an IB state for that schema, we answer how can we insert or delete concrete instances of classes/associations without violating any integrity constraint. Concretely, we answer the minimal sets of s...
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants