Conceptual modeling is an essential requirements engineering activity. Its objective is the development of the conceptual schema (CS) of an Information System (IS), which defines the general knowledge that an IS needs to know to perform its functions.
A CS consists of a structural (sub)schema and a behavioral (sub)schema. The structural schema consists of a taxonomy of entity types, a set of relationship types, and the constraints they must satisfy. The behavioral schema consists of a set of event types with their characteristics, constraints and effects.
Autores: Albert Tort / Antoni Olivé / Maria-Ribera Sancho /
Using models to represent business processes provides several advantages, such as being able to check the correctness of the processes before their implementation. In contrast to traditional process modeling approaches, the artifact-centric approach treats data as a key element of the process, also considering the tasks or activities that are performed in it. This paper presents a way to verify and validate the semantic correctness of an artifact-centric business process model defined using a combination of UML and OCL models – a BAUML model. To do this, we provide a method to translate all BAUML components into a set of logic formulas. The result of this translation ensures that the only changes allowed are those specified in the model, and that those changes are taking place according the order established by the model. Having obtained this logic representation, these models can be validated by any existing reasoning method able to deal with negation of derived predicates. Moreover, we show how to automatically generate the relevant tests to validate the models and we prove the feasibility of our approach.
Autores: Montserrat Estañol / Maria-Ribera Sancho / Ernest Teniente /
Palabras Clave: business process modelling - reasoning - Tool - UML - validation - Verification