Consistency maintenance in concurrent representations

摘要: Multi-Representation Modeling (MRM) involves executing multiple models of the same phenomenon jointly. MRM is a technique in modeling and simulation for capturing combined semantics models. Previous approaches, such as selective viewing aggregation-disaggregation, have encountered problems chain disaggregation, temporal inconsistency mapping inconsistency. Eliminating these has been difficult task designers. We eliminate by showing how to achieve effectively, i.e., correctly, consistently inexpensively. Our thesis that can be effective. Maintaining consistency among concurrent representations jointly-executing our approach effective MRM. We developed framework, UNIFY, UNIFY satisfies three requirements: multi-representation interaction, cost-effectiveness. It enables designers construct solutions application-specific based on four fundamental observations reduce problem joint execution maintaining when dependent interactions occur. consists processes techniques Multiple Representation Entities (MREs), Attribute Dependency Graphs (ADGs) taxonomy interactions. An MRE maintains representations. ADG captures relationships attributes functions translate across constitute Consistency Enforcer internal within an MRE. provides way classify their semantic characteristics. This classification presents policies encoded Interaction Resolver resolving effects UNIFY contributes practice simulation. show apply UNIFY. present guidelines first known general framework achieving