Extending the Consistency Property of Software Transactional Memory Systems with business constraints in OCL and incremental checking | Publicación