Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Gele{\ss}us, Atif Mashkoor, Michael, Leuschel, Alexander Egyed
TL;DR
This paper establishes foundational methods for refining VOs and requirements, focusing on abstractions, instantiations, and their semantics to improve model precision and applicability.
Contribution
It introduces formalization techniques for VO semantics and refinement processes, enhancing understanding and manipulation of VOs in system modeling.
Findings
Formal definitions of VO and requirement refinement
Framework for abstractions and instantiations of VOs
Consideration of VOs on different abstraction levels
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services