dc.contributor
Facultat d'Informàtica de Barcelona
dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor
Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing
dc.contributor.author
Oriol Hilari, Xavier
dc.contributor.author
Teniente López, Ernest
dc.identifier
Oriol, X.; Teniente, E. Adapting integrity checking techniques for concurrent operation executions. A: System Analysis and Modelling Conference. "System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0, 11th International Conference, SAM 2019: Munich, Germany, September 16–17, 2019: proceedings". Berlín: Springer, 2019, p. 235-248.
dc.identifier
978-3-030-30690-8
dc.identifier
https://hdl.handle.net/2117/168993
dc.identifier
10.1007/978-3-030-30690-8_14
dc.description.abstract
One challenge for achieving executable models is preserving the integrity of the data. That is, given a structural model describing the constraints that the data should satisfy, and a behavioral model describing the operations that might change the data, the integrity checking problem consists in ensuring that, after executing the modeled operations, none of the specified constraints is violated. A multitude of techniques have been presented so far to solve the integrity checking problem. However, to the best of our knowledge, all of them assume that operations are not executed concurrently. As we are going to see, concurrent operation executions might lead to violations not detected by these techniques. In this paper, we present a technique for detecting and serializing those operations that can cause a constraint violation when executed concurrently , so that, previous incremental techniques, exploiting our approach, can be safely applied in systems with concurrent operation executions guaranteeing the integrity of the data.
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (author's final draft)
dc.format
application/pdf
dc.relation
https://link.springer.com/chapter/10.1007%2F978-3-030-30690-8_14
dc.subject
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject
Data integrity
dc.subject
Integrity checking
dc.subject
Concurrent operations
dc.subject
Dades -- Transmissió
dc.title
Adapting integrity checking techniques for concurrent operation executions
dc.type
Conference report
