论文标题
高级VOS语义和VA的正式化
Formalization of Advanced VOs semantics and VO Refinement
论文作者
论文摘要
本文档列出了VO和需求改进，模型抽象和实例化的基础。此外，还考虑了关于抽象和实例化的VO。
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
