Browsing by Author "Oriol Hilari, Xavier"
Now showing items 1-20 of 25
-
Adapting integrity checking techniques for concurrent operation executions
(Springer, 2019)
Conference report
Open AccessOne 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 ... -
An ontology-based framework for describing discoverable data services
(Springer, 2018)
Conference report
Open AccessData-services are applications in charge of retrieving certain data when they are called. They are found in different communities such as the Internet Of Things, Cloud Computing, Big Data, etc. So, there is a real need to ... -
Automatic business process model extension to repair constraint violations
(Springer, 2019)
Conference report
Open AccessConsider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing ... -
Computing repairs for constraint violations in UML/OCL conceptual schemas
(Elsevier, 2015-06-25)
Article
Open AccessUpdating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ... -
Ejecución de operaciones de un esquema conceptual de forma persistente y consistente
(2014)
Conference report
Open AccessEl objetivo de la presente tesis es la ejecución de operaciones de un esquema conceptual de forma persistente y consistente. Es decir, los efectos de las operaciones son persistidos automáticamente en una base de datos a ... -
Embedding reactive behavior into artifact-centric business process models
(Elsevier, 2021-04-01)
Article
Open AccessIn artifact-centric business process models it is usually assumed that the specification of the activities requires stating all the effects of the activity execution over the information base (i.e. over the artifacts it ... -
Fixing up non-executable operations in UML/OCL conceptual schemas
(Springer, 2014)
Conference report
Restricted access - publisher's policyAn operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. ... -
Generating valid test data through data cloning
(Elsevier, 2023-07)
Article
Open AccessOne of the most difficult, time-consuming and error-prone tasks during software testing is that of manually generating the data required to properly run the test. This is even harder when we need to generate data of a ... -
Incremental checking and maintenance of UML/OCL integrity constraints
(Universitat Politècnica de Catalunya, 2017-07-11)
Doctoral thesis
Restricted access - confidentiality agreementEnsuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, however, can be ... -
Incremental checking of OCL constraints through SQL queries
(2014)
Conference report
Restricted access - publisher's policyWe propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an ... -
Incremental checking of OCL constraints with aggregates through SQL
(Springer, 2015)
Conference report
Open AccessValid states of data are those satisfying a set of constraints. Therefore, efficiently checking whether some constraint has been violated after a data update is an important problem in data management. We tackle this problem ... -
Instance-level update in DL-Lite ontologies through first-order rewriting
(2021-04-10)
Article
Open AccessIn this paper we study instance-level update in DL-LiteA , a well-known description logic that influenced the OWL 2 QL standard. Instance-level update regards insertions and deletions in the ABox of an ontology. In particular ... -
Linking data and BPMN processes to achieve executable models
(Springer, 2017)
Conference report
Open AccessWe describe a formally well founded approach to link data and processes conceptually, based on adopting UML class diagrams to represent data, and BPMN to represent the process. The UML class diagram together with a set of ... -
Logic foundations of the OCL modelling language
(Springer, 2014)
Conference lecture
Restricted access - publisher's policyIn this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment ... -
OCLFO: first-order expressive OCL constraints for efficient integrity checking
(2019-08)
Article
Open AccessOCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In ... -
OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning
(Springer, 2017)
Conference report
Open AccessFull UML/OCL is so expressive that most reasoning tasks are known to be undecidable in schemas defined with these languages. To tackle this situation, literature has proposed mainly three decidable fragments of UML/OCL: ... -
Practical update management in ontology-based data access
(Springer, 2017)
Conference report
Open AccessOntology-based Data Access (OBDA) is gaining importance both scientifically and practically. However, little attention has been paid so far to the problem of updating OBDA systems. This is an essential issue if we want to ... -
Process conformance checking by relaxing data dependencies
(CEUR-WS.org, 2017)
Conference report
Open AccessGiven the events modeled by a business process, it may happen in the presence of alternative execution paths that the data required by a certain event determines somehow what event is executed next. Then, the process can ... -
Simplification of UML/OCL schemas for efficient reasoning
(2017-06-01)
Article
Open AccessEnsuring the correctness of a conceptual schema is an essential task in order to avoid the propagation of errors during software development. The kind of reasoning required to perform such task is known to be exponential ... -
TINTIN : comprobación incremental de aserciones SQL
(2016)
Conference report
Open AccessNinguno de los SGBD más populares del momento implementa aserciones SQL, obligando así a implementar manualmente su comprobación. Por ello, presentamos TINTIN: una aplicación que genera automáticamente el código SQL para ...
