Formalization of Advanced VOs semantics and VO Refinement

Stock, Sebastian; Vu, Fabian; Geleßus, David; Mashkoor, Atif; Leuschel, Michael; Egyed, Alexander

doi:10.48550/ARXIV.2205.08988

by Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed

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.

View PDF

Reference:

Formalization of Advanced VOs semantics and VO Refinement (Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed), In CoRR, volume abs/2205.08988, 2022.

Bibtex Entry:

@Article{Stock2022b,
  author        = {Sebastian Stock and Fabian Vu and David Gele{\ss}us and Atif Mashkoor and Michael Leuschel and Alexander Egyed},
  journal       = {CoRR},
  title         = {Formalization of Advanced VOs semantics and {VO} Refinement},
  year          = {2022},
  volume        = {abs/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.},
  archiveprefix = {arXiv},
  bibsource     = {dblp computer science bibliography, https://dblp.org},
  biburl        = {https://dblp.org/rec/journals/corr/abs-2205-08988.bib},
  doi           = {10.48550/ARXIV.2205.08988},
  eprint        = {2205.08988},
  timestamp     = {Fri, 16 Dec 2022 10:35:18 +0100},
  url           = {https://doi.org/10.48550/arXiv.2205.08988},
}