In view-based development, consistency plays a central role across concrete models. Consistency can be achieved automatically through consistency-preservation rules defined, for instance, in a change-driven language such as the Reactions language of the Vitruvius framework. This language, however, assumes the classical...
Annika Kienle, Arne Lange, Thomas Weber et al.· Proceedings of the ACM/IEEE...· 0 citations
Uncer-tainTree is presented, an end-to-end process that makes uncertainty a first-class concern of multi-model consistency analysis and includes interacting uncertainties from various sources and models.
Nathan Hagel, Johannes Mäkelburg, M. Armbruster et al.· Proceedings of the ACM/IEEE...· 1 citation
This work continues previous work of equipping the NeoJoin view definition language with a formal semantics that is based on triple graph grammars (TGGs), and introduces a skip semantics for TGG rules, i.e., allowing to skip certain actions a rule prescribes, depending on the application context.
L. König, Jens Kosiol· Proceedings of the ACM/IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
