A team of Spanish researchers has designed a verification technique in UML / OCL models that speeds up software design and eliminates errors.

When a designer makes modifications to a model, he has to analyze it. This verification usually happens at the end of the process, in models that are final. This innovation proposes «incremental verification methods» .

“In other words, we reduce the effort necessary to verify a model after making changes to it”, says Robert Clarisó, professor of Computer Science, Multimedia and Telecommunications Studies at the Open University of Catalonia (UOC) and member of the group SOM Research Lab, of the Internet Interdisciplinary Institute (IN3).

«This allows you to verify the model as it is being built, without having to start from scratch, which makes it easier to detect errors early» , he explains.

Clarisó is one of those responsible for this advance, along with Carlos A. González, researcher at the Gran Telescopio Canarias, and Jordi Cabot, ICREA researcher. His inquiries have been published in the Journal of Object Technology.

The method devised by the three is based on the use of certificates that illustrate the proper functioning of the model.

«When we modify a model, we could save ourselves from verifying it if we had a new certificate for it», Clarisó details.

As adapting a certificate costs less than repeating the verification, what is proposed is precisely adapting certificates from the original model to the new one .

The next step will be to integrate these techniques into software modeling tools and environments, according to their creators.