Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …

The task of modeling and reasoning about real-world problems often involves analyzing
over-constrained representations, where not all constraints of a problem can be …

To ensure the quality of an information system, it is essential that the conceptual schema that
represents the knowledge about its domain is semantically correct. The semantic …

The task of modeling and reasoning about real-world problems often involves analyzing
overconstrained representations, where not all constraints of a problem can be …

Context Using models to represent business processes provides several advantages, such
as facilitating the communication between the stakeholders or being able to check the …

This paper presents a way of checking the correctness of artifact-centric business process
models defined using the BAUML framework. To ensure that these models are free of errors …

The validation and the verification of conceptual schemas have attracted a lot of interest
during the last years, and several tools have been developed to automate this process as …

To ensure the quality of an information system, the conceptual schema that represents its
domain must be semantically correct. We present a prototype to automatically check whether …

We present SVTe, a tool to validate relational database schemas that allows performing
several tests to determine the correctness of a schema. When a test is satisfied, our tool …

Schema mappings define relationships between schemas in a declarative way. We
demonstrate MVT, a mapping validation tool that allows the designer to ask whether the …