IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

Sebastian Stock; Fabian Vu; Atif Mashkoor; Michael Leuschel; Alexander Egyed

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

Logic in Computer Science 2022-05-13 v1 Formal Languages and Automata Theory

Authors: Sebastian Stock , Fabian Vu , Atif Mashkoor , Michael Leuschel , Alexander Egyed

Abstract

This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.

Keywords

virtual organizations vo semantics formalization classification tools

Cite

@article{arxiv.2205.06138,
  title  = {IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics},
  author = {Sebastian Stock and Fabian Vu and Atif Mashkoor and Michael Leuschel and Alexander Egyed},
  journal= {arXiv preprint arXiv:2205.06138},
  year   = {2022}
}