Formalization of Advanced VOs semantics and VO Refinement
arXiv:2205.08988
Abstract
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.