Formalization of Advanced VOs semantics and VO Refinement.

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

Published in: CoRR (2022)

Keyphrases

virtual organization
operational semantics
logical language
formal semantics
logic programming
database
real time
knowledge representation
logical framework
model theoretic
case study
business process
refinement process
argumentation semantics