Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph
| Autor: | Fabien Chhel, Frédéric Jouault, Mickael Clavreul, Olivier Beaudoux, Matthias Brun |
|---|---|
| Přispěvatelé: | Renois, Nathalie |
| Rok vydání: | 2018 |
| Předmět: |
Computer science
Computation Model transformation [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] 020207 software engineering 02 engineering and technology Observer pattern Expression (mathematics) Tree traversal 020204 information systems 0202 electrical engineering electronic engineering information engineering Graph (abstract data type) computer Algorithm ComputingMilieux_MISCELLANEOUS computer.programming_language |
| Zdroj: | Software Technologies: Applications and Foundations ISBN: 9783319747293 STAF Workshops |
| Popis: | Active operations enable bidirectional incremental evaluation of OCL-like expressions on collections: changing the source (resp. the result) of an expression causes corresponding updates in the result (resp. the source). The current evaluation approach of active operations is based on the observer pattern. Previous work showed how they can be used for model transformation, and that they can scale to processing large models while maintaining collection ordering. However, observation makes the directed acyclic propagation graph implicit, and imposes a depth-first traversal. This sometimes results in unwanted transitory states, which uselessly increase the amount of computations required for propagating some changes. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|