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

To ensure the quality of an information system we must guarantee the correctness of the
conceptual schema that represents the knowledge about its domain. The high expressivity of …

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

Updating 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 …

One 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 …

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 …

Ensuring 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 …

CONTEXT: It is critical to ensure the quality of a software system in the initial stages of
development, and several approaches have been proposed to ensure that a conceptual …

A key skill that students must learn when studying relational databases is how to design and
implement a database schema in SQL. This skill is often tested using an assignment where …

Business processes are directly involved in the achievement of an organization's goals, and
for this reason they should be performed in the best possible way. Modeling business …