Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Reasoning about the effect of structural events in UML conceptual schemas

Autor
Oriol, X.; Teniente, E.; Tort , A.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Automated Reasoning on Conceptual Schemas
Any de l'edició
2013
Data de presentació
2013-05-21
Llibre d'actes
Report from Dagstuhl Seminar 13211: Automated Reasoning on Conceptual Schemas
Pàgina inicial
61
Pàgina final
61
DOI
10.4230/DagRep.3.5.43
URL
http://drops.dagstuhl.de/opus/volltexte/2013/4180/ Obrir en finestra nova
Resum
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...
Grup de recerca
IMP - Information Modeling and Processing

Participants