Poster: A data life cycle modeling proposal by means of formal methods